public:

UnknownFunctionResult(const CelFunctionDescriptor& descriptor, int64_t expr_id,

const std::vector<CelValue>& arguments)

: descriptor_(descriptor), expr_id_(expr_id), arguments_(arguments) {}

// The descriptor of the called function that return Unknown.

const CelFunctionDescriptor& descriptor() const { return descriptor_; }

// The id of the |Expr| that triggered the function call step. Provided

// informationally -- if two different |Expr|s generate the same unknown call,

// they will be treated as the same unknown function result.

int64_t call_expr_id() const { return expr_id_; }

// The arguments of the function call that generated the unknown.

const std::vector<CelValue>& arguments() const { return arguments_; }

// Equality operator provided for testing. Compatible with set less-than

// comparator.

// Compares descriptor then arguments elementwise.

bool IsEqualTo(const UnknownFunctionResult& other) const;

private:

CelFunctionDescriptor descriptor_;

int64_t expr_id_;

std::vector<CelValue> arguments_;

public:

// Empty set

UnknownFunctionResultSet() {}

// Merge constructor -- effectively union(lhs, rhs).

UnknownFunctionResultSet(const UnknownFunctionResultSet& lhs,

const UnknownFunctionResultSet& rhs);

// Initialize with a single UnknownFunctionResult.

UnknownFunctionResultSet(const UnknownFunctionResult* initial)

: unknown_function_results_{initial} {}

using Container =

absl::btree_set<const UnknownFunctionResult*, UnknownFunctionComparator>;

const Container& unknown_function_results() const {

return unknown_function_results_;

}

private:

Container unknown_function_results_;