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 |
Left-branch update.
Implemented in Gecode::Int::LDSB::ValueSequenceSymmetryImp< View >, Gecode::Int::LDSB::ValueSymmetryImp< View >, Gecode::Int::LDSB::ValueSymmetryImp< Gecode::ValSelCommitBase< typenameValSel::View, typenameValSel::Val >::View >, Gecode::Int::LDSB::VariableSequenceSymmetryImp< View >, and Gecode::Int::LDSB::VariableSymmetryImp< View >.
|
pure virtual |
Copy function.
Implemented in Gecode::Int::LDSB::ValueSequenceSymmetryImp< View >, Gecode::Int::LDSB::ValueSymmetryImp< View >, Gecode::Int::LDSB::ValueSymmetryImp< Gecode::ValSelCommitBase< typenameValSel::View, typenameValSel::Val >::View >, Gecode::Int::LDSB::VariableSequenceSymmetryImp< View >, and Gecode::Int::LDSB::VariableSymmetryImp< View >.
|
pure virtual |
Disposal.
Implemented in Gecode::Int::LDSB::ValueSequenceSymmetryImp< View >, Gecode::Int::LDSB::ValueSymmetryImp< View >, Gecode::Int::LDSB::ValueSymmetryImp< Gecode::ValSelCommitBase< typenameValSel::View, typenameValSel::Val >::View >, Gecode::Int::LDSB::VariableSequenceSymmetryImp< View >, and Gecode::Int::LDSB::VariableSymmetryImp< View >.
|
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.