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