34 #ifndef __GECODE_INT_BRANCH_HH__ 35 #define __GECODE_INT_BRANCH_HH__ 44 namespace Gecode {
namespace Int {
namespace Branch {
245 namespace Gecode {
namespace Int {
namespace Branch {
256 namespace Gecode {
namespace Int {
namespace Branch {
403 namespace Gecode {
namespace Int {
namespace Branch {
481 namespace Gecode {
namespace Int {
namespace Branch {
512 NGL* ngl(
Space& home,
unsigned int a,
View x,
int n)
const;
514 void print(
const Space& home,
unsigned int a,
View x,
int i,
int n,
515 std::ostream& o)
const;
535 NGL* ngl(
Space& home,
unsigned int a,
View x,
int n)
const;
537 void print(
const Space& home,
unsigned int a,
View x,
int i,
int n,
538 std::ostream& o)
const;
558 NGL* ngl(
Space& home,
unsigned int a,
View x,
int n)
const;
560 void print(
const Space& home,
unsigned int a,
View x,
int i,
int n,
561 std::ostream& o)
const;
581 NGL* ngl(
Space& home,
unsigned int a,
View x,
int n)
const;
583 void print(
const Space& home,
unsigned int a,
View x,
int i,
int n,
584 std::ostream& o)
const;
591 namespace Gecode {
namespace Int {
namespace Branch {
615 namespace Gecode {
namespace Int {
namespace Branch {
621 template<
int n,
bool min,
class Filter,
class Pr
int>
652 std::ostream& o)
const;
665 template<
int n,
bool min>
ViewSel< IntView > * viewsel(Space &home, const IntVarBranch &ivb)
Return view selectors for integer views.
Action action
Action information.
No-good literal for less or equal.
Which values to select for branching first.
No-good literal for greater or equal.
Which values to select for branching first.
Which integer variable to select for branching.
Generic brancher by view selection.
Which values to select for assignment.
Rnd r
The used random number generator.
Status
The status of a no-good literal.
int ModEvent
Type for modification events.
Merit class for CHB over size.
Base-class for merit class.
Merit class for degree over size.
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.
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.
Merit class for action over size.
Value selection class for maximum of view.
Class for CHB management.
Merit class for mimimum of integer views.
Which Boolean variable to select for branching.
Merit class for minimum regret.
Value commit class for greater or equal.
std::function< bool(const Space &home, IntVar x, int i)> IntBranchFilter
Branch filter function type for integer variables.
Merit class for AFC over size.
ValSelCommitBase< IntView, int > * valselcommit(Space &home, const IntValBranch &ivb)
Return value and commit for integer views.
bool notice(void) const
Whether dispose must always be called (that is, notice is needed)
No-good literal for disequality.
std::function< void(const Space &home, const Brancher &b, unsigned int a, IntVar x, int i, const int &n, std::ostream &o)> IntVarValPrint
Function type for printing branching alternatives for integer variables.
Value commit class for equality.
IntPropLevel ba(IntPropLevel ipl)
Extract basic or advanced from propagation level.
void print(std::basic_ostream< Char, Traits > &s, bool assigned, IL &lb, IU &ub, unsigned int cardMin, unsigned int cardMax)
Print set view.
struct Gecode::@585::NNF::@62::@63 b
For binary nodes (and, or, eqv)
Integer view for integer variables.
Value branching information.
Variable branching information.
Value selection class for median of view.
struct Gecode::@585::NNF::@62::@64 a
For atomic nodes.
Choice for performing commit
Which values to select for assignment.
MeritMin(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
Merit class for maximum regret.
Post propagator for SetVar x
View-value no-good literal.
Gecode toplevel namespace
Class for action management.
void dispose(Space &home)
Delete view merit class.
#define GECODE_INT_EXPORT
Value selection class for maximum range of integer view.
Home class for posting propagators
void postviewvaluesbrancher(Home home, ViewArray< IntView > &x, ViewSel< IntView > *vs[n], IntBranchFilter bf, IntVarValPrint vvp)
Post brancher for view and values.
int operator()(const Space &home, View x, int i)
Return minimum as merit for view x at position i.
TFE post(PropagatorGroup g)
Only post functions (but not propagators) from g are considered.
Base class for value selection.
No-good literal recorded during search.