37 namespace Gecode {
namespace Int {
namespace NValues {
95 }
else if (x[
i].
one()) {
static const int VS_ONE
View status: a one has already been encountered.
static ExecStatus post(Home home, ViewArray< BV > &x)
Post propagator .
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.
static ExecStatus post(Home home, ViewArray< BoolView > &x, VY y)
Post propagator for .
Class to iterate over advisors of a council.
Propagation has computed fixpoint.
EqBool(Home home, int status, ViewArray< BoolView > &x, VY y)
Constructor for posting.
Advisor storing a single view
Base-class for both propagators and branchers.
int status
Status information about the views.
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.
Number of values propagator for Boolean views base class.
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.
virtual Actor * copy(Space &home)
Copy propagator during cloning.
Post propagator for SetVar SetOpType SetVar y
virtual ExecStatus propagate(Space &home, const ModEventDelta &med)
Perform propagation.
Post propagator for SetVar x
void unique(void)
Remove all duplicate views from array (changes element order)
Equal to number of values propagator for Boolean views.
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.