Go to the documentation of this file.
38 namespace Gecode {
namespace Int {
169 #ifdef GECODE_HAS_CBS
171 NegBoolView::baseval(
int val)
const {
212 return x.base() ==
y.base();
243 : Iter::Ranges::Singleton(
x.
min(),
x.
max()) {}
Post propagator for SetVar x
bool zero(void) const
Test whether view is assigned to be zero.
ModEvent nq(Space &home, int n)
Restrict domain values to be different from n.
Post propagator for SetVar SetOpType SetVar y
void max(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
void init(const View &x)
Initialize with ranges for view x.
const Gecode::ModEvent ME_BOOL_FAILED
Domain operation has resulted in failure.
bool any(const Delta &d) const
Test whether arbitrary values got pruned.
bool one(void) const
Test whether view is assigned to be one.
ModEvent le(Space &home, int n)
Restrict domain values to be less than n.
unsigned int BoolStatus
Type for status of a Boolean variable.
int min(void) const
Return minimum of domain.
Boolean view for Boolean variables.
Base-class for derived views.
ModEvent one_none(Space &home)
Assign not yet assigned view to one.
Gecode toplevel namespace
Range iterator for integer views.
bool zero(void) const
Test whether view is assigned to be zero.
bool none(void) const
Test whether view is not yet assigned.
Generic domain change information to be supplied to advisors.
ModEvent zero_none(Space &home)
Assign not yet assigned view to zero.
BoolStatus status(void) const
Return current domain status.
int max(void) const
Return maximum of domain.
int val(void) const
Return assigned value (only if assigned)
ViewRanges(void)
Default constructor.
unsigned int width(const Delta &d) const
Return width of values just pruned.
bool any(const Delta &d) const
Test whether arbitrary values got pruned.
ModEvent eq(Space &home, int n)
Restrict domain values to be equal to n.
void init(int min, int max)
Initialize with range min to max.
ModEvent gq(Space &home, int n)
Restrict domain values to be greater or equal than n.
int ModEvent
Type for modification events.
unsigned int width(void) const
Return width of domain (distance between maximum and minimum)
ModEvent gr(Space &home, int n)
Restrict domain values to be greater than n.
BoolView x
View from which this view is derived.
ModEvent lq(Space &home, int n)
Restrict domain values to be less or equal than n.
BoolStatus status(void) const
Return current domain status.
bool one(void) const
Test whether view is assigned to be one.
const Gecode::ModEvent ME_BOOL_NONE
Domain operation has not changed domain.
int min(void) const
Return minimum of domain.
int val(void) const
Return assigned value (only if assigned)
ModEvent one_none(Space &home)
Assign not yet assigned view to one.
Range iterator for singleton range.
bool none(void) const
Test whether view is not yet assigned.
ModEvent zero_none(Space &home)
Assign not yet assigned view to zero.
void min(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
int n
Number of negative literals for node type.
bool operator!=(const CachedView< View > &x, const CachedView< View > &y)
bool operator==(const CachedView< View > &x, const CachedView< View > &y)
int max(void) const
Return maximum of domain.
NegBoolView(void)
Default constructor.