Gecode::BoolExpr::Misc Class Reference
Miscealloneous Boolean expressions. More...
#include <minimodel.hh>
Public Member Functions | |
| Misc (void) | |
| Default constructor. | |
| virtual void | post (Home home, BoolVar b, bool neg, const IntPropLevels &ipls)=0 |
| virtual | ~Misc (void) |
| Destructor. | |
Detailed Description
Miscealloneous Boolean expressions.
Definition at line 1344 of file minimodel.hh.
Constructor & Destructor Documentation
| Gecode::BoolExpr::Misc::Misc | ( | void | ) | [inline] |
Default constructor.
Definition at line 42 of file bool-expr.hpp.
| Gecode::BoolExpr::Misc::~Misc | ( | void | ) | [virtual] |
Destructor.
Definition at line 216 of file bool-expr.cpp.
Member Function Documentation
| virtual void Gecode::BoolExpr::Misc::post | ( | Home | home, | |
| BoolVar | b, | |||
| bool | neg, | |||
| const IntPropLevels & | ipls | |||
| ) | [pure virtual] |
Constrain b to be equivalent to the expression (negated if neg) with propagation level ipl.
Implemented in Gecode::BElementExpr.
The documentation for this class was generated from the following files:
- gecode/minimodel.hh
- gecode/minimodel/bool-expr.cpp
- gecode/minimodel/bool-expr.hpp