38 namespace Gecode {
namespace Set {
namespace Branch {
No-good literal for inclusion.
int n
Number of negative literals for node type.
No-good literal for exclusion.
const Gecode::PropCond PC_SET_ANY
Propagate when any bound or the cardinality of a view changes.
Set view for set variables
Node * x
Pointer to corresponding Boolean expression node.
ExcNGL(Space &home, SetView x, int n)
Constructor for creation.
View-value no-good literal.
Gecode toplevel namespace
IncNGL(Space &home, SetView x, int n)
Constructor for creation.