38 namespace Int {
namespace NoOverlap {
42 for (
int i=0;
i<m.size();
i++)
56 using namespace NoOverlap;
57 if ((
x.size() != w.size()) || (
x.size() !=
y.size()) ||
58 (
x.size() != h.size()))
60 for (
int i=0;
i<
x.size();
i++) {
71 =
static_cast<Space&
>(home).alloc<ManBox<FixDim,2> >(
x.size());
72 for (
int i=0;
i<
x.size();
i++) {
73 b[
i][0] = FixDim(
x[
i],w[
i]);
74 b[
i][1] = FixDim(
y[
i],h[
i]);
88 using namespace NoOverlap;
89 if ((
x.size() != w.size()) || (
x.size() !=
y.size()) ||
90 (
x.size() != h.size()) || (
x.size() != m.size()))
92 for (
int i=0;
i<
x.size();
i++) {
104 =
static_cast<Space&
>(home).alloc<OptBox<FixDim,2> >(
x.size());
105 for (
int i=0;
i<
x.size();
i++) {
106 b[
i][0] = FixDim(
x[
i],w[
i]);
107 b[
i][1] = FixDim(
y[
i],h[
i]);
114 =
static_cast<Space&
>(home).alloc<ManBox<FixDim,2> >(
x.size());
116 for (
int i=0;
i<
x.size();
i++)
118 b[
n][0] = FixDim(
x[
i],w[
i]);
119 b[
n][1] = FixDim(
y[
i],h[
i]);
132 using namespace NoOverlap;
133 if ((x0.size() != w.size()) || (x0.size() != x1.size()) ||
134 (x0.size() != y0.size()) || (x0.size() != h.size()) ||
135 (x0.size() != y1.size()))
139 for (
int i=0;
i<x0.size();
i++) {
145 IntArgs wc(x0.size()), hc(x0.size());
146 for (
int i=0;
i<x0.size();
i++) {
153 =
static_cast<Space&
>(home).alloc<ManBox<FlexDim,2> >(x0.size());
154 for (
int i=0;
i<x0.size();
i++) {
155 b[
i][0] = FlexDim(x0[
i],w[
i],x1[
i]);
156 b[
i][1] = FlexDim(y0[
i],h[
i],y1[
i]);
170 using namespace NoOverlap;
171 if ((x0.size() != w.size()) || (x0.size() != x1.size()) ||
172 (x0.size() != y0.size()) || (x0.size() != h.size()) ||
173 (x0.size() != y1.size()) || (x0.size() != m.size()))
177 for (
int i=0;
i<x0.size();
i++) {
183 IntArgs wc(x0.size()), hc(x0.size());
184 for (
int i=0;
i<x0.size();
i++) {
191 =
static_cast<Space&
>(home).alloc<OptBox<FlexDim,2> >(x0.size());
192 for (
int i=0;
i<x0.size();
i++) {
193 b[
i][0] = FlexDim(x0[
i],w[
i],x1[
i]);
194 b[
i][1] = FlexDim(y0[
i],h[
i],y1[
i]);
201 =
static_cast<Space&
>(home).alloc<ManBox<FlexDim,2> >(x0.size());
203 for (
int i=0;
i<x0.size();
i++)
205 b[
n][0] = FlexDim(x0[
i],w[
i],x1[
i]);
206 b[
n][1] = FlexDim(y0[
i],h[
i],y1[
i]);