Gecode::Int::LDSB::SymmetryImp< View > Class Template Reference
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. | |
Detailed Description
template<class View>
class Gecode::Int::LDSB::SymmetryImp< View >
Implementation of a single symmetry.
Definition at line 162 of file ldsb.hh.
Constructor & Destructor Documentation
template<class View >
| Gecode::Int::LDSB::SymmetryImp< View >::~SymmetryImp | ( | void | ) | [inline, virtual] |
Unused destructor.
Definition at line 48 of file sym-imp.hpp.
Member Function Documentation
template<class View>
| virtual ArgArray<Literal> Gecode::Int::LDSB::SymmetryImp< View >::symmetric | ( | Literal | , | |
| const ViewArray< View > & | ||||
| ) | const [pure virtual] |
Compute symmetric literals.
Implemented in Gecode::Int::LDSB::VariableSymmetryImp< View >, Gecode::Int::LDSB::ValueSymmetryImp< View >, Gecode::Int::LDSB::VariableSequenceSymmetryImp< View >, and Gecode::Int::LDSB::ValueSequenceSymmetryImp< View >.
template<class View>
| virtual void Gecode::Int::LDSB::SymmetryImp< View >::update | ( | Literal | ) | [pure virtual] |
template<class View>
| virtual SymmetryImp<View>* Gecode::Int::LDSB::SymmetryImp< View >::copy | ( | Space & | home | ) | const [pure virtual] |
template<class View>
| virtual size_t Gecode::Int::LDSB::SymmetryImp< View >::dispose | ( | Space & | home | ) | [pure virtual] |
template<class View >
| void * Gecode::Int::LDSB::SymmetryImp< View >::operator new | ( | size_t | s, | |
| Space & | home | |||
| ) | [inline, static] |
Placement new operator.
Definition at line 52 of file sym-imp.hpp.
template<class View >
| void Gecode::Int::LDSB::SymmetryImp< View >::operator delete | ( | void * | , | |
| Space & | ||||
| ) | [inline, static] |
Return memory to space.
Definition at line 58 of file sym-imp.hpp.
template<class View >
| void Gecode::Int::LDSB::SymmetryImp< View >::operator delete | ( | void * | ) | [inline, static] |
Needed for exceptions.
Definition at line 62 of file sym-imp.hpp.
The documentation for this class was generated from the following files:
- gecode/int/ldsb.hh
- gecode/int/ldsb/sym-imp.hpp