Drake

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.
#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...  
RewritingRule  (  Pattern  lhs, 
Pattern  rhs  
) 
Constructs a rewriting rule lhs => rhs
.

default 
Default copy constructor.

default 
Default move constructor.

default 
Default destructor.
const Pattern& lhs  (  )  const 
Returns the const reference of the LHS of the rewriting rule.

delete 
Deleted copyassign operator.

delete 
Deleted moveassign operator.
const Pattern& rhs  (  )  const 
Returns the const reference of the RHS of the rewriting rule.