Drake
Drake C++ Documentation
Formula Member List

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

EqualTo(const Formula &f) constFormula
Evaluate(const Environment &env=Environment{}, RandomGenerator *random_generator=nullptr) constFormula
Evaluate(RandomGenerator *random_generator) constFormula
False()Formulastatic
Formula(const Formula &)=defaultFormula
Formula(Formula &&)=defaultFormula
Formula()Formula
Formula(bool value)Formulaexplicit
Formula(std::shared_ptr< const FormulaCell > ptr)Formulaexplicit
Formula(const Variable &var)Formulaexplicit
get_kind() constFormula
GetFreeVariables() constFormula
hash_append(HashAlgorithm &hasher, const Formula &item) noexceptFormulafriend
is_conjunction(const Formula &f)Formulafriend
is_disjunction(const Formula &f)Formulafriend
is_equal_to(const Formula &f)Formulafriend
is_false(const Formula &f)Formulafriend
is_forall(const Formula &f)Formulafriend
is_greater_than(const Formula &f)Formulafriend
is_greater_than_or_equal_to(const Formula &f)Formulafriend
is_isnan(const Formula &f)Formulafriend
is_less_than(const Formula &f)Formulafriend
is_less_than_or_equal_to(const Formula &f)Formulafriend
is_negation(const Formula &f)Formulafriend
is_not_equal_to(const Formula &f)Formulafriend
is_positive_semidefinite(const Formula &f)Formulafriend
is_relational(const Formula &f)Formulafriend
is_true(const Formula &f)Formulafriend
is_variable(const Formula &f)Formulafriend
Less(const Formula &f) constFormula
operator bool() constFormulaexplicit
operator<<(std::ostream &os, const Formula &f)Formulafriend
operator=(const Formula &)=defaultFormula
operator=(Formula &&)=defaultFormula
Substitute(const Variable &var, const Expression &e) constFormula
Substitute(const Substitution &s) constFormula
swap(Formula &a, Formula &b)Formulafriend
to_conjunction(const Formula &f)Formulafriend
to_disjunction(const Formula &f)Formulafriend
to_equal_to(const Formula &f)Formulafriend
to_false(const Formula &f)Formulafriend
to_forall(const Formula &f)Formulafriend
to_greater_than(const Formula &f)Formulafriend
to_greater_than_or_equal_to(const Formula &f)Formulafriend
to_isnan(const Formula &f)Formulafriend
to_less_than(const Formula &f)Formulafriend
to_less_than_or_equal_to(const Formula &f)Formulafriend
to_nary(const Formula &f)Formulafriend
to_negation(const Formula &f)Formulafriend
to_not_equal_to(const Formula &f)Formulafriend
to_positive_semidefinite(const Formula &f)Formulafriend
to_relational(const Formula &f)Formulafriend
to_string() constFormula
to_true(const Formula &f)Formulafriend
to_variable(const Formula &f)Formulafriend
True()Formulastatic