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) const |
Copy function. | |
ArgArray< Literal > | symmetric (Literal l, const ViewArray< IntView > &x) const |
Compute symmetric literals. | |
ArgArray< Literal > | symmetric (Literal l, const ViewArray< BoolView > &x) const |
Compute symmetric literals. | |
ArgArray< Literal > | symmetric (Literal l, const ViewArray< Set::SetView > &x) const |
![]() | |
virtual | ~SymmetryImp (void) |
Unused destructor. | |
Public Attributes | |
Support::BitSetOffset< Space > | values |
Symmetric values. | |
Additional Inherited Members | |
![]() | |
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. | |
Implementation of a value symmetry.
Gecode::Int::LDSB::ValueSymmetryImp< View >::ValueSymmetryImp | ( | Space & | home, |
int * | vs, | ||
unsigned int | n ) |
Constructor for creation.
Definition at line 122 of file sym-imp.hpp.
Gecode::Int::LDSB::ValueSymmetryImp< View >::ValueSymmetryImp | ( | Space & | home, |
const ValueSymmetryImp< View > & | other ) |
Copy constructor.
Definition at line 144 of file sym-imp.hpp.
|
virtual |
Disposal.
Implements Gecode::Int::LDSB::SymmetryImp< View >.
Definition at line 150 of file sym-imp.hpp.
|
virtual |
Left-branch update.
Implements Gecode::Int::LDSB::SymmetryImp< View >.
Definition at line 158 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 165 of file sym-imp.hpp.
ArgArray< Literal > Gecode::Int::LDSB::ValueSymmetryImp< IntView >::symmetric | ( | Literal | l, |
const ViewArray< IntView > & | x ) const |
Compute symmetric literals.
Definition at line 81 of file sym-imp.cpp.
ArgArray< Literal > Gecode::Int::LDSB::ValueSymmetryImp< BoolView >::symmetric | ( | Literal | l, |
const ViewArray< BoolView > & | x ) const |
Compute symmetric literals.
Definition at line 100 of file sym-imp.cpp.
ArgArray< Literal > Gecode::Int::LDSB::ValueSymmetryImp< Set::SetView >::symmetric | ( | Literal | l, |
const ViewArray< Set::SetView > & | x ) const |
Definition at line 77 of file sym-imp.cpp.
Support::BitSetOffset<Space> Gecode::Int::LDSB::ValueSymmetryImp< View >::values |