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.