Generated on Thu Apr 11 14:00:05 2019 for Gecode by doxygen 1.6.3

Gecode::Int::Unshare Namespace Reference

Unsharing shared variables. More...

Classes

class  VarPtrLess
 Sort order for variables. More...

Functions

void link (Home home, IntVar **x, int n, IntPropLevel ipl)
 Replace by fresh yet equal integer variables.
void link (Home home, BoolVar **x, int n, IntPropLevel)
 Replace by fresh yet equal Boolean variables.
template<class Var >
void unshare (Home home, VarArgArray< Var > &x, IntPropLevel ipl)
 Replace unassigned shared variables by fresh, yet equal variables.

Detailed Description

Unsharing shared variables.


Function Documentation

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

Replace by fresh yet equal integer variables.

Definition at line 57 of file unshare.cpp.

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

Replace by fresh yet equal Boolean variables.

Definition at line 87 of file unshare.cpp.

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

Replace unassigned shared variables by fresh, yet equal variables.

Definition at line 108 of file unshare.cpp.