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