42 namespace Gecode {
namespace Set {
84 namespace Gecode {
namespace Set {
126 void dispose(
Space& home);
137 int minN(
unsigned int n)
const;
139 unsigned int size(
void)
const;
141 unsigned int card(
void)
const;
143 void card(
unsigned int c);
148 bool empty(
void)
const;
151 bool in(
int i)
const;
168 template<
class I>
bool overwrite(
Space& home,I&
i);
194 void init(
const BndSet& s);
221 void init(
Space& home);
229 template<
class I>
bool includeI(
Space& home,I& i);
259 void init(
Space& home);
269 template<
class I>
bool intersectI(
Space& home, I& i);
271 template<
class I>
bool excludeI(
Space& home, I& i);
273 void excludeAll(
Space& home);
326 void init(
const T& x);
331 bool operator ()(
void)
const;
334 void operator ++(
void);
344 unsigned int width(
void)
const;
368 void init(
const T& x);
373 bool operator ()(
void)
const;
376 void operator ++(
void);
386 unsigned int width(
void)
const;
414 void init(
const T& x);
423 namespace Gecode {
namespace Set {
456 unsigned int cardMin = 0,
467 unsigned int cardMin,
unsigned int cardMax);
477 unsigned int cardMin,
unsigned int cardMax);
487 unsigned int cardMin,
unsigned int cardMax);
492 unsigned int cardMin(
void)
const;
495 unsigned int cardMax(
void)
const;
501 int lubMinN(
unsigned int n)
const;
507 unsigned int glbSize(
void)
const;
509 unsigned int lubSize(
void)
const;
517 bool knownIn(
int n)
const;
519 bool knownOut(
int)
const;
525 template<
class I>
ModEvent includeI_full(
Space& home,
int mi,
int ma, I&
i);
528 template<
class I>
ModEvent excludeI_full(
Space& home,
int mi,
int ma, I&
i);
530 template<
class I>
ModEvent intersectI_full(
Space& home,
int mi,
int ma, I&
i);
Range iterator for the unknown set.
const int min
Smallest allowed integer in integer set.
void max(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
Range iterator for range lists
Shrinking sets of integers.
int ModEvent
Type for modification events.
Base-class for propagators.
Range iterator for the greatest lower bound.
Finite integer set variable implementation.
Range iterator for computing the complement (described by template arguments)
const unsigned int card
Maximum cardinality of an integer set.
const int max
Largest allowed integer in integer set.
Range iterator for the least upper bound.
ModEvent exclude(Space &home, View &x, int s)
Prune view x to exclude all values from s.
Gecode::FloatVal c(-8, 8)
int p
Number of positive literals for node type.
int glbMax(void) const
Return glb maximum.
Gecode::IntArgs i(4, 1, 2, 3, 4)
int n
Number of negative literals for node type.
FloatVal intersect(const FloatVal &x, const FloatVal &y)
int PropCond
Type for propagation conditions.
void subscribe(Space &home, Propagator &p, IntSet &y)
A complement iterator spezialized for the BndSet limits.
unsigned int size(I &i)
Size of all ranges of range iterator i.
Range iterator for integer sets.
unsigned int _size
The size of this set.
unsigned int _card
The cardinality this set represents.
bool glbAny(void) const
Test whether delta represents any domain change in glb.
int glbMin(void) const
Return glb minimum.
Base-class for Set-variable implementations.
int lubMin(void) const
Return lub minimum.
Post propagator for SetVar SetOpType SetVar SetRelType r
void min(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
Set view for set variables
Generic domain change information to be supplied to advisors.
struct Gecode::@585::NNF::@62::@64 a
For atomic nodes.
ModEvent include(Space &home, View &x, int s)
Prune view x to only include values from s.
bool assigned(View x, int v)
Whether x is assigned to value v.
Growing sets of integers.
int lubMax(void) const
Return lub maximum.
bool lubAny(void) const
Test whether delta represents any domain change in lub.
Post propagator for SetVar x
Lists of ranges (intervals)
Gecode toplevel namespace
Range iterator for computing set difference.
void reschedule(Space &home, Propagator &p, IntSet &y)
SetDelta(void)
Create set delta as providing no information (if any is true)
void update(IntSet &y, Space &home, IntSet &py)
#define GECODE_SET_EXPORT
Finite set delta information for advisors.