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 {
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 {
#define GECODE_FLOAT_EXPORT
Value selection class for random value of view.
Merit class for size over activity.
Which values to select for branching first.
Rnd r
The used random number generator.
Merit class for size over afc.
Value commit class for less or equal or greater or equal.
Abstract class for view selection.
int ModEvent
Type for modification events.
Base-class for merit class.
Which variable to select for branching.
Merit class for maximum of float view.
Base class for value selection and commit.
Base class for value commit.
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.
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.
ViewSel< FloatView > * viewsel(Space &home, const FloatVarBranch &fvb)
Return view selectors for float views.
struct Gecode::@519::NNF::@60::@62 a
For atomic nodes.
Float view for float variables.
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.
MeritMin(Space &home, const VarBranch &vb)
Constructor for initialization.
void print(std::basic_ostream< Char, Traits > &s, bool assigned, IL &lb, IU &ub, unsigned int cardMin, unsigned int cardMax)
Print set view.
Value branching information.
Variable branching information.
Node * x
Pointer to corresponding Boolean expression node.
Which values to select for assignment.
bool shared(const ConstView< ViewA > &, const ConstView< ViewB > &)
Test whether views share same variable.
Merit class for size over degree.
Gecode toplevel namespace
void dispose(Space &home)
Delete view merit class.
Class for activity management.
ValSelCommitBase< FloatView, FloatNumBranch > * valselcommit(Space &home, const FloatValBranch &fvb)
Return value and commit for float views.
Merit class for size of float view.
Base class for value selection.
No-good literal recorded during search.