
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. | |
| virtual void | update (Literal)=0 |
| Left-branch update. | |
| virtual SymmetryImp< View > * | copy (Space &home) const =0 |
| Copy function. | |
| virtual size_t | dispose (Space &home)=0 |
| Disposal. | |
| virtual | ~SymmetryImp (void) |
| Unused destructor. | |
Static Public Member Functions | |
| static void * | operator new (size_t s, Space &home) |
| Placement new operator. | |
| static void | operator delete (void *, Space &) |
| Return memory to space. | |
| static void | operator delete (void *) |
| Needed for exceptions. | |
Implementation of a single symmetry.
|
virtual |
Unused destructor.
Definition at line 48 of file sym-imp.hpp.
|
pure virtual |
Compute symmetric literals.
Implemented in Gecode::Int::LDSB::ValueSequenceSymmetryImp< View >, Gecode::Int::LDSB::ValueSymmetryImp< View >, Gecode::Int::LDSB::VariableSequenceSymmetryImp< View >, and Gecode::Int::LDSB::VariableSymmetryImp< View >.
|
pure virtual |
|
pure virtual |
|
pure virtual |
|
static |
Placement new operator.
Definition at line 52 of file sym-imp.hpp.
|
static |
Return memory to space.
Definition at line 58 of file sym-imp.hpp.
|
static |
Needed for exceptions.
Definition at line 62 of file sym-imp.hpp.