38 namespace Gecode {
namespace Int {
namespace Branch {
114 else if (
x.min() >
n)
144 else if (
x.max() <
n)
virtual ExecStatus prune(Space &home)
Propagate the negation of the no-good literal.
No-good literal for less or equal.
No-good literal for greater or equal.
The literal is neither failed nor subsumed.
NqNGL(Space &home, View x, int n)
Constructor for creation.
Status
The status of a no-good literal.
No-good literal for equality.
int n
Number of negative literals for node type.
Execution has resulted in failure.
const Gecode::PropCond PC_INT_BND
Propagate when minimum or maximum of a view changes.
virtual ExecStatus prune(Space &home)
Propagate the negation of the no-good literal.
const Gecode::PropCond PC_INT_DOM
Propagate when domain changes.
EqNGL(Space &home, View x, int n)
Constructor for creation.
virtual NGL * copy(Space &home, bool share)
Create copy.
virtual NGL * copy(Space &home, bool share)
Create copy.
virtual ExecStatus prune(Space &home)
Propagate the negation of the no-good literal.
No-good literal for disequality.
GqNGL(Space &home, View x, int n)
Constructor for creation.
virtual NGL * copy(Space &home, bool share)
Create copy.
virtual NGL::Status status(const Space &home) const
Test the status of the no-good literal.
Node * x
Pointer to corresponding Boolean expression node.
LqNGL(Space &home, View x, int n)
Constructor for creation.
View-value no-good literal.
virtual ExecStatus prune(Space &home)
Propagate the negation of the no-good literal.
Gecode toplevel namespace
virtual NGL::Status status(const Space &home) const
Test the status of the no-good literal.
virtual NGL::Status status(const Space &home) const
Test the status of the 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)
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.
No-good literal recorded during search.