Generated on Sat Feb 7 2015 02:01:49 for Gecode by doxygen 1.8.9.1
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, IntConLevel icl)
 Return a fresh yet equal integer variable. More...
 
ExecStatus link (Home home, BoolVar **x, int n, IntConLevel)
 Return a fresh yet equal Boolean variable. More...
 
template<class Var >
ExecStatus unshare (Home home, VarArgArray< Var > &x, IntConLevel icl)
 Replace unassigned shared variables by fresh, yet equal variables. More...
 

Detailed Description

Unsharing shared variables.

Function Documentation

ExecStatus Gecode::Int::Unshare::link ( Home  home,
IntVar **  x,
int  n,
IntConLevel  icl 
)
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,
IntConLevel   
)
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,
IntConLevel  icl 
)
inline

Replace unassigned shared variables by fresh, yet equal variables.

Definition at line 106 of file unshare.cpp.