44 #ifndef __GECODE_SET_BRANCH_HH__ 45 #define __GECODE_SET_BRANCH_HH__ 54 namespace Gecode {
namespace Set {
namespace Branch {
182 namespace Gecode {
namespace Set {
namespace Branch {
190 namespace Gecode {
namespace Set {
namespace Branch {
279 namespace Gecode {
namespace Set {
namespace Branch {
296 virtual NGL* copy(
Space& home,
bool share);
314 virtual NGL* copy(
Space& home,
bool share);
321 namespace Gecode {
namespace Set {
namespace Branch {
350 NGL* ngl(
Space& home,
unsigned int a,
View x,
int n)
const;
353 std::ostream& o)
const;
371 NGL* ngl(
Space& home,
unsigned int a,
View x,
int n)
const;
374 std::ostream& o)
const;
381 namespace Gecode {
namespace Set {
namespace Branch {
No-good literal for inclusion.
Which values to select for branching first.
Merit class for size over afc.
Merit class for maximum of set view.
Value selection class for median of view.
MeritMin(Space &home, const VarBranch &vb)
Constructor for initialization.
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.
bool notice(void) const
Whether dispose must always be called (that is, notice is needed)
ExecStatus prune(Space &home, ViewArray< VX > &x, ConstIntView)
Base class for value selection and commit.
Base class for value commit.
Merit class for size over activity.
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.
ValSelCommitBase< SetView, int > * valselcommit(Space &home, const SetValBranch &svb)
Return value and commit for set views.
No-good literal for exclusion.
struct Gecode::@519::NNF::@60::@62 a
For atomic nodes.
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.
Node * x
Pointer to corresponding Boolean expression node.
Value commit class for inclusion.
Merit class for size over degree.
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
void dispose(Space &home)
Delete view merit class.
Which variable to select for branching.
Activity activity
Activity information.
Class for activity management.
Value selection class for random value of view.
#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.