44 #ifndef __GECODE_SET_BRANCH_HH__ 45 #define __GECODE_SET_BRANCH_HH__ 54 namespace Gecode {
namespace Set {
namespace Branch {
205 namespace Gecode {
namespace Set {
namespace Branch {
213 namespace Gecode {
namespace Set {
namespace Branch {
302 namespace Gecode {
namespace Set {
namespace Branch {
319 virtual NGL* copy(
Space& home,
bool share);
337 virtual NGL* copy(
Space& home,
bool share);
344 namespace Gecode {
namespace Set {
namespace Branch {
373 NGL* ngl(
Space& home,
unsigned int a,
View x,
int n)
const;
376 std::ostream& o)
const;
394 NGL* ngl(
Space& home,
unsigned int a,
View x,
int n)
const;
397 std::ostream& o)
const;
404 namespace Gecode {
namespace Set {
namespace Branch {
No-good literal for inclusion.
Which values to select for branching first.
Merit class for AFC over size.
Merit class for maximum of set view.
Merit class for CHB Q-score over size.
Value selection class for median of view.
int operator()(const Space &home, SetView x, int i)
Return minimum as merit for view x at position i.
Value selection class for mimimum of view.
Abstract class for view selection.
Status
The status of a no-good literal.
Value commit class for exclusion.
int ModEvent
Type for modification events.
Base-class for merit class.
ExecStatus prune(Space &home, ViewArray< VX > &x, ConstIntView)
Base class for value selection and commit.
Base class for value commit.
struct Gecode::@579::NNF::@61::@63 a
For atomic nodes.
Gecode::IntArgs i(4, 1, 2, 3, 4)
Class for AFC (accumulated failure count) management.
int n
Number of negative literals for node type.
ViewSel< SetView > * viewsel(Space &home, const SetVarBranch &svb)
Return view selectors for set views.
Merit class for action over size.
Class for CHB management.
ValSelCommitBase< SetView, int > * valselcommit(Space &home, const SetValBranch &svb)
Return value and commit for set views.
No-good literal for exclusion.
bool notice(void) const
Whether dispose must always be called (that is, notice is needed)
Set view for set variables
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.
Merit class for size of set view.
Variable branching information.
Action action
Action information.
Value commit class for inclusion.
Merit class for degree over size.
Post propagator for SetVar x
View-value no-good literal.
Value selection class for maximum of view.
bool shared(const ConstView< ViewA > &, const ConstView< ViewB > &)
Test whether views share same variable.
Which value to select for assignment.
Gecode toplevel namespace
Class for action management.
void dispose(Space &home)
Delete view merit class.
Which variable to select for branching.
Value selection class for random value of view.
MeritMin(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
#define GECODE_SET_EXPORT
Merit class for mimimum of set views.
Rnd r
The used random number generator.
Base class for value selection.
No-good literal recorded during search.