36 namespace Gecode {
namespace Int {
namespace NValues {
88 }
else if (x[
i].
one()) {
static const int VS_ONE
View status: a one has already been encountered.
static ExecStatus post(Home home, ViewArray< View > &x)
Post propagator .
ExecStatus ES_SUBSUMED(Propagator &p)
bool one(const Gecode::FloatValArgs &a)
Check whether has only one coefficients.
Class to iterate over advisors of a council.
Propagation has computed fixpoint.
Advisor storing a single view
Base-class for both propagators and branchers.
int status
Status information about the views.
static ExecStatus post(Home home, ViewArray< BoolView > &x, VY y)
Post propagator for .
VY y
The view for counting the number of values.
int p
Number of positive literals for node type.
int n
Number of negative literals for node type.
Gecode::IntArgs i({1, 2, 3, 4})
Execution has resulted in failure.
virtual Actor * copy(Space &home)
Copy propagator during cloning.
Number of values propagator for Boolean views base class.
GqBool(Home home, int status, ViewArray< BoolView > &x, VY y)
Constructor for posting.
static const int VS_ZERO
View status: a zero has already been encountered.
#define GECODE_ME_CHECK(me)
Check whether modification event me is failed, and forward failure.
Post propagator for SetVar SetOpType SetVar y
Greater or equal to number of values propagator for Boolean views.
Post propagator for SetVar x
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
void unique(void)
Remove all duplicate views from array (changes element order)
Gecode toplevel namespace
int ModEventDelta
Modification event deltas.
int size(void) const
Return size of array (number of elements)
Council< ViewAdvisor< BoolView > > c
The advisor council.
Home class for posting propagators
A & advisor(void) const
Return advisor.
struct Gecode::@593::NNF::@62::@64 a
For atomic nodes.