dReal4
Public Member Functions | Friends | List of all members
CachedExpression Class Reference

Cached expression class. More...

#include </home/soonhokong/work/dreal4/dreal/optimization/nlopt_optimizer.h>

Public Member Functions

 CachedExpression (Expression e, const Box &box)
 
const Box & box () const
 
Environment & mutable_environment ()
 
const Environment & environment () const
 
double Evaluate (const Environment &env) const
 
const Expression & Differentiate (const Variable &x)
 

Friends

std::ostream & operator<< (std::ostream &os, const CachedExpression &expression)
 

Detailed Description

Cached expression class.

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