RelationalFormulaEvaluator Class Reference
Evaluator for relational formulas. More...
#include </home/soonhokong/work/dreal4/dreal/solver/relational_formula_evaluator.h>
Inheritance diagram for RelationalFormulaEvaluator:
Public Member Functions | |
| RelationalFormulaEvaluator (Formula f) | |
| RelationalFormulaEvaluator (const RelationalFormulaEvaluator &)=delete | |
| Deleted copy-constructor. | |
| RelationalFormulaEvaluator (RelationalFormulaEvaluator &&)=default | |
| Deleted move-constructor. | |
| RelationalFormulaEvaluator & | operator= (const RelationalFormulaEvaluator &)=delete |
| Deleted copy-assignment operator. | |
| RelationalFormulaEvaluator & | operator= (RelationalFormulaEvaluator &&)=delete |
| Deleted move-assignment operator. | |
| FormulaEvaluationResult | operator() (const Box &box) const override |
Evaluates the constraint/formula with box. | |
| std::ostream & | Display (std::ostream &os) const override |
| const Variables & | variables () const override |
 Public Member Functions inherited from FormulaEvaluatorCell | |
| FormulaEvaluatorCell (Formula f) | |
| FormulaEvaluatorCell (const FormulaEvaluatorCell &)=delete | |
| Deleted copy-constructor. | |
| FormulaEvaluatorCell (FormulaEvaluatorCell &&)=default | |
| Deleted move-constructor. | |
| FormulaEvaluatorCell & | operator= (const FormulaEvaluatorCell &)=delete |
| Deleted copy-assignment operator. | |
| FormulaEvaluatorCell & | operator= (FormulaEvaluatorCell &&)=delete |
| Deleted move-assignment operator. | |
| virtual | ~FormulaEvaluatorCell ()=default |
| Default destructor. | |
| const Formula & | formula () const |
| bool | is_simple_relational () const |
Returns true if the based formula is a simple relational formula which is in form of constant relop variable or !(constant relop variable). More... | |
| bool | is_neq () const |
Returns true if the based formula is a not-equal formula which is in form of e1 != e2 or !(e1 == e2). More... | |
Detailed Description
Evaluator for relational formulas.
The documentation for this class was generated from the following files:
- /home/soonhokong/work/dreal4/dreal/solver/relational_formula_evaluator.h
- /home/soonhokong/work/dreal4/dreal/solver/relational_formula_evaluator.cc
