Generated on Fri Mar 20 15:56:35 2015 for Gecode by doxygen 1.6.3

Symmetry declarations
[Branching]

Classes

class  Gecode::Symmetries
 Collection of symmetries. More...

Functions

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

Function Documentation

SymmetryHandle Gecode::VariableSymmetry ( const IntVarArgs &  vars  ) 

Variables in x are interchangeable.

SymmetryHandle Gecode::VariableSymmetry ( const BoolVarArgs &  vars  ) 

Variables in x are interchangeable.

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

Specified variables in x are interchangeable.

SymmetryHandle Gecode::ValueSymmetry ( const IntArgs &  vs  ) 

Values in v are interchangeable.

SymmetryHandle Gecode::ValueSymmetry ( const IntSet &  vs  ) 

Values in v are interchangeable.

SymmetryHandle Gecode::ValueSymmetry ( IntVar  x  ) 

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

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.

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.

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.

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

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

SymmetryHandle Gecode::values_reflect ( IntVar  x  ) 

The values in the domain of can be reflected.