unshare.cc File Reference
(Revision: 6275)
#include "gecode/int/rel.hh"
#include "gecode/int/bool.hh"
Go to the source code of this file.
Namespaces | |
namespace | Gecode::Int::Unshare |
namespace | Gecode |
namespace | Gecode::Int |
Classes | |
class | Gecode::Int::Unshare::VarPtrLess< Var > |
Sort order for variables. More... | |
Functions | |
ExecStatus | Gecode::Int::Unshare::link (Space *home, IntVar **x, int n, IntConLevel icl) |
Return a fresh yet equal integer variable. | |
ExecStatus | Gecode::Int::Unshare::link (Space *home, BoolVar **x, int n, IntConLevel) |
Return a fresh yet equal Boolean variable. | |
template<class Var> | |
ExecStatus | Gecode::Int::Unshare::unshare (Space *home, VarArgArray< Var > &x, IntConLevel icl) |
Replace unassigned shared variables by fresh, yet equal variables. | |
void | Gecode::unshare (Space *home, IntVarArgs &x, IntConLevel icl=ICL_DEF, PropKind pk=PK_DEF) |
Replace multiple variable occurences in x by fresh variables. |