Gecode::Int::Unshare Namespace Reference

Unsharing shared variables. More...

Classes
class	VarPtrLess
	Sort order for variables. More...
Functions
ExecStatus	link (Home home, IntVar **x, int n, IntPropLevel ipl)
	Return a fresh yet equal integer variable.
ExecStatus	link (Home home, BoolVar **x, int n, IntPropLevel)
	Return a fresh yet equal Boolean variable.
template<class Var >
ExecStatus	unshare (Home home, VarArgArray< Var > &x, IntPropLevel ipl)
	Replace unassigned shared variables by fresh, yet equal variables.

Detailed Description

Unsharing shared variables.

ExecStatus Gecode::Int::Unshare::link	(	Home	home,
		IntVar **	x,
		int	n,
		IntPropLevel	ipl
	)			`[inline]`

Return a fresh yet equal integer variable.

Definition at line 63 of file unshare.cpp.

ExecStatus Gecode::Int::Unshare::link	(	Home	home,
		BoolVar **	x,
		int	n,
		IntPropLevel
	)			`[inline]`

Return a fresh yet equal Boolean variable.

Definition at line 89 of file unshare.cpp.

template<class Var >

ExecStatus Gecode::Int::Unshare::unshare	(	Home	home,
		VarArgArray< Var > &	x,
		IntPropLevel	ipl
	)			`[inline]`

Replace unassigned shared variables by fresh, yet equal variables.

Definition at line 106 of file unshare.cpp.