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.
Class for AFC (accumulated failure count) management.
int n
Number of negative literals for node type.
Gecode::IntArgs i({1, 2, 3, 4})
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.
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.
struct Gecode::@593::NNF::@62::@64 a
For atomic nodes.
#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.