40 #ifndef __GECODE_SET_BRANCH_HH__ 41 #define __GECODE_SET_BRANCH_HH__ 50 namespace Gecode {
namespace Set {
namespace Branch {
201 namespace Gecode {
namespace Set {
namespace Branch {
209 namespace Gecode {
namespace Set {
namespace Branch {
298 namespace Gecode {
namespace Set {
namespace Branch {
340 namespace Gecode {
namespace Set {
namespace Branch {
369 NGL* ngl(
Space& home,
unsigned int a,
View x,
int n)
const;
372 std::ostream& o)
const;
390 NGL* ngl(
Space& home,
unsigned int a,
View x,
int n)
const;
393 std::ostream& o)
const;
400 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.
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.
struct Gecode::@585::NNF::@62::@64 a
For atomic nodes.
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.
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.