Go to the documentation of this file.
40 namespace Gecode {
namespace Int {
namespace GCC {
50 int m =
l + (
r -
l) / 2;
55 }
else if (
v <
a[m].
card()) {
167 unsigned int size(
void)
const;
171 int card(
void)
const;
218 _min =
min; _max=
max; _card =
c; _counter = 0;
249 if (++_counter > _max)
267 if ((_min >
n) || (_max <
n))
281 _min=
x._min; _max=
x._max; _card=
x._card; _counter=
x._counter;
Post propagator for SetVar x
int card(void) const
Return cardinality.
Post propagator for SetVar SetOpType SetVar y
void max(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
Constant view containing lower and upper cardinality bounds.
void reschedule(Space &home, Propagator &p, PropCond pc)
Schedule propagator p.
const Gecode::ModEvent ME_INT_FAILED
Domain operation has resulted in failure.
void init(const View &x)
Initialize with ranges for view x.
ModEvent eq(Space &home, int n)
Restrict domain values to be equal to n.
int min(void) const
Return minimum of domain.
CardView(void)
Default constructor.
int card(void) const
Return cardinality.
void update(Space &home, CardConst &x)
void cancel(Space &home, Propagator &p, PropCond pc)
Cancel subscription of propagator p with propagation condition pc to view.
const Gecode::ModEvent ME_INT_NONE
Domain operation has not changed domain.
ModEvent minus_v(Space &home, I &i, bool depends=true)
Remove from domain the values described by i.
ModEvent gq(Space &home, int n)
Restrict domain values to be greater or equal than n.
void update(Space &home, VarImpView< Var > &y)
Update this view to be a clone of view y.
ModEvent inter_v(Space &home, I &i, bool depends=true)
Intersect domain with values described by i.
bool lookupValue(T &a, int v, int &i)
Return index of v in array a.
ModEvent lq(Space &home, int n)
Restrict domain values to be less or equal than n.
ModEvent lq(Space &home, int n)
Restrict domain values to be less or equal than n.
static const bool propagate
This view does not require propagation.
Base-class for derived views.
Gecode toplevel namespace
int max(void) const
Return maximum of domain.
Base-class for propagators.
VarImp * x
Pointer to variable implementation.
bool assigned(void) const
Range iterator for integer views.
const unsigned int card
Maximum cardinality of an integer set.
unsigned int size(void) const
Return size (cardinality) of domain.
IntView base(void) const
Return used IntView (cannot be used)
void init(Space &home, int min, int max, int c)
Initialize with min, max, and cardinality c.
ModEvent inter_v(Space &home, I &i, bool depends=true)
Intersect domain with values described by i.
unsigned int size(void) const
Return size (cardinality) of domain.
const ModEvent ME_GEN_NONE
Generic modification event: no modification.
ModEvent gq(Space &home, int n)
Restrict domain values to be greater or equal than n.
int max(void) const
Return maximum of domain.
Post propagator for SetVar SetOpType SetVar SetRelType r
void init(const IntView &y, int c)
Initialize with integer view y and value c.
ViewRanges(void)
Default constructor.
int counter(void) const
Return the number of times the value occurs.
const double base
Base for geometric restart sequence.
#define GECODE_NEVER
Assert that this command is never executed.
ModEvent eq(Space &home, int n)
Restrict domain values to be equal to n.
struct Gecode::@602::NNF::@65::@67 a
For atomic nodes.
int ModEvent
Type for modification events.
int min(void) const
Return minimum of domain.
int PropCond
Type for propagation conditions.
IntView x
View from which this view is derived.
Integer view for integer variables.
ModEvent inc(void)
Increment counter.
Range iterator for integer variable views
int counter(void) const
Return the number of times the value occurs.
int min(void) const
Return minimum of domain.
static const bool propagate
This view does require propagation.
void min(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
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.
Gecode::FloatVal c(-8, 8)
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.
CardConst(void)
Default constructor.
void update(Space &home, CardView &x)
void subscribe(Space &home, Propagator &p, PropCond pc, bool process=true)
Cancel subscription of propagator p with propagation condition pc to view.
int n
Number of negative literals for node type.
ModEvent minus_v(Space &home, I &i, bool depends=true)
Remove from domain the values described by i.
Cardinality integer view.
Gecode::IntArgs i({1, 2, 3, 4})
int p
Number of positive literals for node type.
ModEvent inc(void)
Increment counter.
ModEvent eq(Space &home, int n)
Restrict domain values to be equal to n.
int max(void) const
Return maximum of domain.