(Revision: 13639)
#include <gecode/set/ldsb.hh>
#include <gecode/set/branch.hh>
#include <map>
Go to the source code of this file.
|
SymmetryHandle | Gecode::VariableSymmetry (const SetVarArgs &x) |
| Variables in x are interchangeable. More...
|
|
SymmetryHandle | Gecode::VariableSequenceSymmetry (const SetVarArgs &x, int ss) |
| Variable sequences in x of size ss are interchangeable. More...
|
|
template<> |
ModEvent | Gecode::Int::LDSB::prune< Set::SetView > (Space &home, Set::SetView x, int v) |
|
SymmetryImp< SetView > * | Gecode::Set::LDSB::createSetSym (Space &home, const SymmetryHandle &s, VariableMap variableMap) |
|
BrancherHandle | Gecode::branch (Home home, const SetVarArgs &x, SetVarBranch vars, SetValBranch vals, const Symmetries &syms, SetBranchFilter bf=NULL, SetVarValPrint vvp=NULL) |
| Branch over x with variable selection vars and value selection vals with symmetry breaking. More...
|
|
BrancherHandle | Gecode::branch (Home home, const SetVarArgs &x, TieBreak< SetVarBranch > vars, SetValBranch vals, const Symmetries &syms, SetBranchFilter bf=NULL, SetVarValPrint vvp=NULL) |
| Branch over x with tie-breaking variable selection vars and value selection vals with symmetry breaking. More...
|
|