38 #ifndef __GECODE_INT_BRANCH_HH__ 39 #define __GECODE_INT_BRANCH_HH__ 48 namespace Gecode {
namespace Int {
namespace Branch {
216 namespace Gecode {
namespace Int {
namespace Branch {
227 namespace Gecode {
namespace Int {
namespace Branch {
371 template<
class View,
bool min>
395 template<
class View,
bool inc>
417 namespace Gecode {
namespace Int {
namespace Branch {
434 virtual NGL* copy(
Space& home,
bool share);
452 virtual NGL* copy(
Space& home,
bool share);
470 virtual NGL* copy(
Space& home,
bool share);
488 virtual NGL* copy(
Space& home,
bool share);
495 namespace Gecode {
namespace Int {
namespace Branch {
525 NGL* ngl(
Space& home,
unsigned int a,
View x,
int n)
const;
527 void print(
const Space& home,
unsigned int a,
View x,
int i,
int n,
528 std::ostream& o)
const;
547 NGL* ngl(
Space& home,
unsigned int a,
View x,
int n)
const;
549 void print(
const Space& home,
unsigned int a,
View x,
int i,
int n,
550 std::ostream& o)
const;
569 NGL* ngl(
Space& home,
unsigned int a,
View x,
int n)
const;
571 void print(
const Space& home,
unsigned int a,
View x,
int i,
int n,
572 std::ostream& o)
const;
591 NGL* ngl(
Space& home,
unsigned int a,
View x,
int n)
const;
593 void print(
const Space& home,
unsigned int a,
View x,
int i,
int n,
594 std::ostream& o)
const;
601 namespace Gecode {
namespace Int {
namespace Branch {
625 namespace Gecode {
namespace Int {
namespace Branch {
631 template<
int n,
bool min>
661 std::ostream& o)
const;
No-good literal for less or equal.
void post(Home home, Term *t, int n, FloatRelType frt, FloatVal c)
Post propagator for linear constraint over floats.
No-good literal for greater or equal.
MeritMin(Space &home, const VarBranch &vb)
Constructor for initialization.
Value selection class for nearest value.
Which values to select for branching first.
Which variable to select for branching.
Generic brancher by view selection.
Activity activity
Activity information.
Rnd r
The used random number generator.
Status
The status of a no-good literal.
int ModEvent
Type for modification events.
Base-class for merit class.
Merit class for size over degree.
Merit class for size over activity.
bool notice(void) const
Whether dispose must always be called (that is, notice is needed)
ViewSel< IntView > * viewselint(Space &home, const IntVarBranch &ivb)
Return view selectors for integer views.
Value commit class for less or equal.
ExecStatus prune(Space &home, ViewArray< VX > &x, ConstIntView)
No-good literal for equality.
Base class for value selection and commit.
Brancher by view and values selection
Base-class for both propagators and branchers.
IntSharedArray c
The used values.
Value commit class for greater.
Value selection class for mimimum of view.
Value selection class for average of view.
Value selection class for random value of view.
Base class for value commit.
Gecode::FloatVal c(-8, 8)
Gecode::IntArgs i(4, 1, 2, 3, 4)
Class for AFC (accumulated failure count) management.
int n
Number of negative literals for node type.
Value selection class for minimum range of integer view.
IntVarValPrint vvp
Print function.
Value selection class for maximum of view.
Merit class for mimimum of integer views.
ViewSel< BoolView > * viewselbool(Space &home, const IntVarBranch &ivb)
Return view selectors for Boolean views.
struct Gecode::@519::NNF::@60::@62 a
For atomic nodes.
Merit class for minimum regret.
Value commit class for greater or equal.
Merit class for size over afc.
No-good literal for disequality.
Value commit class for equality.
void print(std::basic_ostream< Char, Traits > &s, bool assigned, IL &lb, IU &ub, unsigned int cardMin, unsigned int cardMax)
Print set view.
Integer view for integer variables.
struct Gecode::@519::NNF::@60::@61 b
For binary nodes (and, or, eqv)
Value branching information.
Variable branching information.
Node * x
Pointer to corresponding Boolean expression node.
IntSharedArray c
The used values.
Value selection class for median of view.
ValSelCommitBase< IntView, int > * valselcommitint(Space &home, int n, const IntValBranch &ivb)
Return value and commit for integer views.
Choice for performing commit
void(* IntVarValPrint)(const Space &home, const BrancherHandle &bh, unsigned int a, IntVar x, int i, const int &n, std::ostream &o)
Function type for printing branching alternatives for integer variables.
Which values to select for assignment.
ValSelCommitBase< BoolView, int > * valselcommitbool(Space &home, int n, const IntValBranch &ivb)
Return value and commit for Boolean views.
Merit class for maximum regret.
View-value no-good literal.
bool shared(const ConstView< ViewA > &, const ConstView< ViewB > &)
Test whether views share same variable.
Value selection class for nearest value.
Gecode toplevel namespace
void dispose(Space &home)
Delete view merit class.
Class for activity management.
#define GECODE_INT_EXPORT
Value selection class for maximum range of integer view.
Home class for posting propagators
int operator()(const Space &home, View x, int i)
Return minimum as merit for view x at position i.
Base class for value selection.
No-good literal recorded during search.