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;
323 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.
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 unmarked pointer 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.
struct Gecode::@579::NNF::@61::@63 a
For atomic nodes.
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.
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.
Post propagator for SetVar SetOpType SetVar SetRelType r
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.
Post propagator for SetVar SetOpType SetVar y
RangeEventType ret
The event type.
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.
Post propagator for SetVar x
Class for storing values of already assigned views.
Equal to number of values propagator for Boolean views.
Gecode toplevel namespace
void reschedule(Space &home, Propagator &p, IntSet &y)
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
TFE post(PropagatorGroup g)
Only post functions (but not propagators) from g are considered.