RelationalFormulaCell Class Reference

Detailed Description

Represents the base class for relational operators (==, !=, <, <=, >, >=).

#include <drake/common/symbolic/expression/formula_cell.h>

Public Member Functions
	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...
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...
virtual bool	Evaluate (const Environment &env) const =0
	Evaluates under a given environment. More...
virtual Formula	Substitute (const Substitution &s) const =0
	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...
virtual std::ostream &	Display (std::ostream &os) const =0
	Outputs string representation of formula into output stream os. 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
	Default destructor. More...

Constructor & Destructor Documentation

RelationalFormulaCell() [1/4]

RelationalFormulaCell ( )

delete

Default constructor (deleted).

RelationalFormulaCell() [2/4]

RelationalFormulaCell ( RelationalFormulaCell &&  f )

default

Move-construct a formula from an rvalue.

RelationalFormulaCell() [3/4]

RelationalFormulaCell ( const RelationalFormulaCell &  f )

default

Copy-construct a formula from an lvalue.

RelationalFormulaCell() [4/4]

RelationalFormulaCell	(	FormulaKind	k,
		Expression	lhs,
		Expression	rhs
	)

Construct RelationalFormulaCell of kind k with lhs and rhs.

Member Function Documentation

EqualTo()

bool EqualTo ( const FormulaCell &  c ) const

overridevirtual

Checks structural equality.

Implements FormulaCell.

get_lhs_expression()

const Expression& get_lhs_expression

(

)

const

Returns the expression on left-hand-side.

get_rhs_expression()

const Expression& get_rhs_expression

(

)

const

Returns the expression on right-hand-side.

GetFreeVariables()

Variables GetFreeVariables ( ) const

overridevirtual

Returns set of free variables in formula.

Implements FormulaCell.

HashAppendDetail()

void HashAppendDetail ( DelegatingHasher *  ) const

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.

Less()

bool Less ( const FormulaCell &  c ) const

overridevirtual

Checks ordering.

Implements FormulaCell.

operator=() [1/2]

RelationalFormulaCell& operator= ( RelationalFormulaCell &&  f )

delete

Move-assign (DELETED).

operator=() [2/2]

RelationalFormulaCell& operator= ( const RelationalFormulaCell &  f )

delete

Copy-assign (DELETED).

---

The documentation for this class was generated from the following file:

• drake/common/symbolic/expression/formula_cell.h