Go to the documentation of this file.
38 namespace Gecode {
namespace Int {
75 IntView::baseval(
int val)
const {
90 return x->regret_min();
94 return x->regret_max();
122 return x->lq(home,
n);
126 return x->lq(home,
n);
131 return x->lq(home,
n-1);
135 return x->lq(home,
n-1);
140 return x->gq(home,
n);
144 return x->gq(home,
n);
149 return x->gq(home,
n+1);
153 return x->gq(home,
n+1);
158 return x->nq(home,
n);
162 return x->nq(home,
n);
167 return x->eq(home,
n);
171 return x->eq(home,
n);
182 return x->narrow_r(home,
i,depend);
187 return x->inter_r(home,
i,depend);
192 return x->minus_r(home,
i,depend);
197 return x->narrow_v(home,
i,depend);
202 return x->inter_v(home,
i,depend);
207 return x->minus_v(home,
i,depend);
VarImpType * x
Pointer to variable implementation.
Post propagator for SetVar x
Post propagator for SetVar SetOpType SetVar y
int min(void) const
Return minimum of domain.
void init(const View &x)
Initialize with ranges for view x.
int min(void) const
Return minimum of domain.
Range iterator for ranges of integer variable implementation.
ModEvent minus_v(Space &home, I &i, bool depends=true)
Remove from domain the values described by i.
unsigned int width(void) const
Return width of domain (distance between maximum and minimum)
Integer variable implementation.
Gecode toplevel namespace
int max(void) const
Return maximum of domain.
Range iterator for integer views.
ModEvent inter_r(Space &home, I &i, bool depends=true)
Intersect domain with ranges described by i.
int val(void) const
Return assigned value (only if assigned)
Generic domain change information to be supplied to advisors.
VarImp * varimp(void) const
Return variable implementation of variable.
unsigned int size(void) const
Return size (cardinality) of domain.
static ModEvent me(const ModEventDelta &med)
Return modification event for view type in med.
ModEvent inter_v(Space &home, I &i, bool depends=true)
Intersect domain with values described by i.
unsigned int regret_min(void) const
Return regret of domain minimum (distance to next larger value)
ViewRanges(void)
Default constructor.
ModEvent nq(Space &home, int n)
Restrict domain values to be different from n.
unsigned int regret_max(void) const
Return regret of domain maximum (distance to next smaller value)
bool in(int n) const
Test whether n is contained in domain.
int ModEvent
Type for modification events.
ModEvent narrow_r(Space &home, I &i, bool depends=true)
Replace domain by ranges described by i.
static bool any(const Delta &d)
Test whether arbitrary values got pruned.
ModEvent gr(Space &home, int n)
Restrict domain values to be greater than n.
Integer view for integer variables.
unsigned int width(void) const
Return width of domain (distance between maximum and minimum)
void init(const IntVarImp *x)
Initialize with ranges from variable implementation x.
static ModEventDelta med(ModEvent me)
Translate modification event me to modification event delta for view.
ModEvent lq(Space &home, int n)
Restrict domain values to be less or equal than n.
ModEvent narrow_v(Space &home, I &i, bool depends=true)
Replace domain by values described by i.
ModEvent gq(Space &home, int n)
Restrict domain values to be greater or equal than n.
int n
Number of negative literals for node type.
int med(void) const
Return median of domain (greatest element not greater than the median)
ModEvent minus_r(Space &home, I &i, bool depends=true)
Remove from domain the ranges described by i.
int ModEventDelta
Modification event deltas.
bool any(const Delta &d) const
Test whether arbitrary values got pruned.
Gecode::IntArgs i({1, 2, 3, 4})
bool range(void) const
Test whether domain is a range.
int max(void) const
Return maximum of domain.
ModEvent le(Space &home, int n)
Restrict domain values to be less than n.
Base-class for variable implementation views.
IntView(void)
Default constructor.
ModEvent eq(Space &home, int n)
Restrict domain values to be equal to n.