
Implementation of a variable sequence symmetry. More...
#include <ldsb.hh>
Public Member Functions | |
| VariableSequenceSymmetryImp (Space &home, int *_indices, unsigned int n, unsigned int seqsize) | |
| Constructor for creation. More... | |
| VariableSequenceSymmetryImp (Space &home, bool share, const VariableSequenceSymmetryImp< View > &s) | |
| Copy constructor. More... | |
| virtual size_t | dispose (Space &home) |
| Disposal. More... | |
| void | update (Literal) |
| Search left-branch update. More... | |
| virtual ArgArray< Literal > | symmetric (Literal, const ViewArray< View > &) const |
| Compute symmetric literals. More... | |
| SymmetryImp< View > * | copy (Space &home, bool share) const |
| Copy function. More... | |
| template<> | |
| ArgArray< Literal > | symmetric (Literal l, const ViewArray< Set::SetView > &x) const |
| template<> | |
| ArgArray< Literal > | symmetric (Literal l, const ViewArray< Set::SetView > &x) const |
Protected Member Functions | |
| int | getVal (unsigned int sequence, unsigned int position) const |
| Get the value in the specified sequence at the specified position. (Both are zero-based.) More... | |
Protected Attributes | |
| unsigned int * | indices |
| Array of variable indices. More... | |
| unsigned int | n_indices |
| Total number of indices (n_seqs * seq_size) More... | |
| unsigned int | seq_size |
| Size of each sequence in symmetry. More... | |
| unsigned int | n_seqs |
| Number of sequences in symmetry. More... | |
| int * | lookup |
| Map from variable's index to its sequence and position. More... | |
| unsigned int | lookup_size |
| Size of lookup. More... | |
Additional Inherited Members | |
Static Public Member Functions inherited from Gecode::Int::LDSB::SymmetryImp< View > | |
| 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 variable sequence symmetry.
| Gecode::Int::LDSB::VariableSequenceSymmetryImp< View >::VariableSequenceSymmetryImp | ( | Space & | home, |
| int * | _indices, | ||
| unsigned int | n, | ||
| unsigned int | seqsize | ||
| ) |
Constructor for creation.
Definition at line 185 of file sym-imp.hpp.
| Gecode::Int::LDSB::VariableSequenceSymmetryImp< View >::VariableSequenceSymmetryImp | ( | Space & | home, |
| bool | share, | ||
| const VariableSequenceSymmetryImp< View > & | s | ||
| ) |
Copy constructor.
Definition at line 208 of file sym-imp.hpp.
|
protected |
Get the value in the specified sequence at the specified position. (Both are zero-based.)
Definition at line 179 of file sym-imp.hpp.
|
virtual |
Disposal.
Implements Gecode::Int::LDSB::SymmetryImp< View >.
Definition at line 222 of file sym-imp.hpp.
|
virtual |
Search left-branch update.
Implements Gecode::Int::LDSB::SymmetryImp< View >.
Definition at line 275 of file sym-imp.hpp.
|
virtual |
Compute symmetric literals.
Implements Gecode::Int::LDSB::SymmetryImp< View >.
Definition at line 232 of file sym-imp.hpp.
|
virtual |
Copy function.
Implements Gecode::Int::LDSB::SymmetryImp< View >.
Definition at line 283 of file sym-imp.hpp.
| ArgArray< Literal > Gecode::Int::LDSB::VariableSequenceSymmetryImp< Set::SetView >::symmetric | ( | Literal | l, |
| const ViewArray< Set::SetView > & | x | ||
| ) | const |
Definition at line 101 of file sym-imp.cpp.
| ArgArray< Literal > Gecode::Int::LDSB::VariableSequenceSymmetryImp< Set::SetView >::symmetric | ( | Literal | l, |
| const ViewArray< Set::SetView > & | x | ||
| ) | const |
|
protected |
|
protected |
|
protected |
|
protected |
|
protected |
|
protected |