44 namespace Gecode {
namespace Int {
74 unsigned int width(
void)
const;
83 namespace Gecode {
namespace Int {
130 unsigned int width(
void)
const;
170 void dispose(
Space& home);
173 static void*
operator new(
size_t s,
Space& home);
175 static void*
operator new(
size_t s,
void*
p);
177 static void operator delete(
void*);
179 static void operator delete(
void*,
Space&);
181 static void operator delete(
void*,
void*);
227 unsigned int size(
void)
const;
229 unsigned int width(
void)
const;
231 unsigned int regret_min(
void)
const;
233 unsigned int regret_max(
void)
const;
243 bool range(
void)
const;
249 bool in(
int n)
const;
251 bool in(
long long int n)
const;
265 bool closer_min(
int b)
const;
380 static int min(
const Delta&
d);
383 static int max(
const Delta&
d);
385 static unsigned int width(
const Delta&
d);
387 static bool any(
const Delta&
d);
415 bool operator ()(
void)
const;
418 void operator ++(
void);
428 unsigned int width(
void)
const;
458 bool operator ()(
void)
const;
461 void operator ++(
void);
471 unsigned int width(
void)
const;
485 namespace Gecode {
namespace Int {
496 friend class ::Gecode::BoolVar;
522 static const int BITS = 2;
525 static const BoolStatus ZERO = 0;
527 static const BoolStatus ONE = 3;
529 static const BoolStatus NONE = 2;
531 BoolStatus status(
void)
const;
546 unsigned int size(
void)
const;
548 unsigned int width(
void)
const;
550 unsigned int regret_min(
void)
const;
552 unsigned int regret_max(
void)
const;
557 bool zero(
void)
const;
560 bool one(
void)
const;
562 bool none(
void)
const;
567 bool range(
void)
const;
573 bool in(
int n)
const;
575 bool in(
long long int n)
const;
704 static int min(
const Delta&
d);
706 static int max(
const Delta&
d);
708 static unsigned int width(
const Delta&
d);
710 static bool any(
const Delta&
d);
712 static bool zero(
const Delta&
d);
const FloatNum max
Largest allowed float value.
bool one(const Gecode::FloatValArgs &a)
Check whether has only one coefficients.
void cancel(Space &home, Propagator &p, IntSet &y)
unsigned int BoolStatus
Type for status of a Boolean variable.
RangeList * _lst
Link the last element.
bool any(const View &x)
Test whether x is neither positive nor negative.
int ModEvent
Type for modification events.
Base-class for propagators.
Base-class for Int-variable implementations.
Boolean variable implementation.
Gecode::FloatVal c(-8, 8)
int _max
Maximum of range.
int p
Number of positive literals for node type.
const FloatNum min
Smallest allowed float value.
Gecode::IntArgs i(4, 1, 2, 3, 4)
int n
Number of negative literals for node type.
int PropCond
Type for propagation conditions.
void subscribe(Space &home, Propagator &p, IntSet &y)
unsigned int size(I &i)
Size of all ranges of range iterator i.
void range(Home home, const IntVarArgs &x, SetVar y, SetVar z)
Post constraint .
Range iterator for ranges of integer variable implementation.
Backward iterator for ranges of integer variable implementations.
unsigned int holes
Size of holes in the domain.
Boolean integer variables.
Integer delta information for advisors.
struct Gecode::@585::NNF::@62::@63 b
For binary nodes (and, or, eqv)
Post propagator for f(x \diamond_{\mathit{op}} y) \sim_r z \f$ void rel(Home home
Integer variable implementation.
RangeList dom
Domain information.
Generic domain change information to be supplied to advisors.
Lists of ranges (intervals)
struct Gecode::@585::NNF::@62::@64 a
For atomic nodes.
bool assigned(View x, int v)
Whether x is assigned to value v.
IntDelta(void)
Create integer delta as providing no information.
Base-class for Bool-variable implementations.
Base-class for freelist-managed objects.
Post propagator for SetVar x
Gecode toplevel namespace
int _min
Minimum of range.
#define GECODE_INT_EXPORT
void reschedule(Space &home, Propagator &p, IntSet &y)
int ModEventDelta
Modification event deltas.