
Miscealloneous Boolean expressions. More...
#include <minimodel.hh>
Public Member Functions | |
| Misc (void) | |
| Default constructor. More... | |
| virtual void | post (Home home, BoolVar b, bool neg, const IntPropLevels &ipls)=0 |
| virtual | ~Misc (void) |
| Destructor. More... | |
Additional Inherited Members | |
Static Public Member Functions inherited from Gecode::HeapAllocated | |
| static void * | operator new (size_t s) |
| Memory management. More... | |
| static void | operator delete (void *p) |
| Free memory allocated from heap. More... | |
Miscealloneous Boolean expressions.
Definition at line 1344 of file minimodel.hh.
|
inline |
Default constructor.
Definition at line 42 of file bool-expr.hpp.
|
virtual |
Destructor.
Definition at line 216 of file bool-expr.cpp.
|
pure virtual |
Constrain b to be equivalent to the expression (negated if neg) with propagation level ipl.
Implemented in Gecode::BElementExpr.