FormulaEvaluationResult Class Reference

Represents the evaluation result of a constraint given a box. More...

#include </home/soonhokong/work/dreal4/dreal/solver/formula_evaluator.h>

Public Types
enum	Type { VALID, UNSAT, UNKNOWN }

Public Member Functions
	FormulaEvaluationResult (Type type, const Box::Interval &evaluation)
	Constructs an FormulaEvaluationResult with type and evaluation.
Type	type () const
	Returns the type of this result.
const Box::Interval &	evaluation () const
	Returns the interval evaluation of this result.

Detailed Description

Represents the evaluation result of a constraint given a box.

Member Enumeration Documentation

Type

enum Type

strong

Enumerator
VALID	Any point in the box satisfies the constraint.
UNSAT	There is no point in the box satisfying the constraint.
UNKNOWN	It is unknown. It may indicate that there is a point in the box satisfying the constraint.

---

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

• /home/soonhokong/work/dreal4/dreal/solver/formula_evaluator.h
• /home/soonhokong/work/dreal4/dreal/solver/formula_evaluator.cc