40 namespace Gecode {
namespace Int {
namespace Count {
75 (void) home; (void)
p; (void) y;
85 (void) home; (void)
p;
107 if ((
x.max() < y.
min()) || (y.
max() <
x.min()))
152 for (
int i =
x.size();
i--; )
159 for (
int i =
x.size();
i--; )
166 for (
int i =
x.size();
i--; ) {
195 for (
int i =
x.size();
i--; )
202 for (
int i =
x.size();
i--; )
209 for (
int i =
x.size();
i--; ) {
221 for (
int i =
x.size();
i--; )
233 for (
int i =
x.size();
i--; )
272 for (
int i=
x.size();
i--; )
Relation may hold or not.
Range iterator for integer sets.
void cancel(Space &home, Propagator &p, IntSet &y)
RelTest holds(VX x, ConstIntView y)
Test whether x and y are equal.
static ExecStatus post(Home home, View0 x0, View1 x1)
Post domain consistent propagator .
First is subset of second iterator.
Base-class for propagators.
ViewTypeDesc
Description of view type.
ExecStatus prune(Space &home, ViewArray< VX > &x, ConstIntView)
int min(int i) const
Return minimum of range at position i.
Range iterator for integer views.
#define GECODE_ES_CHECK(es)
Check whether execution status es is failed or subsumed, and forward failure or subsumption.
int p
Number of positive literals for node type.
Gecode::IntArgs i(4, 1, 2, 3, 4)
int val(void) const
Return assigned value (only if assigned)
RelTest
Result of testing relation.
int max(int i) const
Return maximum of range at position i.
void subscribe(Space &home, Propagator &p, IntSet &y)
ViewTypeDesc vtd(VY y)
Return the view type description of y.
Range iterator for union of iterators.
const Gecode::PropCond PC_INT_DOM
Propagate when domain changes.
#define GECODE_ME_CHECK(me)
Check whether modification event me is failed, and forward failure.
RelTest rtest_eq_dom(View x, View y)
Test whether views x and y are equal (use full domain information)
Node * x
Pointer to corresponding Boolean expression node.
union Gecode::@511::NNF::@54 u
Union depending on nodetype t.
Binary disequality propagator.
CompareStatus compare(I &i, J &j)
Check whether range iterator i is a subset of j, or whether they are disjoint.
Gecode toplevel namespace
ExecStatus post_false(Home home, VX x, ConstIntView y)
static ExecStatus post(Home home, ViewArray< View > &x)
Post domain consistent propagator .
static ExecStatus post(Home home, View x0, View x1)
Post propagator .
Home class for posting propagators
#define GECODE_NEVER
Assert that this command is never executed.
ExecStatus post_true(Home home, VX x, ConstIntView y)