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;
375 static int min(
const Delta&
d);
378 static int max(
const Delta&
d);
380 static bool any(
const Delta&
d);
408 bool operator ()(
void)
const;
411 void operator ++(
void);
421 unsigned int width(
void)
const;
451 bool operator ()(
void)
const;
454 void operator ++(
void);
464 unsigned int width(
void)
const;
478 namespace Gecode {
namespace Int {
489 friend class ::Gecode::BoolVar;
515 static const int BITS = 2;
518 static const BoolStatus ZERO = 0;
520 static const BoolStatus ONE = 3;
522 static const BoolStatus NONE = 2;
524 BoolStatus status(
void)
const;
539 unsigned int size(
void)
const;
541 unsigned int width(
void)
const;
543 unsigned int regret_min(
void)
const;
545 unsigned int regret_max(
void)
const;
550 bool zero(
void)
const;
553 bool one(
void)
const;
555 bool none(
void)
const;
560 bool range(
void)
const;
566 bool in(
int n)
const;
568 bool in(
long long int n)
const;
690 static int min(
const Delta&
d);
692 static int max(
const Delta&
d);
694 static bool any(
const Delta&
d);
696 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.
struct Gecode::@554::NNF::@60::@62 a
For atomic nodes.
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.
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
void reschedule(Space &home, Propagator &p, IntSet &y)
struct Gecode::@554::NNF::@60::@61 b
For binary nodes (and, or, eqv)
int ModEventDelta
Modification event deltas.