45 template<
class _View,
class _Val>
82 double operator ()(
const Space& home,
View x,
int i);
101 unsigned int operator ()(
const Space& home,
View x,
int i);
119 double operator ()(
const Space& home,
View x,
int i);
141 double operator ()(
const Space& home,
View x,
int i);
164 double operator ()(
const Space& home,
View x,
int i);
174 template<
class View,
class Val>
177 template<
class View,
class Val>
180 template<
class View,
class Val>
185 template<
class View,
class Val>
205 typename View::VarType
y(x.varimp());
207 return f()(home,
y,
i);
void dispose(Space &home)
Dispose view selection.
bool notice(void) const
Whether dispose must always be called (that is, notice is needed)
MeritDegree(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
BranchTraits< Var >::Merit Function
Corresponding merit function type.
double operator()(const Space &home, View x, int i)
Return degree as merit for view x at position i.
View::VarType Var
Corresponding variable type.
MeritAction(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
Base-class for merit class.
unsigned int operator()(const Space &home, View x, int i)
Return degree as merit for view x at position i.
MeritCHB(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
Action action
Action information.
Gecode::IntArgs i(4, 1, 2, 3, 4)
Class for AFC (accumulated failure count) management.
~SharedData(void)
Destructors.
MeritFunction(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
double operator()(const Space &home, View x, int i)
Return action as merit for view x at position i.
SharedData< Function > f
The user-defined merit function.
Merit class for user-defined merit function.
Class for CHB management.
bool notice(void) const
Whether dispose must always be called (that is, notice is needed)
Exception: invalid function
double operator()(const Space &home, View x, int i)
Return action as merit for view x at position i.
bool notice(void) const
Whether dispose must always be called (that is, notice is needed)
#define GECODE_VALID_FUNCTION(f)
Assert that a function is valid.
Post propagator for f(x \diamond_{\mathit{op}} y) \sim_r z \f$ void rel(Home home
Post propagator for SetVar SetOpType SetVar y
Variable branching information.
void dispose(Space &home)
Dispose view selection.
void dispose(Space &home)
Dispose view selection.
bool notice(void) const
Whether dispose must always be called (that is, notice is needed)
MeritBase(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
Post propagator for SetVar x
MeritAFC(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
void dispose(Space &home)
Delete view merit class.
Gecode toplevel namespace
Class for action management.
void dispose(Space &home)
Delete view merit class.
bool notice(void) const
Whether dispose must always be called (that is, notice is needed)
double operator()(const Space &home, View x, int i)
Return AFC as merit for view x at position i.