38 namespace Gecode {
namespace Int {
namespace Exec {
int p
Number of positive literals for node type.
Node * x
Pointer to corresponding Boolean expression node.
Gecode toplevel namespace
When(Space &home, bool share, When &p)
Constructor for cloning p.
Home class for posting propagators
const Gecode::PropCond PC_BOOL_VAL
Propagate when a view becomes assigned (single value)
Boolean view for Boolean variables.