#include <minimodel.hh>
Public Member Functions | |
virtual void | post (Space &home, BoolVar b, bool neg, IntConLevel icl)=0 |
virtual | ~MiscExpr (void) |
Destructor. | |
Static Public Member Functions | |
static void * | operator new (size_t size) |
Memory management. | |
static void | operator delete (void *p, size_t size) |
Memory management. |
Definition at line 969 of file minimodel.hh.
Gecode::BoolExpr::MiscExpr::~MiscExpr | ( | void | ) | [virtual] |
Destructor.
Definition at line 152 of file bool-expr.cpp.
virtual void Gecode::BoolExpr::MiscExpr::post | ( | Space & | home, |
BoolVar | b, | ||
bool | neg, | ||
IntConLevel | icl | ||
) | [pure virtual] |
Constrain b to be equivalent to the expression (negated if neg)
Implemented in Gecode::BElementExpr.
void * Gecode::BoolExpr::MiscExpr::operator new | ( | size_t | size | ) | [inline, static] |
Memory management.
Definition at line 60 of file bool-expr.hpp.
void Gecode::BoolExpr::MiscExpr::operator delete | ( | void * | p, |
size_t | size | ||
) | [inline, static] |
Memory management.
Definition at line 64 of file bool-expr.hpp.