48 typedef typename View::VarType
Var;
57 operator bool(
void)
const;
71 typedef typename View::VarType
Var;
78 operator bool(
void)
const;
112 return f()(home,xv,i);
Class storing a branch filter function.
View::VarType Var
The corresponding variable type.
SharedData< BranchFilter< Var > > f
bool operator()(const Space &home, View x, int i) const
Invoke filter function.
BrancherFilter(BranchFilter< Var > bf)
Initialize.
bool notice(void) const
Whether dispose must always be called (that is, notice is needed)
void dispose(Space &home)
Delete object.
Class withot a branch filter function.
void dispose(Space &home)
Delete object.
bool operator()(const Space &home, View x, int i) const
Invoke filter function.
View::VarType Var
The corresponding variable type.
bool notice(void) const
Whether dispose must always be called (that is, notice is needed)
BrancherNoFilter(BranchFilter< Var > bf)
Initialize.
Exception: invalid function
Class for sharing data between spaces.
VarImp * varimp(void) const
Return variable implementation of variable.
Base class for variables.
Gecode toplevel namespace
Post propagator for SetVar x
std::function< bool(const Space &home, Var x, int i)> BranchFilter
Function type for branch filter functions.
#define GECODE_VALID_FUNCTION(f)
Assert that a function is valid.