38 namespace Gecode {
namespace Int {
168 : Iter::Ranges::Singleton(x.
min(),x.
max()) {}
bool zero(void) const
Test whether view is assigned to be zero.
Range iterator for singleton range.
int max(void) const
Return maximum of domain.
unsigned int BoolStatus
Type for status of a Boolean variable.
bool one(void) const
Test whether view is assigned to be one.
bool any(const Delta &d) const
Test whether arbitrary values got pruned.
ViewRanges(void)
Default constructor.
int ModEvent
Type for modification events.
int val(void) const
Return assigned value (only if assigned)
bool zero(void) const
Test whether view is assigned to be zero.
void init(const View &x)
Initialize with ranges for view x.
Base-class for derived views.
Range iterator for integer views.
int min(void) const
Return minimum of domain.
ModEvent zero_none(Space &home)
Assign not yet assigned view to zero.
int max(void) const
Return maximum of domain.
void init(int min, int max)
Initialize with range min to max.
BoolStatus status(void) const
Return current domain status.
bool one(void) const
Test whether view is assigned to be one.
bool none(void) const
Test whether view is not yet assigned.
BoolStatus status(void) const
Return current domain status.
int min(void) const
Return minimum of domain.
NegBoolView(void)
Default constructor.
Post propagator for SetVar SetOpType SetVar y
Generic domain change information to be supplied to advisors.
Post propagator for SetVar x
BoolView x
View from which this view is derived.
Gecode toplevel namespace
ModEvent zero_none(Space &home)
Assign not yet assigned view to zero.
ModEvent one_none(Space &home)
Assign not yet assigned view to one.
bool none(void) const
Test whether view is not yet assigned.
int val(void) const
Return assigned value (only if assigned)
ModEvent one_none(Space &home)
Assign not yet assigned view to one.
bool any(const Delta &d) const
Test whether arbitrary values got pruned.
Boolean view for Boolean variables.