Gecode::Int::LDSB::ValueSymmetryImp< View > Class Template Reference
Implementation of a value symmetry. More...
#include <ldsb.hh>
Public Member Functions | |
| ValueSymmetryImp (Space &home, int *vs, unsigned int n) | |
| Constructor for creation. | |
| ValueSymmetryImp (Space &home, const ValueSymmetryImp< View > &other) | |
| 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, bool share) 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 |
Public Attributes | |
| Support::BitSetOffset< Space > | values |
| Symmetric values. | |
Detailed Description
template<class View>
class Gecode::Int::LDSB::ValueSymmetryImp< View >
Implementation of a value symmetry.
Definition at line 207 of file ldsb.hh.
Constructor & Destructor Documentation
| Gecode::Int::LDSB::ValueSymmetryImp< View >::ValueSymmetryImp | ( | Space & | home, | |
| int * | vs, | |||
| unsigned int | n | |||
| ) | [inline] |
Constructor for creation.
Definition at line 128 of file sym-imp.hpp.
| Gecode::Int::LDSB::ValueSymmetryImp< View >::ValueSymmetryImp | ( | Space & | home, | |
| const ValueSymmetryImp< View > & | other | |||
| ) | [inline] |
Copy constructor.
Definition at line 150 of file sym-imp.hpp.
Member Function Documentation
| size_t Gecode::Int::LDSB::ValueSymmetryImp< View >::dispose | ( | Space & | home | ) | [inline, virtual] |
Disposal.
Implements Gecode::Int::LDSB::SymmetryImp< View >.
Definition at line 156 of file sym-imp.hpp.
| void Gecode::Int::LDSB::ValueSymmetryImp< View >::update | ( | Literal | l | ) | [inline, virtual] |
Left-branch update.
Implements Gecode::Int::LDSB::SymmetryImp< View >.
Definition at line 164 of file sym-imp.hpp.
| virtual ArgArray<Literal> Gecode::Int::LDSB::ValueSymmetryImp< View >::symmetric | ( | Literal | , | |
| const ViewArray< View > & | ||||
| ) | const [virtual] |
Compute symmetric literals.
Implements Gecode::Int::LDSB::SymmetryImp< View >.
| SymmetryImp< View > * Gecode::Int::LDSB::ValueSymmetryImp< View >::copy | ( | Space & | home, | |
| bool | share | |||
| ) | const [inline, virtual] |
Copy function.
Implements Gecode::Int::LDSB::SymmetryImp< View >.
Definition at line 172 of file sym-imp.hpp.
| ArgArray< Literal > Gecode::Int::LDSB::ValueSymmetryImp< IntView >::symmetric | ( | Literal | l, | |
| const ViewArray< IntView > & | x | |||
| ) | const [inline] |
Definition at line 83 of file sym-imp.cpp.
| ArgArray< Literal > Gecode::Int::LDSB::ValueSymmetryImp< BoolView >::symmetric | ( | Literal | l, | |
| const ViewArray< BoolView > & | x | |||
| ) | const [inline] |
Definition at line 102 of file sym-imp.cpp.
| ArgArray< Literal > Gecode::Int::LDSB::ValueSymmetryImp< Set::SetView >::symmetric | ( | Literal | l, | |
| const ViewArray< Set::SetView > & | x | |||
| ) | const [inline] |
Definition at line 81 of file sym-imp.cpp.
Member Data Documentation
| Support::BitSetOffset<Space> Gecode::Int::LDSB::ValueSymmetryImp< View >::values |
The documentation for this class was generated from the following files:
- gecode/int/ldsb.hh (Revision: 15623)
- gecode/int/ldsb/sym-imp.hpp (Revision: 15120)