36#ifndef __GECODE_FLOAT_BRANCH_HH__
37#define __GECODE_FLOAT_BRANCH_HH__
46namespace Gecode {
namespace Float {
namespace Branch {
197namespace Gecode {
namespace Float {
namespace Branch {
201 ViewSel<FloatView>*
viewsel(Space& home,
const FloatVarBranch& fvb);
205namespace Gecode {
namespace Float {
namespace Branch {
278namespace Gecode {
namespace Float {
namespace Branch {
312 std::ostream& o)
const;
319namespace Gecode {
namespace Float {
namespace Branch {
323 ValSelCommitBase<FloatView,FloatNumBranch>*
328 ValSelCommitBase<FloatView,FloatNumBranch>*
int n
Number of negative literals for node type.
struct Gecode::@603::NNF::@65::@67 a
For atomic nodes.
Class for AFC (accumulated failure count) management.
Class for action management.
Class for CHB management.
Value description class for branching.
Merit class for AFC over size.
double operator()(const Space &home, FloatView x, int i)
Return AFC over size as merit for view x at position i.
void dispose(Space &home)
Dispose view selection.
bool notice(void) const
Whether dispose must always be called (that is, notice is needed)
MeritAFCSize(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
Merit class for action over size.
bool notice(void) const
Whether dispose must always be called (that is, notice is needed)
void dispose(Space &home)
Dispose view selection.
Action action
Action information.
MeritActionSize(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
double operator()(const Space &home, FloatView x, int i)
Return action over size as merit for view x at position i.
Merit class for CHB Q-score over size.
bool notice(void) const
Whether dispose must always be called (that is, notice is needed)
void dispose(Space &home)
Dispose view selection.
double operator()(const Space &home, FloatView x, int i)
Return CHB Q-score over size as merit for view x at position i.
MeritCHBSize(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
Merit class for degree over size.
MeritDegreeSize(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
double operator()(const Space &home, FloatView x, int i)
Return degree over size as merit for view x at position i.
Merit class for maximum of float view.
double operator()(const Space &home, FloatView x, int i)
Return maximum as merit for view x at position i.
MeritMax(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
double operator()(const Space &home, FloatView x, int i)
Return minimum as merit for view x at position i.
MeritMin(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
Merit class for size of float view.
MeritSize(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
double operator()(const Space &home, FloatView x, int i)
Return size as merit for view x at position i.
Value commit class for less or equal or greater or equal.
NGL * ngl(Space &home, unsigned int a, FloatView x, FloatNumBranch n) const
Create no-good literal for alternative a.
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 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.
ValCommitLqGq(Space &home, const ValBranch< Var > &vb)
Constructor for initialization.
Value selection class for values smaller than median of view.
FloatNumBranch val(const Space &home, FloatView x, int i)
Return value of view x at position i.
ValSelGq(Space &home, const ValBranch< Var > &vb)
Constructor for initialization.
Value selection class for values smaller than median of view.
FloatNumBranch val(const Space &home, FloatView x, int i)
Return value of view x at position i.
ValSelLq(Space &home, const ValBranch< Var > &vb)
Constructor for initialization.
Value selection class for random value of view.
FloatNumBranch val(const Space &home, FloatView x, int i)
Return value of view x at position i.
bool notice(void) const
Whether dispose must always be called (that is, notice is needed)
ValSelRnd(Space &home, const ValBranch< Var > &vb)
Constructor for initialization.
void dispose(Space &home)
Delete value selection.
Rnd r
The used random number generator.
Float view for float variables.
Base-class for merit class.
No-good literal recorded during search.
Value branching information.
Base class for value commit.
Base class for value selection.
Variable branching information.
#define GECODE_FLOAT_EXPORT
ValSelCommitBase< FloatView, FloatNumBranch > * valselcommit(Space &home, const FloatValBranch &svb)
Return value and commit for float views.
ViewSel< FloatView > * viewsel(Space &home, const FloatVarBranch &fvb)
Return view selectors for float views.
Gecode toplevel namespace
Post propagator for SetVar x
int ModEvent
Type for modification events.