Symmetry breaking for set variables. More...
Classes | |
class | LDSBSetBrancher |
Symmetry-breaking brancher with generic view and value selection. More... | |
class | VariableMap |
Map from variable implementation to index. More... | |
Functions | |
template<class View > | |
ValueSymmetryImp< View > * | specialUpdate (Space &home, ValueSymmetryImp< View > *s, IntSet usedValues) |
Bulk update of a value symmetry s, using usedValues. More... | |
bool | equalLUB (const Set::SetView &x, const Set::SetView &y) |
Do two set variables have equal least-upper-bounds? More... | |
SymmetryImp< SetView > * | createSetSym (Space &home, const SymmetryHandle &s, VariableMap variableMap) |
Symmetry breaking for set variables.
ValueSymmetryImp<View>* Gecode::Set::LDSB::specialUpdate | ( | Space & | home, |
ValueSymmetryImp< View > * | s, | ||
IntSet | usedValues | ||
) |
Bulk update of a value symmetry s, using usedValues.
Calculates the intersection and difference of the values in the symmetry and usedValues, updates the symmetry to eliminate the used values, and makes a new symmetry containing the intersection values, if there are at least two. Returns the new symmetry, or NULL if the intersection has fewer than two elements.
Definition at line 100 of file brancher.hpp.
bool Gecode::Set::LDSB::equalLUB | ( | const Set::SetView & | x, |
const Set::SetView & | y | ||
) |
Do two set variables have equal least-upper-bounds?
Definition at line 45 of file sym-imp.cpp.
SymmetryImp<SetView>* Gecode::Set::LDSB::createSetSym | ( | Space & | home, |
const SymmetryHandle & | s, | ||
VariableMap | variableMap | ||
) |