40 #ifndef __GECODE_FLOAT_BRANCH_HH__
41 #define __GECODE_FLOAT_BRANCH_HH__
50 namespace Gecode {
namespace Float {
namespace Branch {
178 namespace Gecode {
namespace Float {
namespace Branch {
182 ViewSel<FloatView>*
viewsel(Space& home,
const FloatVarBranch& fvb);
186 namespace Gecode {
namespace Float {
namespace Branch {
259 namespace Gecode {
namespace Float {
namespace Branch {
293 std::ostream& o)
const;
300 namespace Gecode {
namespace Float {
namespace Branch {
304 ValSelCommitBase<FloatView,FloatNumBranch>*
309 ValSelCommitBase<FloatView,FloatNumBranch>*
#define GECODE_FLOAT_EXPORT
double operator()(const Space &home, FloatView x, int i)
Return size over AFC as merit for view x at position i.
Value selection class for random value of view.
Merit class for size over activity.
Rnd r
The used random number generator.
Merit class for size over afc.
ValSelGq(Space &home, const ValBranch &vb)
Constructor for initialization.
double operator()(const Space &home, FloatView x, int i)
Return size over degree as merit for view x at position i.
Value commit class for less or equal or greater or equal.
int ModEvent
Type for modification events.
ValCommitLqGq(Space &home, const ValBranch &vb)
Constructor for initialization.
Base-class for merit class.
ModEvent commit(Space &home, unsigned int a, FloatView x, int i, FloatNumBranch n)
Commit view x at position i to value n for alternative a.
void dispose(Space &home)
Dispose view selection.
Merit class for maximum of float view.
FloatNumBranch val(const Space &home, FloatView x, int i)
Return value of view x at position i.
void print(const Space &home, unsigned int a, FloatView x, int i, FloatNumBranch n, std::ostream &o) const
Print on o the alternative with view x at position i and value n.
Base class for value commit.
ValSelLq(Space &home, const ValBranch &vb)
Constructor for initialization.
Activity activity
Activity information.
Value selection class for values smaller than median of view.
Gecode::IntArgs i(4, 1, 2, 3, 4)
Class for AFC (accumulated failure count) management.
double operator()(const Space &home, FloatView x, int i)
Return size over activity as merit for view x at position i.
int n
Number of negative literals for node type.
double operator()(const Space &home, FloatView x, int i)
Return minimum as merit for view x at position i.
Value description class for branching.
double operator()(const Space &home, FloatView x, int i)
Return size as merit for view x at position i.
FloatNumBranch val(const Space &home, FloatView x, int i)
Return value of view x at position i.
MeritDegreeSize(Space &home, const VarBranch &vb)
Constructor for initialization.
FloatNumBranch val(const Space &home, FloatView x, int i)
Return value of view x at position i.
MeritActivitySize(Space &home, const VarBranch &vb)
Constructor for initialization.
bool notice(void) const
Whether dispose must always be called (that is, notice is needed)
double operator()(const Space &home, FloatView x, int i)
Return maximum as merit for view x at position i.
void dispose(Space &home)
Dispose view selection.
ViewSel< FloatView > * viewsel(Space &home, const FloatVarBranch &fvb)
Return view selectors for float views.
void dispose(Space &home)
Delete value selection.
bool notice(void) const
Whether dispose must always be called (that is, notice is needed)
Float view for float variables.
Value selection class for values smaller than median of view.
MeritMin(Space &home, const VarBranch &vb)
Constructor for initialization.
Value branching information.
Variable branching information.
Node * x
Pointer to corresponding Boolean expression node.
ValSelRnd(Space &home, const ValBranch &vb)
Constructor for initialization.
bool notice(void) const
Whether dispose must always be called (that is, notice is needed)
MeritSize(Space &home, const VarBranch &vb)
Constructor for initialization.
NGL * ngl(Space &home, unsigned int a, FloatView x, FloatNumBranch n) const
Create no-good literal for alternative a.
MeritAFCSize(Space &home, const VarBranch &vb)
Constructor for initialization.
bool shared(const ConstView< ViewA > &, const ConstView< ViewB > &)
Test whether views share same variable.
Merit class for size over degree.
Gecode toplevel namespace
Class for activity management.
MeritMax(Space &home, const VarBranch &vb)
Constructor for initialization.
ValSelCommitBase< FloatView, FloatNumBranch > * valselcommit(Space &home, const FloatValBranch &fvb)
Return value and commit for float views.
struct Gecode::@518::NNF::@57::@59 a
For atomic nodes.
Merit class for size of float view.
Base class for value selection.
No-good literal recorded during search.