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(FormulaCell &&f)=default	FormulaCell	protected
FormulaCell(const FormulaCell &f)=default	FormulaCell	protected
FormulaCell(FormulaKind k)	FormulaCell	explicitprotected
FormulaVar(Variable v)	FormulaVar	explicit
get_kind() const	FormulaCell
get_variable() const	FormulaVar
GetFreeVariables() const override	FormulaVar	virtual
HashAppendDetail(DelegatingHasher *) const override	FormulaVar	virtual
Less(const FormulaCell &f) const override	FormulaVar	virtual
operator=(FormulaCell &&f)=delete	FormulaCell
operator=(const FormulaCell &f)=delete	FormulaCell
Substitute(const Substitution &subst) const override	FormulaVar	virtual
~FormulaCell()	FormulaCell	protectedvirtual
~FormulaVar() override	FormulaVar