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 {
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 {
#define GECODE_FLOAT_EXPORT
Value selection class for random value of view.
Which values to select for branching first.
Rnd r
The used random number generator.
Merit class for AFC over size.
Value commit class for less or equal or greater or equal.
Abstract class for view selection.
MeritMin(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
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.
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.
Merit class for CHB Q-score over size.
Class for CHB management.
ViewSel< FloatView > * viewsel(Space &home, const FloatVarBranch &fvb)
Return view selectors for float views.
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.
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.
struct Gecode::@585::NNF::@62::@64 a
For atomic nodes.
Which values to select for assignment.
Post propagator for SetVar x
Merit class for degree over size.
Gecode toplevel namespace
Class for action management.
void dispose(Space &home)
Delete view merit class.
Action action
Action information.
Merit class for action over size.
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.