FormulaVar Member List

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

Display(std::ostream &os) const override	FormulaVar	virtual
EqualTo(const FormulaCell &f) const override	FormulaVar	virtual
Evaluate(const Environment &env) const override	FormulaVar	virtual
FormulaCell()=delete	FormulaCell
FormulaCell(const FormulaCell &f)=delete	FormulaCell
FormulaCell(FormulaCell &&f)=delete	FormulaCell
FormulaCell(FormulaKind k, size_t hash, bool include_ite, Variables variables)	FormulaCell	protected
FormulaVar(const Variable &v)	FormulaVar	explicit
get_hash() const	FormulaCell	inline
get_kind() const	FormulaCell	inline
get_variable() const (defined in FormulaVar)	FormulaVar
GetFormula()	FormulaCell	protected
GetFreeVariables() const	FormulaCell
include_ite() const	FormulaCell
Less(const FormulaCell &f) const override	FormulaVar	virtual
operator=(FormulaCell &&f)=delete	FormulaCell
operator=(const FormulaCell &f)=delete	FormulaCell
Substitute(const ExpressionSubstitution &expr_subst, const FormulaSubstitution &formula_substubst) override	FormulaVar	virtual
use_count() const	FormulaCell	inline
~FormulaCell()=default	FormulaCell	protectedvirtual