Gecode::Int::LDSB::ValueSequenceSymmetryImp< View > Class Template Reference
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. | |
| ValueSequenceSymmetryImp (Space &home, const ValueSequenceSymmetryImp< View > &vss) | |
| Copy constructor. | |
| virtual size_t | dispose (Space &home) |
| Disposal. | |
| void | update (Literal) |
| Left-branch update. | |
| virtual ArgArray< Literal > | symmetric (Literal, const ViewArray< View > &) const |
| Compute symmetric literals. | |
| SymmetryImp< View > * | copy (Space &home) const |
| Copy function. | |
| 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.). | |
Protected Attributes | |
| int * | values |
| Set of sequences. | |
| unsigned int | n_values |
| Total number of values (n_seqs * seq_size). | |
| unsigned int | seq_size |
| Size of each sequence in symmetry. | |
| unsigned int | n_seqs |
| Number of sequences in symmetry. | |
| Support::BitSet< Space > | dead_sequences |
| Which sequences are dead. | |
Detailed Description
template<class View>
class Gecode::Int::LDSB::ValueSequenceSymmetryImp< View >
Implementation of a value sequence symmetry.
Definition at line 265 of file ldsb.hh.
Constructor & Destructor Documentation
| Gecode::Int::LDSB::ValueSequenceSymmetryImp< View >::ValueSequenceSymmetryImp | ( | Space & | home, | |
| int * | _values, | |||
| unsigned int | n, | |||
| unsigned int | seqsize | |||
| ) | [inline] |
Constructor for creation.
Definition at line 293 of file sym-imp.hpp.
| Gecode::Int::LDSB::ValueSequenceSymmetryImp< View >::ValueSequenceSymmetryImp | ( | Space & | home, | |
| const ValueSequenceSymmetryImp< View > & | vss | |||
| ) | [inline] |
Copy constructor.
Definition at line 304 of file sym-imp.hpp.
Member Function Documentation
| int Gecode::Int::LDSB::ValueSequenceSymmetryImp< View >::getVal | ( | unsigned int | sequence, | |
| unsigned int | position | |||
| ) | const [inline, protected] |
Get the value in the specified sequence at the specified position. (Both are zero-based.).
Definition at line 287 of file sym-imp.hpp.
| size_t Gecode::Int::LDSB::ValueSequenceSymmetryImp< View >::dispose | ( | Space & | home | ) | [inline, virtual] |
Disposal.
Implements Gecode::Int::LDSB::SymmetryImp< View >.
Definition at line 318 of file sym-imp.hpp.
| void Gecode::Int::LDSB::ValueSequenceSymmetryImp< View >::update | ( | Literal | l | ) | [inline, virtual] |
Left-branch update.
Implements Gecode::Int::LDSB::SymmetryImp< View >.
Definition at line 326 of file sym-imp.hpp.
| virtual ArgArray<Literal> Gecode::Int::LDSB::ValueSequenceSymmetryImp< View >::symmetric | ( | Literal | , | |
| const ViewArray< View > & | ||||
| ) | const [virtual] |
Compute symmetric literals.
Implements Gecode::Int::LDSB::SymmetryImp< View >.
| SymmetryImp< View > * Gecode::Int::LDSB::ValueSequenceSymmetryImp< View >::copy | ( | Space & | home | ) | const [inline, virtual] |
Copy function.
Implements Gecode::Int::LDSB::SymmetryImp< View >.
Definition at line 349 of file sym-imp.hpp.
| ArgArray< Literal > Gecode::Int::LDSB::ValueSequenceSymmetryImp< Int::IntView >::symmetric | ( | Literal | l, | |
| const ViewArray< IntView > & | x | |||
| ) | const [inline] |
Definition at line 118 of file sym-imp.cpp.
| ArgArray< Literal > Gecode::Int::LDSB::ValueSequenceSymmetryImp< BoolView >::symmetric | ( | Literal | l, | |
| const ViewArray< BoolView > & | x | |||
| ) | const [inline] |
Definition at line 139 of file sym-imp.cpp.
| ArgArray< Literal > Gecode::Int::LDSB::ValueSequenceSymmetryImp< Set::SetView >::symmetric | ( | Literal | l, | |
| const ViewArray< Set::SetView > & | x | |||
| ) | const [inline] |
Definition at line 140 of file sym-imp.cpp.
Member Data Documentation
int* Gecode::Int::LDSB::ValueSequenceSymmetryImp< View >::values [protected] |
unsigned int Gecode::Int::LDSB::ValueSequenceSymmetryImp< View >::n_values [protected] |
unsigned int Gecode::Int::LDSB::ValueSequenceSymmetryImp< View >::seq_size [protected] |
unsigned int Gecode::Int::LDSB::ValueSequenceSymmetryImp< View >::n_seqs [protected] |
Support::BitSet<Space> Gecode::Int::LDSB::ValueSequenceSymmetryImp< View >::dead_sequences [protected] |
The documentation for this class was generated from the following files:
- gecode/int/ldsb.hh
- gecode/int/ldsb/sym-imp.hpp