Formula Member List

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

EqualTo(const Formula &f) const	Formula
Evaluate(const Environment &env=Environment{}) const	Formula
False() (defined in Formula)	Formula	static
forall(const Variables &vars, const Formula &f)	Formula	friend
Formula()	Formula
Formula(const Formula &) (defined in Formula)	Formula
Formula(Formula &&) noexcept (defined in Formula)	Formula
Formula(const Variable &var)	Formula	explicit
FormulaCell (defined in Formula)	Formula
get_hash() const (defined in Formula)	Formula
get_kind() const (defined in Formula)	Formula
GetFreeVariables() const	Formula
include_ite() const	Formula
is_conjunction(const Formula &f)	Formula	friend
is_disjunction(const Formula &f)	Formula	friend
is_equal_to(const Formula &f)	Formula	friend
is_false(const Formula &f)	Formula	friend
is_forall(const Formula &f)	Formula	friend
is_greater_than(const Formula &f)	Formula	friend
is_greater_than_or_equal_to(const Formula &f)	Formula	friend
is_less_than(const Formula &f)	Formula	friend
is_less_than_or_equal_to(const Formula &f)	Formula	friend
is_negation(const Formula &f)	Formula	friend
is_not_equal_to(const Formula &f)	Formula	friend
is_relational(const Formula &f)	Formula	friend
is_true(const Formula &f)	Formula	friend
is_variable(const Formula &f)	Formula	friend
Less(const Formula &f) const	Formula
make_conjunction(Formula &f1, const Formula &f2) (defined in Formula)	Formula	static
make_conjunction(const std::set< Formula > &formulas)	Formula	friend
make_disjunction(Formula &f1, const Formula &f2) (defined in Formula)	Formula	static
make_disjunction(const std::set< Formula > &formulas)	Formula	friend
operator bool() const	Formula	inlineexplicit
operator! (defined in Formula)	Formula	friend
operator!=(const Expression &e1, const Expression &e2)	Formula	friend
operator< (defined in Formula)	Formula	friend
operator<< (defined in Formula)	Formula	friend
operator<= (defined in Formula)	Formula	friend
operator=(const Formula &) (defined in Formula)	Formula
operator=(Formula &&) noexcept (defined in Formula)	Formula
operator==(const Expression &e1, const Expression &e2)	Formula	friend
operator> (defined in Formula)	Formula	friend
operator>= (defined in Formula)	Formula	friend
Substitute(const Variable &var, const Expression &e) const	Formula
Substitute(const Variable &var, const Formula &f) const	Formula
Substitute(const ExpressionSubstitution &expr_subst, const FormulaSubstitution &formula_subst) const	Formula
Substitute(const ExpressionSubstitution &expr_subst) const	Formula
Substitute(const FormulaSubstitution &formula_subst) const	Formula
swap (defined in Formula)	Formula	friend
to_conjunction(const Formula &f)	Formula	friend
to_disjunction(const Formula &f)	Formula	friend
to_equal_to(const Formula &f)	Formula	friend
to_false(const Formula &f)	Formula	friend
to_forall(const Formula &f)	Formula	friend
to_greater_than(const Formula &f)	Formula	friend
to_greater_than_or_equal_to(const Formula &f)	Formula	friend
to_less_than(const Formula &f)	Formula	friend
to_less_than_or_equal_to(const Formula &f)	Formula	friend
to_nary(const Formula &f)	Formula	friend
to_nary(Formula &f)	Formula	friend
to_negation(const Formula &f)	Formula	friend
to_not_equal_to(const Formula &f)	Formula	friend
to_relational(const Formula &f)	Formula	friend
to_string() const	Formula
to_true(const Formula &f)	Formula	friend
to_variable(const Formula &f)	Formula	friend
True() (defined in Formula)	Formula	static
~Formula() (defined in Formula)	Formula