ExpressionUninterpretedFunction Member List

This is the complete list of members for ExpressionUninterpretedFunction, including all inherited members.

Differentiate(const Variable &x) const override	ExpressionUninterpretedFunction	virtual
Display(std::ostream &os) const override	ExpressionUninterpretedFunction	virtual
EqualTo(const ExpressionCell &e) const override	ExpressionUninterpretedFunction	virtual
Evaluate(const Environment &env) const override	ExpressionUninterpretedFunction	virtual
EvaluatePartial(const Environment &env) const override	ExpressionUninterpretedFunction	virtual
Expand() const override	ExpressionUninterpretedFunction	virtual
ExpressionCell(const ExpressionCell &)=delete	ExpressionCell
ExpressionCell(ExpressionCell &&)=delete	ExpressionCell
ExpressionCell(ExpressionKind k, bool is_poly, bool is_expanded)	ExpressionCell	protected
ExpressionUninterpretedFunction(std::string name, std::vector< Expression > arguments)	ExpressionUninterpretedFunction
get_arguments() const	ExpressionUninterpretedFunction
get_kind() const	ExpressionCell
get_name() const	ExpressionUninterpretedFunction
GetVariables() const override	ExpressionUninterpretedFunction	virtual
HashAppendDetail(DelegatingHasher *) const override	ExpressionUninterpretedFunction	virtual
is_expanded() const	ExpressionCell
is_polynomial() const	ExpressionCell
Less(const ExpressionCell &e) const override	ExpressionUninterpretedFunction	virtual
operator=(const ExpressionCell &)=delete	ExpressionCell
operator=(ExpressionCell &&)=delete	ExpressionCell
set_expanded()	ExpressionCell
Substitute(const Substitution &s) const override	ExpressionUninterpretedFunction	virtual
use_count() const	ExpressionCell
~ExpressionCell()	ExpressionCell	virtual
~ExpressionUninterpretedFunction() override	ExpressionUninterpretedFunction