bin-packing.hh
Go to the documentation of this file.00001
00002
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00013
00014
00015
00016
00017
00018
00019
00020
00021
00022
00023
00024
00025
00026
00027
00028
00029
00030
00031
00032
00033
00034
00035
00036
00037
00038 #ifndef __GECODE_INT_BIN_PACKING_HH__
00039 #define __GECODE_INT_BIN_PACKING_HH__
00040
00041 #include <gecode/int.hh>
00042
00048 namespace Gecode { namespace Int { namespace BinPacking {
00049
00053 class Item : public DerivedView<IntView> {
00054 protected:
00055 using DerivedView<IntView>::x;
00057 int s;
00058 public:
00060 Item(void);
00062 Item(IntView b, int s);
00063
00065 IntView bin(void) const;
00067 void bin(IntView b);
00069 int size(void) const;
00071 void size(int s);
00072
00074 void update(Space& home, bool share, Item& i);
00075 };
00076
00078 bool same(const Item& i, const Item& j);
00080 bool before(const Item& i, const Item& j);
00081
00083 bool operator <(const Item& i, const Item& j);
00084
00085
00087 class SizeSet {
00088 protected:
00090 int n;
00092 int t;
00094 int* s;
00095 public:
00097 SizeSet(void);
00099 SizeSet(Region& region, int n_max);
00101 void add(int s);
00103 int card(void) const;
00105 int total(void) const;
00107 int operator [](int i) const;
00108 };
00109
00111 class SizeSetMinusOne : public SizeSet {
00112 protected:
00114 int p;
00115 public:
00117 SizeSetMinusOne(void);
00119 SizeSetMinusOne(Region& region, int n);
00121 void minus(int s);
00123 int card(void) const;
00125 int total(void) const;
00127 int operator [](int i) const;
00128 };
00129
00130
00141 class Pack : public Propagator {
00142 protected:
00144 ViewArray<OffsetView> l;
00146 ViewArray<Item> bs;
00148 int t;
00150 Pack(Home home, ViewArray<OffsetView>& l, ViewArray<Item>& bs);
00152 Pack(Space& home, bool share, Pack& p);
00153 public:
00155 GECODE_INT_EXPORT
00156 static ExecStatus post(Home home,
00157 ViewArray<OffsetView>& l, ViewArray<Item>& bs);
00159 template<class SizeSet>
00160 bool nosum(const SizeSet& s, int a, int b, int& ap, int& bp);
00162 template<class SizeSet>
00163 bool nosum(const SizeSet& s, int a, int b);
00165 GECODE_INT_EXPORT
00166 virtual ExecStatus propagate(Space& home, const ModEventDelta& med);
00168 GECODE_INT_EXPORT
00169 virtual PropCost cost(const Space& home, const ModEventDelta& med) const;
00171 GECODE_INT_EXPORT
00172 virtual Actor* copy(Space& home, bool share);
00174 virtual size_t dispose(Space& home);
00175 };
00176
00177 }}}
00178
00179 #include <gecode/int/bin-packing/propagate.hpp>
00180
00181 #endif
00182
00183
00184