40 using BranchFilter = std::function<bool(
const Space& home,
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 withot a branch filter function.
View::VarType Var
The corresponding variable type.
void dispose(Space &home)
Delete object.
SharedData< BranchFilter< Var > > f
bool notice(void) const
Whether dispose must always be called (that is, notice is needed)
bool notice(void) const
Whether dispose must always be called (that is, notice is needed)
BrancherFilter(BranchFilter< Var > bf)
Initialize.
Gecode::IntArgs i(4, 1, 2, 3, 4)
Class storing a branch filter function.
~SharedData(void)
Destructors.
std::function< bool(const Space &home, Var x, int i)> BranchFilter
Function type for branch filter functions.
bool operator()(const Space &home, View x, int i) const
Invoke filter function.
View::VarType Var
The corresponding variable type.
BrancherNoFilter(BranchFilter< Var > bf)
Initialize.
Exception: invalid function
#define GECODE_VALID_FUNCTION(f)
Assert that a function is valid.
Base class for variables.
Class for sharing data between spaces.
Post propagator for SetVar x
void dispose(Space &home)
Delete object.
Gecode toplevel namespace
bool operator()(const Space &home, View x, int i) const
Invoke filter function.