
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.