Go to the documentation of this file.
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 {
209 ViewSel<SetView>*
viewsel(Space& home,
const SetVarBranch& svb);
213 namespace Gecode {
namespace Set {
namespace Branch {
302 namespace Gecode {
namespace Set {
namespace Branch {
344 namespace Gecode {
namespace Set {
namespace Branch {
376 std::ostream& o)
const;
397 std::ostream& o)
const;
404 namespace Gecode {
namespace Set {
namespace Branch {
408 ValSelCommitBase<SetView,int>*
413 ValSelCommitBase<SetView,int>*
ValSelMed(Space &home, const ValBranch< Var > &vb)
Constructor for initialization.
virtual NGL::Status status(const Space &home) const
Test the status of the no-good literal.
Class for action management.
Post propagator for SetVar x
ValCommitExc(Space &home, const ValBranch< Var > &vb)
Constructor for initialization.
ValSelCommitBase< SetView, int > * valselcommit(Space &home, const SetValBranch &svb)
Return value and commit for set views.
ValSelMin(Space &home, const ValBranch< Var > &vb)
Constructor for initialization.
void print(const Space &home, unsigned int a, SetView x, int i, int n, std::ostream &o) const
Print on o the alternative with view x at position i and value n.
int val(const Space &home, SetView x, int i)
Return value of view x at position i.
No-good literal for inclusion.
Merit class for AFC over size.
MeritDegreeSize(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
virtual NGL::Status status(const Space &home) const
Test the status of the no-good literal.
virtual NGL * copy(Space &home, bool share)
Create copy.
ExcNGL(Space &home, SetView x, int n)
Constructor for creation.
bool notice(void) const
Whether dispose must always be called (that is, notice is needed)
virtual ExecStatus prune(Space &home)
Propagate the negation of the no-good literal.
MeritAFCSize(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
Class for CHB management.
Base class for value selection.
double operator()(const Space &home, SetView x, int i)
Return CHB Q-score over size as merit for view x at position i.
Gecode::IntArgs i(4, 1, 2, 3, 4)
Merit class for CHB Q-score over size.
Merit class for size of set view.
void dispose(Space &home)
Dispose view selection.
int operator()(const Space &home, SetView x, int i)
Return minimum as merit for view x at position i.
Value commit class for exclusion.
Base class for value commit.
ValSelRnd(Space &home, const ValBranch< Var > &vb)
Constructor for initialization.
int val(const Space &home, SetView x, int i)
Return value of view x at position i.
double operator()(const Space &home, SetView x, int i)
Return degree over size as merit for view x at position i.
Variable branching information.
Gecode toplevel namespace
IncNGL(Space &home, SetView x, int n)
Constructor for creation.
bool notice(void) const
Whether dispose must always be called (that is, notice is needed)
int val(const Space &home, SetView x, int i)
Return value of view x at position i.
NGL * ngl(Space &home, unsigned int a, View x, int n) const
Create no-good literal for alternative a.
double operator()(const Space &home, SetView x, int i)
Return action over size as merit for view x at position i.
void print(const Space &home, unsigned int a, SetView x, int i, int n, std::ostream &o) const
Print on o the alternative with view x at position i and value n.
struct Gecode::@579::NNF::@61::@63 a
For atomic nodes.
ModEvent commit(Space &home, unsigned int a, SetView x, int i, int n)
Commit view x at position i to value n for alternative a.
bool notice(void) const
Whether dispose must always be called (that is, notice is needed)
ValSelMax(Space &home, const ValBranch< Var > &vb)
Constructor for initialization.
Base-class for merit class.
MeritActionSize(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
#define GECODE_SET_EXPORT
void dispose(Space &home)
Dispose view selection.
Value branching information.
ViewSel< SetView > * viewsel(Space &home, const SetVarBranch &svb)
Return view selectors for set views.
virtual ExecStatus prune(Space &home)
Propagate the negation of the no-good literal.
Value selection class for maximum of view.
View-value no-good literal.
double operator()(const Space &home, SetView x, int i)
Return AFC over size as merit for view x at position i.
ModEvent commit(Space &home, unsigned int a, SetView x, int i, int n)
Commit view x at position i to value n for alternative a.
SetView x
The stored view.
Merit class for degree over size.
No-good literal for exclusion.
Merit class for action over size.
int ModEvent
Type for modification events.
int operator()(const Space &home, SetView x, int i)
Return maximum as merit for view x at position i.
Value selection class for random value of view.
bool notice(void) const
Whether dispose must always be called (that is, notice is needed)
Class for AFC (accumulated failure count) management.
Action action
Action information.
Set view for set variables
MeritMax(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
Value commit class for inclusion.
Rnd r
The used random number generator.
bool shared(const IntSet &, VX)
NGL * ngl(Space &home, unsigned int a, View x, int n) const
Create no-good literal for alternative a.
ValCommitInc(Space &home, const ValBranch< Var > &vb)
Constructor for initialization.
MeritCHBSize(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
int val(const Space &home, SetView x, int i)
Return value of view x at position i.
void dispose(Space &home)
Dispose view selection.
void dispose(Space &home)
Delete value selection.
Value selection class for median of view.
MeritSize(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
virtual NGL * copy(Space &home, bool share)
Create copy.
No-good literal recorded during search.
unsigned int operator()(const Space &home, SetView x, int i)
Return size as merit for view x at position i.
MeritMin(Space &home, const VarBranch< Var > &vb)
Constructor for initialization.
Merit class for mimimum of set views.
int n
Number of negative literals for node type.
Status
The status of a no-good literal.
Value selection class for mimimum of view.
Merit class for maximum of set view.