Implementation of a value sequence symmetry. More...
#include <ldsb.hh>
Public Member Functions | |
ValueSequenceSymmetryImp (Space &home, int *_values, unsigned int n, unsigned int seqsize) | |
Constructor for creation. More... | |
ValueSequenceSymmetryImp (Space &home, const ValueSequenceSymmetryImp< View > &vss) | |
Copy constructor. More... | |
virtual size_t | dispose (Space &home) |
Disposal. More... | |
void | update (Literal) |
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< IntView > &x) const |
template<> | |
ArgArray< Literal > | symmetric (Literal l, const ViewArray< BoolView > &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 | |
int * | values |
Set of sequences. More... | |
unsigned int | n_values |
Total number of values (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... | |
Support::BitSet< Space > | dead_sequences |
Which sequences are dead. More... | |
Additional Inherited Members | |
![]() | |
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 value sequence symmetry.
Gecode::Int::LDSB::ValueSequenceSymmetryImp< View >::ValueSequenceSymmetryImp | ( | Space & | home, |
int * | _values, | ||
unsigned int | n, | ||
unsigned int | seqsize | ||
) |
Constructor for creation.
Definition at line 298 of file sym-imp.hpp.
Gecode::Int::LDSB::ValueSequenceSymmetryImp< View >::ValueSequenceSymmetryImp | ( | Space & | home, |
const ValueSequenceSymmetryImp< View > & | vss | ||
) |
Copy constructor.
Definition at line 309 of file sym-imp.hpp.
|
protected |
Get the value in the specified sequence at the specified position. (Both are zero-based.)
Definition at line 292 of file sym-imp.hpp.
|
virtual |
Disposal.
Implements Gecode::Int::LDSB::SymmetryImp< View >.
Definition at line 323 of file sym-imp.hpp.
|
virtual |
Left-branch update.
Implements Gecode::Int::LDSB::SymmetryImp< View >.
Definition at line 331 of file sym-imp.hpp.
|
virtual |
Compute symmetric literals.
Implements Gecode::Int::LDSB::SymmetryImp< View >.
|
virtual |
Copy function.
Implements Gecode::Int::LDSB::SymmetryImp< View >.
Definition at line 354 of file sym-imp.hpp.
ArgArray< Literal > Gecode::Int::LDSB::ValueSequenceSymmetryImp< Int::IntView >::symmetric | ( | Literal | l, |
const ViewArray< IntView > & | x | ||
) | const |
Definition at line 124 of file sym-imp.cpp.
ArgArray< Literal > Gecode::Int::LDSB::ValueSequenceSymmetryImp< BoolView >::symmetric | ( | Literal | l, |
const ViewArray< BoolView > & | x | ||
) | const |
Definition at line 144 of file sym-imp.cpp.
ArgArray< Literal > Gecode::Int::LDSB::ValueSequenceSymmetryImp< Set::SetView >::symmetric | ( | Literal | l, |
const ViewArray< Set::SetView > & | x | ||
) | const |
Definition at line 143 of file sym-imp.cpp.
|
protected |
|
protected |
|
protected |
|
protected |
|
protected |