34namespace Gecode {
namespace Int {
172 while (i() && (i.max() < 0))
179 while (i() && (i.max() < 0))
191 while (i() && (i.val() < 0))
198 while (i() && (i.val() < 0))
260 unsigned int width(
void)
const;
int n
Number of negative literals for node type.
Generic domain change information to be supplied to advisors.
void init(const ZeroIntView &x)
Initialize with ranges for view x.
Range iterator for integer views.
int max(void) const
Return largest value of range.
bool operator()(void) const
Test whether iterator is still at a range or done.
int min(void) const
Return smallest value of range.
unsigned int width(void) const
Return width of range (distance between minimum and maximum)
void operator++(void)
Move iterator to next range (if possible)
ViewRanges(void)
Default constructor.
ModEvent gq(Space &home, int n)
Restrict domain values to be greater or equal than n.
ZeroIntView(void)
Default constructor.
int med(void) const
Return median of domain (greatest element not greater than the median)
unsigned int regret_min(void) const
Return regret of domain minimum (distance to next larger value)
ModEvent minus_r(Space &home, I &i, bool depends=true)
Remove from domain the ranges described by i.
ModEvent inter_v(Space &home, I &i, bool depends=true)
Intersect domain with values described by i.
int max(void) const
Return maximum of domain.
ModEvent narrow_r(Space &home, I &i, bool depends=true)
Replace domain by ranges described by i.
ModEvent minus_v(Space &home, I &i, bool depends=true)
Remove from domain the values described by i.
bool any(const Delta &d) const
Test whether arbitrary values got pruned.
unsigned int regret_max(void) const
Return regret of domain maximum (distance to next smaller value)
bool range(void) const
Test whether domain is a range.
ModEvent lq(Space &home, int n)
Restrict domain values to be less or equal than n.
ModEvent inter_r(Space &home, I &i, bool depends=true)
Intersect domain with ranges described by i.
ModEvent narrow_v(Space &home, I &i, bool depends=true)
Replace domain by values described by i.
ModEvent gr(Space &home, int n)
Restrict domain values to be greater than n.
ModEvent le(Space &home, int n)
Restrict domain values to be less than n.
int val(void) const
Return assigned value (only if assigned)
unsigned int size(void) const
Return size (cardinality) of domain.
ModEvent eq(Space &home, int n)
Restrict domain values to be equal to n.
ModEvent nq(Space &home, int n)
Restrict domain values to be different from n.
unsigned int width(void) const
Return width of domain (distance between maximum and minimum)
bool in(int n) const
Test whether n is contained in domain.
int min(void) const
Return minimum of domain.
const Gecode::ModEvent ME_INT_FAILED
Domain operation has resulted in failure.
bool operator==(const CachedView< View > &x, const CachedView< View > &y)
bool operator!=(const CachedView< View > &x, const CachedView< View > &y)
const Gecode::ModEvent ME_INT_NONE
Domain operation has not changed domain.
Gecode toplevel namespace
Post propagator for SetVar x
int ModEvent
Type for modification events.