42 #ifndef __GECODE_INT_BIN_PACKING_HH__ 43 #define __GECODE_INT_BIN_PACKING_HH__ 107 int card(
void)
const;
109 int total(
void)
const;
111 int operator [](
int i)
const;
127 int card(
void)
const;
129 int total(
void)
const;
131 int operator [](
int i)
const;
163 template<
class SizeSet>
164 bool nosum(
const SizeSet&
s,
int a,
int b,
int& ap,
int& bp);
166 template<
class SizeSet>
181 virtual size_t dispose(
Space& home);
195 int nodes(
void)
const;
207 void allocate(
Region& r,
int n);
209 void init(
Region& r,
int n);
211 bool in(
int i)
const;
217 void copy(
int n,
const NodeSet& ns);
258 void operator ++(
void);
264 int operator ()(
void)
const;
283 void incl(
int i,
unsigned int w);
285 void excl(
int i,
unsigned int w);
315 void edge(
int i,
int j,
bool add=
true);
317 bool adjacent(
int i,
int j)
const;
321 IntSet maxclique(
void)
const;
int * s
Array of sizes (will have more elements)
int p
Position of discarded item.
Item combining bin and size information.
ViewArray< Item > bs
Items with bin and size.
static ModEventDelta med(ModEvent)
Translate modification event me to modification event delta for view.
Node * node
The nodes in the graph.
int t
Total size of all items.
unsigned int c
Cardinality of clique.
Basic bitset support (without stored size information)
Base-class for propagators.
int n
Number of size entries in the set.
ViewArray< OffsetView > l
Views for load of bins.
int size(void) const
Return size of item.
const unsigned int card
Maximum cardinality of an integer set.
Base-class for derived views.
Base-class for both propagators and branchers.
Graph containing conflict information.
void update(Space &home, bool share, Item &i)
Update item during cloning.
struct Gecode::@579::NNF::@61::@63 a
For atomic nodes.
Gecode::FloatVal c(-8, 8)
int p
Number of positive literals for node type.
Gecode::IntArgs i(4, 1, 2, 3, 4)
int n
Number of negative literals for node type.
bool operator<(const Item &i, const Item &j)
For sorting according to size.
struct Gecode::@579::NNF::@61::@62 b
For binary nodes (and, or, eqv)
unsigned int w
Weight (initialized with degree before graph is reduced)
Passing integer variables.
Item(void)
Default constructor.
Post propagator for SetVar SetOpType SetVar SetRelType r
bool before(const Item &i, const Item &j)
Test whether one item is before another.
Integer view for integer variables.
IntView bin(void) const
Return bin of item.
bool same(const Item &i, const Item &j)
Whether two items are the same.
Clique max
Largest clique so far.
Size sets with one element discarded.
int t
Total size of the set.
unsigned int w
Weight of clique.
NodeSet n
Nodes in the clique.
const IntVarArgs & b
Bin variables.
void reschedule(Space &home, Propagator &p, PropCond pc)
Re-schedule propagator p with propagation condition pc.
IntView x
View from which this view is derived.
Gecode toplevel namespace
unsigned int bins
Number of bins.
#define GECODE_INT_EXPORT
int ModEventDelta
Modification event deltas.
Home class for posting propagators
TFE post(PropagatorGroup g)
Only post functions (but not propagators) from g are considered.