Implementation of a single symmetry. More...
#include <ldsb.hh>
Public Member Functions | |
virtual ArgArray< Literal > | symmetric (Literal, const ViewArray< View > &) const =0 |
Compute symmetric literals. More... | |
virtual void | update (Literal)=0 |
Left-branch update. More... | |
virtual SymmetryImp< View > * | copy (Space &home, bool share) const =0 |
Copy function. More... | |
virtual size_t | dispose (Space &home)=0 |
Disposal. More... | |
Static Public Member Functions | |
static void * | operator new (size_t s, Space &home) |
Placement new operator. More... | |
static void | operator delete (void *, Space &) |
Return memory to space. More... | |
static void | operator delete (void *) |
Needed for exceptions. More... | |
Implementation of a single symmetry.
|
pure virtual |
Compute symmetric literals.
Implemented in Gecode::Int::LDSB::ValueSequenceSymmetryImp< View >, Gecode::Int::LDSB::VariableSequenceSymmetryImp< View >, Gecode::Int::LDSB::ValueSymmetryImp< View >, and Gecode::Int::LDSB::VariableSymmetryImp< View >.
|
pure virtual |
|
pure virtual |
|
pure virtual |
|
static |
Placement new operator.
Definition at line 53 of file sym-imp.hpp.
|
static |
Return memory to space.
Definition at line 59 of file sym-imp.hpp.
|
static |
Needed for exceptions.
Definition at line 63 of file sym-imp.hpp.