46 template<
class _View,
class _Val>
71 typename BranchTraits<typename View::VarType>::ValType> {
100 template<
class View,
class Val>
103 template<
class View,
class Val>
106 template<
class View,
class Val>
111 template<
class View,
class Val>
134 typename View::VarType
y(
x.
varimp());
136 return v()(home,
y,
i);
SharedData< ValFunction > v
The user-defined value function.
void update(Space &home, bool share, SharedHandle &sh)
Update during cloning.
View::VarType Var
Corresponding variable type.
User-defined value selection.
VarImp * varimp(void) const
Return variable implementation of variable.
bool notice(void) const
Whether dispose must always be called (that is, notice is needed)
ValSel(Space &home, const ValBranch< Var > &vb)
Constructor for initialization.
void dispose(Space &home)
Delete value selection.
Gecode::IntArgs i(4, 1, 2, 3, 4)
void dispose(Space &home)
Delete value selection.
bool notice(void) const
Whether dispose must always be called (that is, notice is needed)
Exception: invalid function
#define GECODE_VALID_FUNCTION(f)
Assert that a function is valid.
Post propagator for SetVar SetOpType SetVar y
Value branching information.
Post propagator for SetVar x
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.
ValSelFunction(Space &home, const ValBranch< Var > &vb)
Constructor for initialization.
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.