46 template<
class _View,
class _Val>
69 typename BranchTraits<typename View::VarType>::ValType> {
76 typedef typename View::VarType
Var;
94 template<
class View,
class Val>
97 template<
class View,
class Val>
100 template<
class View,
class Val>
105 template<
class View,
class Val>
124 typename View::VarType y(x.varimp());
User-defined value selection.
ValSelFunction(Space &home, const ValBranch &vb)
Constructor for initialization.
ValSel(Space &home, const ValBranch &vb)
Constructor for initialization.
Gecode::IntArgs i(4, 1, 2, 3, 4)
View::VarType Var
The corresponding variable type.
F1 function_cast(F2 f)
Cast function pointer.
void dispose(Space &home)
Delete value selection.
bool notice(void) const
Whether dispose must always be called (that is, notice is needed)
Value branching information.
Node * x
Pointer to corresponding Boolean expression node.
Val val(const Space &home, View x, int i)
Return user-defined value of view x at position i.
bool shared(const ConstView< ViewA > &, const ConstView< ViewB > &)
Test whether views share same variable.
Gecode toplevel namespace
ValSel< View, typename BranchTraits< typename View::VarType >::ValType >::Val Val
The corresponding value type.
BranchTraits< Var >::Val ValFunction
The corresponding value function.
Base class for value selection.
ValFunction v
The user-defined value function.