simplification.h File Reference

#include <functional>
#include <utility>
#include "drake/common/symbolic/expression.h"

Include dependency graph for simplification.h:

Classes
class	RewritingRule
	A RewritingRule, lhs => rhs, consists of two Patterns lhs and rhs. More...

Namespaces
namespace	drake
namespace	drake::symbolic

Typedefs
using	Pattern = Expression
	A pattern is an expression which possibly includes variables which represent placeholders.
using	Rewriter = std::function<Expression(const Expression&)>
	A Rewriter is a function from an Expression to an Expression.

Functions
Rewriter	MakeRuleRewriter (const RewritingRule &r)
	Constructs a rewriter based on a rewriting rule r.