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