dReal4
ExpressionEvaluator Class Reference

Public Member Functions

 ExpressionEvaluator (Expression e)
 
Box::Interval operator() (const Box &box) const
 Evaluates the expression with box.
 
const Variablesvariables () const
 

Friends

Box::Interval drake::symbolic::VisitExpression (const ExpressionEvaluator *, const Expression &, const Box &)
 
std::ostream & operator<< (std::ostream &os, const ExpressionEvaluator &expression_evaluator)
 

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