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
	drake
	drake::symbolic

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

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