|
Drake
|
|
Drake
|
This is the complete list of members for Formula, including all inherited members.
| EqualTo(const Formula &f) const | Formula | |
| Evaluate(const Environment &env=Environment{}, RandomGenerator *random_generator=nullptr) const | Formula | |
| Evaluate(RandomGenerator *random_generator) const | Formula | |
| False() | Formula | static |
| Formula(const Formula &)=default | Formula | |
| Formula(Formula &&)=default | Formula | |
| Formula() | Formula | |
| Formula(bool value) | Formula | explicit |
| Formula(std::shared_ptr< const FormulaCell > ptr) | Formula | explicit |
| Formula(const Variable &var) | Formula | explicit |
| get_kind() const | Formula | |
| GetFreeVariables() const | Formula | |
| hash_append(HashAlgorithm &hasher, const Formula &item) noexcept | Formula | friend |
| 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_isnan(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_positive_semidefinite(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 | |
| operator bool() const | Formula | explicit |
| operator<<(std::ostream &os, const Formula &f) | Formula | friend |
| operator=(const Formula &)=default | Formula | |
| operator=(Formula &&)=default | Formula | |
| Substitute(const Variable &var, const Expression &e) const | Formula | |
| Substitute(const Substitution &s) const | Formula | |
| swap(Formula &a, Formula &b) | 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_isnan(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_negation(const Formula &f) | Formula | friend |
| to_not_equal_to(const Formula &f) | Formula | friend |
| to_positive_semidefinite(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() | Formula | static |
| ~Formula()=default | Formula |