
Classes | |
| class | Gecode::Symmetries |
| Collection of symmetries. More... | |
Functions | |
| SymmetryHandle | Gecode::VariableSymmetry (const IntVarArgs &x) |
| Variables in x are interchangeable. More... | |
| SymmetryHandle | Gecode::VariableSymmetry (const BoolVarArgs &x) |
| Variables in x are interchangeable. More... | |
| SymmetryHandle | Gecode::VariableSymmetry (const IntVarArgs &x, const IntArgs &indices) |
| Specified variables in x are interchangeable. More... | |
| SymmetryHandle | Gecode::ValueSymmetry (const IntArgs &v) |
| Values in v are interchangeable. More... | |
| SymmetryHandle | Gecode::ValueSymmetry (const IntSet &v) |
| Values in v are interchangeable. More... | |
| SymmetryHandle | Gecode::ValueSymmetry (IntVar vars) |
| All values in the domain of the given variable are interchangeable. More... | |
| SymmetryHandle | Gecode::VariableSequenceSymmetry (const IntVarArgs &x, int ss) |
| Variable sequences in x of size ss are interchangeable. More... | |
| SymmetryHandle | Gecode::VariableSequenceSymmetry (const BoolVarArgs &x, int ss) |
| Variable sequences in x of size ss are interchangeable. More... | |
| SymmetryHandle | Gecode::ValueSequenceSymmetry (const IntArgs &v, int ss) |
| Value sequences in v of size ss are interchangeable. More... | |
| SymmetryHandle | Gecode::values_reflect (int lower, int upper) |
| The values from lower to upper (inclusive) can be reflected. More... | |
| SymmetryHandle | Gecode::values_reflect (IntVar x) |
| The values in the domain of can be reflected. More... | |
| SymmetryHandle Gecode::VariableSymmetry | ( | const IntVarArgs & | vars | ) |
| SymmetryHandle Gecode::VariableSymmetry | ( | const BoolVarArgs & | vars | ) |
| SymmetryHandle Gecode::VariableSymmetry | ( | const IntVarArgs & | x, |
| const IntArgs & | indices | ||
| ) |
| SymmetryHandle Gecode::ValueSymmetry | ( | const IntArgs & | vs | ) |
| SymmetryHandle Gecode::ValueSymmetry | ( | const IntSet & | vs | ) |
| SymmetryHandle Gecode::ValueSymmetry | ( | IntVar | x | ) |
| SymmetryHandle Gecode::VariableSequenceSymmetry | ( | const IntVarArgs & | x, |
| int | ss | ||
| ) |
| SymmetryHandle Gecode::VariableSequenceSymmetry | ( | const BoolVarArgs & | x, |
| int | ss | ||
| ) |
| SymmetryHandle Gecode::ValueSequenceSymmetry | ( | const IntArgs & | v, |
| int | ss | ||
| ) |
| SymmetryHandle Gecode::values_reflect | ( | int | lower, |
| int | upper | ||
| ) |
| SymmetryHandle Gecode::values_reflect | ( | IntVar | x | ) |
The values in the domain of can be reflected.