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