Generated on Wed Jul 21 2021 00:00:00 for Gecode by doxygen 1.9.1
ldsb.cpp File Reference
#include <gecode/set/ldsb.hh>
#include <gecode/set/branch.hh>
#include <map>

Go to the source code of this file.

Classes

class  Gecode::Set::LDSB::VariableMap
 Map from variable implementation to index. More...
 

Namespaces

 Gecode::Int
 Finite domain integers.
 
 Gecode::Int::LDSB
 Symmetry breaking for integer variables.
 
 Gecode::Set
 Finite integer sets.
 
 Gecode::Set::LDSB
 Symmetry breaking for set variables.
 

Functions

SymmetryHandle Gecode::VariableSymmetry (const SetVarArgs &x)
 
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)
 
void Gecode::branch (Home home, const SetVarArgs &x, SetVarBranch vars, SetValBranch vals, const Symmetries &syms, SetBranchFilter bf=nullptr, SetVarValPrint vvp=nullptr)
 Branch over x with variable selection vars and value selection vals with symmetry breaking. More...
 
void Gecode::branch (Home home, const SetVarArgs &x, TieBreak< SetVarBranch > vars, SetValBranch vals, const Symmetries &syms, SetBranchFilter bf=nullptr, SetVarValPrint vvp=nullptr)
 Branch over x with tie-breaking variable selection vars and value selection vals with symmetry breaking. More...
 

Function Documentation

◆ VariableSymmetry()

Variables in a x are interchangeable SymmetryHandle Gecode::VariableSymmetry ( const SetVarArgs x)

Definition at line 44 of file ldsb.cpp.

◆ VariableSequenceSymmetry()

SymmetryHandle Gecode::VariableSequenceSymmetry ( const SetVarArgs x,
int  ss 
)

Variable sequences in x of size ss are interchangeable.

The size of x must be a multiple of ss.

Definition at line 50 of file ldsb.cpp.