Generated on Sat Feb 7 2015 02:01:36 for Gecode by doxygen 1.8.9.1

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...
 

Detailed Description

Function Documentation

SymmetryHandle Gecode::VariableSymmetry ( const IntVarArgs vars)

Variables in x are interchangeable.

Definition at line 66 of file ldsb.cpp.

SymmetryHandle Gecode::VariableSymmetry ( const BoolVarArgs vars)

Variables in x are interchangeable.

Definition at line 72 of file ldsb.cpp.

SymmetryHandle Gecode::VariableSymmetry ( const IntVarArgs x,
const IntArgs indices 
)

Specified variables in x are interchangeable.

Definition at line 78 of file ldsb.cpp.

SymmetryHandle Gecode::ValueSymmetry ( const IntArgs vs)

Values in v are interchangeable.

Definition at line 85 of file ldsb.cpp.

SymmetryHandle Gecode::ValueSymmetry ( const IntSet vs)

Values in v are interchangeable.

Definition at line 88 of file ldsb.cpp.

SymmetryHandle Gecode::ValueSymmetry ( IntVar  x)

All values in the domain of the given variable are interchangeable.

Definition at line 91 of file ldsb.cpp.

SymmetryHandle Gecode::VariableSequenceSymmetry ( const IntVarArgs 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 94 of file ldsb.cpp.

SymmetryHandle Gecode::VariableSequenceSymmetry ( const BoolVarArgs 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 100 of file ldsb.cpp.

SymmetryHandle Gecode::ValueSequenceSymmetry ( const IntArgs v,
int  ss 
)

Value sequences in v of size ss are interchangeable.

The size of v must be a multiple of ss.

Definition at line 106 of file ldsb.cpp.

SymmetryHandle Gecode::values_reflect ( int  lower,
int  upper 
)

The values from lower to upper (inclusive) can be reflected.

Definition at line 110 of file ldsb.cpp.

SymmetryHandle Gecode::values_reflect ( IntVar  x)

The values in the domain of can be reflected.