Drake

A RewritingRule
, lhs => rhs
, consists of two Patterns lhs
and rhs
.
More...
#include <drake/common/symbolic_simplification.h>
Public Member Functions  
RewritingRule (Pattern lhs, Pattern rhs)  
Constructs a rewriting rule lhs => rhs . More...  
RewritingRule (const RewritingRule &)=default  
Default copy constructor. More...  
RewritingRule (RewritingRule &&)=default  
Default move constructor. More...  
RewritingRule &  operator= (const RewritingRule &)=delete 
Deleted copyassign operator. More...  
RewritingRule &  operator= (RewritingRule &&)=delete 
Deleted moveassign operator. More...  
~RewritingRule ()=default  
Default destructor. More...  
const Pattern &  lhs () const 
Returns the const reference of the LHS of the rewriting rule. More...  
const Pattern &  rhs () const 
Returns the const reference of the RHS of the rewriting rule. More...  
A RewritingRule
, lhs => rhs
, consists of two Patterns lhs
and rhs
.
A rewriting rule instructs a rewriter how to transform a given expression e
. First, the rewriter tries to find a match between the expression e
and the pattern lhs
. If such a match is found, it applies the match result (substitution) to rhs
. Otherwise, the same expression e
is returned.

inline 
Constructs a rewriting rule lhs => rhs
.

default 
Default copy constructor.

default 
Default move constructor.

default 
Default destructor.

inline 
Returns the const reference of the LHS of the rewriting rule.

delete 
Deleted copyassign operator.

delete 
Deleted moveassign operator.

inline 
Returns the const reference of the RHS of the rewriting rule.