FormulaEvaluatorCell Class Referenceabstract
Base type for evaluator cell types. More...
#include </home/soonhokong/work/dreal4/dreal/solver/formula_evaluator_cell.h>
Inheritance diagram for FormulaEvaluatorCell:
Public Member Functions | |
| 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... | |
| virtual FormulaEvaluationResult | operator() (const Box &box) const =0 |
Evaluates the constraint/formula with box. | |
| virtual const Variables & | variables () const =0 |
| virtual std::ostream & | Display (std::ostream &os) const =0 |
Detailed Description
Base type for evaluator cell types.
Member Function Documentation
◆ is_neq()
|
inline |
Returns true if the based formula is a not-equal formula which is in form of e1 != e2 or !(e1 == e2).
◆ is_simple_relational()
|
inline |
Returns true if the based formula is a simple relational formula which is in form of constant relop variable or !(constant relop variable).
The documentation for this class was generated from the following files:
- /home/soonhokong/work/dreal4/dreal/solver/formula_evaluator_cell.h
- /home/soonhokong/work/dreal4/dreal/solver/formula_evaluator_cell.cc
