38 #ifndef __GECODE_INT_BRANCH_HH__ 39 #define __GECODE_INT_BRANCH_HH__ 48 namespace Gecode {
namespace Int {
namespace Branch {
249 namespace Gecode {
namespace Int {
namespace Branch {
260 namespace Gecode {
namespace Int {
namespace Branch {
407 namespace Gecode {
namespace Int {
namespace Branch {
485 namespace Gecode {
namespace Int {
namespace Branch {
516 NGL* ngl(
Space& home,
unsigned int a,
View x,
int n)
const;
518 void print(
const Space& home,
unsigned int a,
View x,
int i,
int n,
519 std::ostream& o)
const;
539 NGL* ngl(
Space& home,
unsigned int a,
View x,
int n)
const;
541 void print(
const Space& home,
unsigned int a,
View x,
int i,
int n,
542 std::ostream& o)
const;
562 NGL* ngl(
Space& home,
unsigned int a,
View x,
int n)
const;
564 void print(
const Space& home,
unsigned int a,
View x,
int i,
int n,
565 std::ostream& o)
const;
585 NGL* ngl(
Space& home,
unsigned int a,
View x,
int n)
const;
587 void print(
const Space& home,
unsigned int a,
View x,
int i,
int n,
588 std::ostream& o)
const;
595 namespace Gecode {
namespace Int {
namespace Branch {
619 namespace Gecode {
namespace Int {
namespace Branch {
625 template<
int n,
bool min,
class Filter,
class Pr
int>
656 std::ostream& o)
const;
669 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.