38 #ifndef __GECODE_INT_NVALUES_HH__ 39 #define __GECODE_INT_NVALUES_HH__ 49 namespace Gecode {
namespace Int {
namespace NValues {
80 int pos(
int x,
int y)
const;
85 bool get(
int x,
int y)
const;
87 void set(
int x,
int y);
97 namespace Gecode {
namespace Int {
namespace NValues {
108 int size(
void)
const;
112 void sync(
Space& home);
127 namespace Gecode {
namespace Int {
namespace NValues {
148 void add(
Space& home);
181 virtual size_t dispose(
Space& home);
215 virtual size_t dispose(
Space& home);
247 virtual size_t dispose(
Space& home);
290 namespace Gecode {
namespace Int {
namespace NValues {
302 static const int VS_ZERO = 1 << 0;
304 static const int VS_ONE = 1 << 1;
321 virtual size_t dispose(
Space& home);
Greater or equal to number of values propagator for integer views.
Event for range-based overlap analysis.
int n_matched
Number of matched edges.
void eliminate(Term< BoolView > *t, int &n, long long int &d)
Eliminate assigned views.
void post(Home home, Term *t, int n, FloatRelType frt, FloatVal c)
Post propagator for linear constraint over floats.
Less or equal to number of values propagator for Boolean views.
bool pos(const View &x)
Test whether x is postive.
Mixed (n+1)-ary propagator.
Equal to number of values propagator for integer views.
Base-class for propagators.
int val
The value for the range (first or last value, depending on type)
void * mark(void *p)
Return marked pointer for p.
ExecStatus prune(Space &home, ViewArray< VX > &x, ConstIntView)
Base-class for both propagators and branchers.
int status
Status information about the views.
VY y
The view for counting the number of values.
int p
Number of positive literals for node type.
int view
Which view does this range belong to.
Number of values propagator for Boolean views base class.
unsigned int size(I &i)
Size of all ranges of range iterator i.
struct Gecode::@519::NNF::@60::@62 a
For atomic nodes.
View-value graph for propagation of upper bound.
View-value graph base class.
ValSet vs
Value set storing the values of already assigned views.
RangeEventType
Event type for range-based overlap analysis.
Less or equal to number of values propagator for integer views.
bool operator<(RangeEvent re) const
Order events: first by val, then by event type.
RangeEventType ret
The event type.
Node * x
Pointer to corresponding Boolean expression node.
Generic domain change information to be supplied to advisors.
Symmetric diagonal bit matrix.
bool disjoint(I &i, J &j)
Check whether range iterators i and j are disjoint.
Greater or equal to number of values propagator for Boolean views.
Class for storing values of already assigned views.
Equal to number of values propagator for Boolean views.
Gecode toplevel namespace
Number of values propagator for integer views base class.
int ModEventDelta
Modification event deltas.
Council< ViewAdvisor< BoolView > > c
The advisor council.
Home class for posting propagators