Miscealloneous Boolean expressions. More...
#include <minimodel.hh>
Public Member Functions | |
virtual void | post (Space &home, BoolVar b, bool neg, IntConLevel icl)=0 |
virtual | ~MiscExpr (void) |
Destructor. More... | |
Static Public Member Functions | |
static void * | operator new (size_t size) |
Memory management. More... | |
static void | operator delete (void *p, size_t size) |
Memory management. More... | |
Miscealloneous Boolean expressions.
Definition at line 1249 of file minimodel.hh.
|
virtual |
Destructor.
Definition at line 220 of file bool-expr.cpp.
|
pure virtual |
Constrain b to be equivalent to the expression (negated if neg)
Implemented in Gecode::BElementExpr.
|
inlinestatic |
Memory management.
Definition at line 46 of file bool-expr.hpp.
|
inlinestatic |
Memory management.
Definition at line 50 of file bool-expr.hpp.