38 namespace Gecode {
namespace Int {
168 : Iter::Ranges::Singleton(x.
min(),x.
max()) {}
int val(void) const
Return assigned value (only if assigned)
bool none(void) const
Test whether view is not yet assigned.
int max(void) const
Return maximum of domain.
Range iterator for singleton range.
BoolStatus status(void) const
Return current domain status.
int min(void) const
Return minimum of domain.
unsigned int BoolStatus
Type for status of a Boolean variable.
void max(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
ViewRanges(void)
Default constructor.
int ModEvent
Type for modification events.
bool any(const Delta &d) const
Test whether arbitrary values got pruned.
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.
bool one(void) const
Test whether view is assigned to be one.
ModEvent zero_none(Space &home)
Assign not yet assigned view to zero.
void init(int min, int max)
Initialize with range min to max.
BoolStatus status(void) const
Return current domain status.
int max(void) const
Return maximum of domain.
bool none(void) const
Test whether view is not yet assigned.
NegBoolView(void)
Default constructor.
void min(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
bool one(void) const
Test whether view is assigned to be one.
Node * x
Pointer to corresponding Boolean expression node.
Generic domain change information to be supplied to advisors.
int val(void) const
Return assigned value (only if assigned)
BoolView x
View from which this view is derived.
Gecode toplevel namespace
bool zero(void) const
Test whether view is assigned to be zero.
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 zero(void) const
Test whether view is assigned to be zero.
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.