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>*
#define GECODE_FLOAT_EXPORT
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 AFC over size as merit for view x at position i.
ValCommitLqGq(Space &home, const ValBranch< Var > &vb)
Constructor for initialization.
Value selection class for random value of view.
bool notice(void) const
Whether dispose must always be called (that is, notice is needed)
Rnd r
The used random number generator.
Merit class for AFC over size.
double operator()(const Space &home, FloatView x, int i)
Return degree over size as merit for view x at position i.
MeritMax(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
void dispose(Space &home)
Dispose view selection.
Value commit class for less or equal or greater or equal.
MeritMin(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
int ModEvent
Type for modification events.
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.
double operator()(const Space &home, FloatView x, int i)
Return action over size as merit for view x at position i.
Merit class for maximum of float view.
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.
Base class for value commit.
struct Gecode::@579::NNF::@61::@63 a
For atomic nodes.
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.
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.
ValSelLq(Space &home, const ValBranch< Var > &vb)
Constructor for initialization.
Value description class for branching.
MeritDegreeSize(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.
FloatNumBranch val(const Space &home, FloatView x, int i)
Return value of view x at position i.
FloatNumBranch val(const Space &home, FloatView x, int i)
Return value of view x at position i.
Merit class for CHB Q-score over size.
Class for CHB management.
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.
Float view for float variables.
MeritCHBSize(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
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.
Value branching information.
Variable branching information.
NGL * ngl(Space &home, unsigned int a, FloatView x, FloatNumBranch n) const
Create no-good literal for alternative a.
void dispose(Space &home)
Dispose view selection.
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.
MeritAFCSize(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
double operator()(const Space &home, FloatView x, int i)
Return CHB Q-score over size as merit for view x at position i.
Post propagator for SetVar x
bool shared(const ConstView< ViewA > &, const ConstView< ViewB > &)
Test whether views share same variable.
Merit class for degree over size.
Gecode toplevel namespace
bool notice(void) const
Whether dispose must always be called (that is, notice is needed)
Class for action management.
Action action
Action information.
ValSelRnd(Space &home, const ValBranch< Var > &vb)
Constructor for initialization.
Merit class for action over size.
ValSelCommitBase< FloatView, FloatNumBranch > * valselcommit(Space &home, const FloatValBranch &fvb)
Return value and commit for float views.
MeritActionSize(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
Merit class for size of float view.
Base class for value selection.
ValSelGq(Space &home, const ValBranch< Var > &vb)
Constructor for initialization.
No-good literal recorded during search.