46 template<
class _View,
class _Val>
71 typename BranchTraits<typename View::VarType>::ValType> {
90 Val val(
const Space& home, View
x,
int i);
100 template<
class View,
class Val>
103 template<
class View,
class Val>
106 template<
class View,
class Val>
111 template<
class View,
class Val>
132 typename View::VarType
y(x.varimp());
134 return v()(home,
y,
i);
SharedData< ValFunction > v
The user-defined value function.
View::VarType Var
Corresponding variable type.
User-defined value selection.
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)
~SharedData(void)
Destructors.
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.
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.