Symbolic formula representing a Boolean variable.
#include <drake/common/symbolic/expression/formula_cell.h>
Public Member Functions | |
FormulaVar (Variable v) | |
Constructs a formula from var . More... | |
~FormulaVar () 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... | |
bool | Evaluate (const Environment &env) const override |
Evaluates under a given environment. More... | |
Formula | Substitute (const Substitution &subst) 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... | |
const Variable & | get_variable () const |
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... | |
|
explicit |
Constructs a formula from var
.
var
is of BOOLEAN type.
|
override |
|
overridevirtual |
Outputs string representation of formula into output stream os
.
Implements FormulaCell.
|
overridevirtual |
Checks structural equality.
Implements FormulaCell.
|
overridevirtual |
Evaluates under a given environment.
Implements FormulaCell.
const Variable& get_variable | ( | ) | const |
|
overridevirtual |
Returns set of free variables in formula.
Implements FormulaCell.
|
overridevirtual |
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.
Implements FormulaCell.
|
overridevirtual |
Checks ordering.
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.