|
Drake
|
|
Drake
|
Symbolic formula representing disequality (e1 ≠ e2).
#include <drake/common/symbolic/expression/formula_cell.h>
Public Member Functions | |
| FormulaNeq (const Expression &e1, const Expression &e2) | |
Constructs from e1 and e2. More... | |
| ~FormulaNeq () override | |
| bool | Evaluate (const Environment &env) const override |
| Evaluates under a given environment. More... | |
| Formula | Substitute (const Substitution &s) const override |
Returns a Formula obtained by replacing all occurrences of the variables in s in the current formula cell with the corresponding expressions in s. More... | |
| std::ostream & | Display (std::ostream &os) const override |
Outputs string representation of formula into output stream os. More... | |
 Public Member Functions inherited from RelationalFormulaCell | |
| RelationalFormulaCell ()=delete | |
| Default constructor (deleted). More... | |
| RelationalFormulaCell (RelationalFormulaCell &&f)=default | |
| Move-construct a formula from an rvalue. More... | |
| RelationalFormulaCell (const RelationalFormulaCell &f)=default | |
| Copy-construct a formula from an lvalue. More... | |
| RelationalFormulaCell & | operator= (RelationalFormulaCell &&f)=delete |
| Move-assign (DELETED). More... | |
| RelationalFormulaCell & | operator= (const RelationalFormulaCell &f)=delete |
| Copy-assign (DELETED). More... | |
| RelationalFormulaCell (FormulaKind k, Expression lhs, Expression rhs) | |
Construct RelationalFormulaCell of kind k with lhs and rhs. More... | |
| ~RelationalFormulaCell () override | |
| void | HashAppendDetail (DelegatingHasher *) const override |
| Sends all hash-relevant bytes for this FormulaCell type into the given hasher, per the hash_append generic hashing concept – except for get_kind(), because Formula already sends that. More... | |
| Variables | GetFreeVariables () const override |
| Returns set of free variables in formula. More... | |
| bool | EqualTo (const FormulaCell &f) const override |
| Checks structural equality. More... | |
| bool | Less (const FormulaCell &f) const override |
| Checks ordering. More... | |
| const Expression & | get_lhs_expression () const |
| Returns the expression on left-hand-side. More... | |
| const Expression & | get_rhs_expression () const |
| Returns the expression on right-hand-side. More... | |
| Public Member Functions inherited from FormulaCell | |
| FormulaKind | get_kind () const |
| Returns kind of formula. More... | |
| FormulaCell ()=delete | |
| Default constructor (deleted). More... | |
| FormulaCell & | operator= (FormulaCell &&f)=delete |
| Move-assign (deleted). More... | |
| FormulaCell & | operator= (const FormulaCell &f)=delete |
| Copy-assign (deleted). More... | |
Additional Inherited Members | |
| Protected Member Functions inherited from FormulaCell | |
| FormulaCell (FormulaCell &&f)=default | |
| Move-construct a formula from an rvalue. More... | |
| FormulaCell (const FormulaCell &f)=default | |
| Copy-construct a formula from an lvalue. More... | |
| FormulaCell (FormulaKind k) | |
Construct FormulaCell of kind k. More... | |
| virtual | ~FormulaCell () |
| Default destructor. More... | |
| FormulaNeq | ( | const Expression & | e1, |
| const Expression & | e2 | ||
| ) |
Constructs from e1 and e2.
|
override |
|
overridevirtual |
Outputs string representation of formula into output stream os.
Implements FormulaCell.
|
overridevirtual |
Evaluates under a given environment.
Implements FormulaCell.
|
overridevirtual |
Returns a Formula obtained by replacing all occurrences of the variables in s in the current formula cell with the corresponding expressions in s.
Implements FormulaCell.