34namespace Gecode {
namespace Int {
namespace Branch {
110 else if (
x.min() >
n)
140 else if (
x.max() <
n)
int n
Number of negative literals for node type.
No-good literal for equality.
virtual NGL::Status status(const Space &home) const
Test the status of the no-good literal.
virtual NGL * copy(Space &home)
Create copy.
virtual ExecStatus prune(Space &home)
Propagate the negation of the no-good literal.
EqNGL(Space &home, View x, int n)
Constructor for creation.
No-good literal for greater or equal.
virtual NGL * copy(Space &home)
Create copy.
virtual NGL::Status status(const Space &home) const
Test the status of the no-good literal.
GqNGL(Space &home, View x, int n)
Constructor for creation.
virtual ExecStatus prune(Space &home)
Propagate the negation of the no-good literal.
No-good literal for less or equal.
virtual NGL * copy(Space &home)
Create copy.
virtual NGL::Status status(const Space &home) const
Test the status of the no-good literal.
virtual ExecStatus prune(Space &home)
Propagate the negation of the no-good literal.
LqNGL(Space &home, View x, int n)
Constructor for creation.
No-good literal for disequality.
NqNGL(Space &home, View x, int n)
Constructor for creation.
virtual ExecStatus prune(Space &home)
Propagate the negation of the no-good literal.
virtual NGL * copy(Space &home)
Create copy.
virtual NGL::Status status(const Space &home) const
Test the status of the no-good literal.
No-good literal recorded during search.
Status
The status of a no-good literal.
@ SUBSUMED
The literal is subsumed.
@ FAILED
The literal is failed.
@ NONE
The literal is neither failed nor subsumed.
bool assigned(void) const
Test whether view is assigned.
View-value no-good literal.
bool me_failed(ModEvent me)
Check whether modification event me is failed.
const Gecode::PropCond PC_INT_VAL
Propagate when a view becomes assigned (single value)
const Gecode::PropCond PC_INT_BND
Propagate when minimum or maximum of a view changes.
const Gecode::PropCond PC_INT_DOM
Propagate when domain changes.
Gecode toplevel namespace
@ ES_OK
Execution is okay.
@ ES_FAILED
Execution has resulted in failure.
Post propagator for SetVar x