dReal4
FormulaEvaluationResult Member List

This is the complete list of members for FormulaEvaluationResult, including all inherited members.

evaluation() constFormulaEvaluationResult
FormulaEvaluationResult(Type type, const Box::Interval &evaluation)FormulaEvaluationResult
type() constFormulaEvaluationResult
Type enum nameFormulaEvaluationResult