
Variable implementation disposer More...
#include <core.hpp>
Public Member Functions | |
| VarImpDisposer (void) | |
| Constructor (registers disposer with kernel) More... | |
| virtual void | dispose (Space &home, VarImpBase *x) |
| Dispose list of variable implementations starting at x. More... | |
Public Member Functions inherited from Gecode::VarImpDisposerBase | |
| virtual | ~VarImpDisposerBase (void) |
| Destructor (not used) More... | |
Variable implementation disposer
Controls disposal of variable implementations.
| Gecode::VarImpDisposer< VarImp >::VarImpDisposer | ( | void | ) |
|
virtual |
Dispose list of variable implementations starting at x.
Reimplemented from Gecode::VarImpDisposerBase.