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)
T * alloc(long unsigned int n)
Allocate block of n objects of type T from region.
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)
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.
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)
union Gecode::@518::NNF::@57 u
Union depending on nodetype t.
Node * x
Pointer to corresponding Boolean expression node.
Binary disequality propagator.
int size(void) const
Return size of array (number of elements)
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.
int max(int i) const
Return maximum of range at position i.
int min(int i) const
Return minimum of range at position i.
ExecStatus post_true(Home home, VX x, ConstIntView y)