dlinear::ExpressionEvaluator Class Reference

Evaluate an expression with a given box. More...

#include <ExpressionEvaluator.h>

Inheritance diagram for dlinear::ExpressionEvaluator:

Public Member Functions
	ExpressionEvaluator (Expression e, const Config &config)
	Construct a new ExpressionEvaluator object with the given expression and configuration.
Interval	Process (const Box &box) const
	Evaluates the expression with box.
Public Member Functions inherited from dlinear::GenericExpressionVisitor< Interval, const Box & >
const IterationStats &	stats () const
	Get read-only access to the statistics of the GenericExpressionVisitor.
const Config &	config () const
	Get read-only access to the configuration of the GenericExpressionVisitor.

Additional Inherited Members
Protected Attributes inherited from dlinear::GenericExpressionVisitor< Interval, const Box & >
const Config &	config_
	Configuration.
IterationStats	stats_
	Statistics.

Detailed Description

Evaluate an expression with a given box.

The ExpressionEvaluator is used to evaluate an expression with a given box. The box provides the values of the variables in the expression with intervals.

Definition at line 25 of file ExpressionEvaluator.h.

Constructor & Destructor Documentation

ExpressionEvaluator()

dlinear::ExpressionEvaluator::ExpressionEvaluator	(	Expression	e,
		const Config &	config )

Construct a new ExpressionEvaluator object with the given expression and configuration.

Parameters

e	expression to evaluate
config	configuration to use

Definition at line 19 of file ExpressionEvaluator.cpp.

---

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

• dlinear/symbolic/ExpressionEvaluator.h
• dlinear/symbolic/ExpressionEvaluator.cpp