44 namespace Gecode {
namespace Int {
81 namespace Gecode {
namespace Int {
128 unsigned int width(
void)
const;
168 void dispose(
Space& home);
171 static void*
operator new(
size_t s,
Space& home);
173 static void*
operator new(
size_t s,
void*
p);
175 static void operator delete(
void*);
177 static void operator delete(
void*,
Space&);
179 static void operator delete(
void*,
void*);
225 unsigned int size(
void)
const;
227 unsigned int width(
void)
const;
229 unsigned int regret_min(
void)
const;
231 unsigned int regret_max(
void)
const;
241 bool range(
void)
const;
247 bool in(
int n)
const;
249 bool in(
long long int n)
const;
263 bool closer_min(
int b)
const;
373 static int min(
const Delta&
d);
376 static int max(
const Delta&
d);
378 static bool any(
const Delta&
d);
406 bool operator ()(
void)
const;
409 void operator ++(
void);
419 unsigned int width(
void)
const;
449 bool operator ()(
void)
const;
452 void operator ++(
void);
462 unsigned int width(
void)
const;
476 namespace Gecode {
namespace Int {
487 friend class ::Gecode::BoolVar;
513 static const int BITS = 2;
516 static const BoolStatus ZERO = 0;
518 static const BoolStatus ONE = 3;
520 static const BoolStatus NONE = 2;
522 BoolStatus status(
void)
const;
537 unsigned int size(
void)
const;
539 unsigned int width(
void)
const;
541 unsigned int regret_min(
void)
const;
543 unsigned int regret_max(
void)
const;
548 bool zero(
void)
const;
551 bool one(
void)
const;
553 bool none(
void)
const;
558 bool range(
void)
const;
564 bool in(
int n)
const;
566 bool in(
long long int n)
const;
686 static int min(
const Delta&
d);
688 static int max(
const Delta&
d);
690 static bool any(
const Delta&
d);
692 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.
struct Gecode::@519::NNF::@60::@62 a
For atomic nodes.
unsigned int holes
Size of holes in the domain.
Boolean integer variables.
Integer delta information for advisors.
struct Gecode::@519::NNF::@60::@61 b
For binary nodes (and, or, eqv)
Integer variable implementation.
RangeList dom
Domain information.
Node * x
Pointer to corresponding Boolean expression node.
Generic domain change information to be supplied to advisors.
Lists of ranges (intervals)
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.
Gecode toplevel namespace
int _min
Minimum of range.
#define GECODE_INT_EXPORT
int ModEventDelta
Modification event deltas.