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. More... | |
virtual | ~VarImpDisposerBase (void) |
Destructor (not used) More... | |
Base class for Variable type disposer.
Controls disposal of variable implementations.
|
virtual |
|
virtual |
Dispose list of variable implementations starting at x.
Reimplemented in Gecode::VarImpDisposer< VarImp >.