49 template<
class _View,
class _Val>
73 typedef typename View::VarType
Var;
147 template<
class View,
class Val>
150 template<
class View,
class Val>
153 template<
class View,
class Val>
158 template<
class View,
class Val>
176 typename View::VarType y(x.varimp());
229 :
MeritBase<
View,double>(home,vb), activity(vb.activity()) {}
250 activity.~Activity();
void update(int i)
Update activity value at position i.
BranchTraits< Var >::Merit Function
Corresponding merit function type.
MeritActivity(Space &home, const VarBranch &vb)
Constructor for initialization.
double operator()(const Space &home, View x, int i)
Return degree as merit for view x at position i.
void dispose(Space &home)
Dispose view selection.
Base-class for merit class.
bool notice(void) const
Whether dispose must always be called (that is, notice is needed)
unsigned int operator()(const Space &home, View x, int i)
Return degree as merit for view x at position i.
bool notice(void) const
Whether dispose must always be called (that is, notice is needed)
Merit class for activity.
Gecode::IntArgs i(4, 1, 2, 3, 4)
Class for AFC (accumulated failure count) management.
Merit class for user-defined merit function.
double operator()(const Space &home, View x, int i)
Return activity as merit for view x at position i.
F1 function_cast(F2 f)
Cast function pointer.
bool notice(void) const
Whether dispose must always be called (that is, notice is needed)
MeritFunction(Space &home, const VarBranch &vb)
Constructor for initialization.
MeritDegree(Space &home, const VarBranch &vb)
Constructor for initialization.
Function f
The user-defined merit function.
Variable branching information.
Node * x
Pointer to corresponding Boolean expression node.
void dispose(Space &home)
Dispose view selection.
Activity activity
Activity information.
bool shared(const ConstView< ViewA > &, const ConstView< ViewB > &)
Test whether views share same variable.
MeritBase(Space &home, const VarBranch &vb)
Constructor for initialization.
Gecode toplevel namespace
void update(Space &home, bool share, AFC &a)
Updating during cloning.
void dispose(Space &home)
Delete view merit class.
Class for activity management.
double operator()(const Space &home, View x, int i)
Return AFC as merit for view x at position i.
View::VarType Var
Corresponding variable type.
MeritAFC(Space &home, const VarBranch &vb)
Constructor for initialization.