
Base class for Variable type disposer. More...
#include <core.hpp>
Public Member Functions | |
| virtual void | dispose (Space &home, VarImpBase *x) |
| Dispose list of variable implementations starting at x. | |
| virtual | ~VarImpDisposerBase (void) |
| Destructor (not used) | |
Base class for Variable type disposer.
Controls disposal of variable implementations.
| Gecode::VarImpDisposerBase::~VarImpDisposerBase | ( | void | ) | [virtual] |
| void Gecode::VarImpDisposerBase::dispose | ( | Space & | home, |
| VarImpBase * | x | ||
| ) | [virtual] |
Dispose list of variable implementations starting at x.
Reimplemented in Gecode::VarImpDisposer< VarImp >.