42 namespace Int {
namespace NoOverlap {
46 for (
int i=m.size();
i--; )
60 using namespace NoOverlap;
61 if ((
x.size() != w.size()) || (
x.size() !=
y.size()) ||
62 (
x.size() != h.size()))
64 for (
int i=
x.size();
i--; ) {
75 =
static_cast<Space&
>(home).alloc<ManBox<FixDim,2> >(
x.size());
76 for (
int i=
x.size();
i--; ) {
77 b[
i][0] = FixDim(
x[
i],w[
i]);
78 b[
i][1] = FixDim(
y[
i],h[
i]);
92 using namespace NoOverlap;
93 if ((
x.size() != w.size()) || (
x.size() !=
y.size()) ||
94 (
x.size() != h.size()) || (
x.size() != m.size()))
96 for (
int i=
x.size();
i--; ) {
108 =
static_cast<Space&
>(home).alloc<OptBox<FixDim,2> >(
x.size());
109 for (
int i=
x.size();
i--; ) {
110 b[
i][0] = FixDim(
x[
i],w[
i]);
111 b[
i][1] = FixDim(
y[
i],h[
i]);
118 =
static_cast<Space&
>(home).alloc<ManBox<FixDim,2> >(
x.size());
120 for (
int i=0;
i<
x.size();
i++)
122 b[
n][0] = FixDim(
x[
i],w[
i]);
123 b[
n][1] = FixDim(
y[
i],h[
i]);
136 using namespace NoOverlap;
137 if ((x0.size() != w.size()) || (x0.size() != x1.size()) ||
138 (x0.size() != y0.size()) || (x0.size() != h.size()) ||
139 (x0.size() != y1.size()))
143 for (
int i=x0.size();
i--; ) {
149 IntArgs wc(x0.size()), hc(x0.size());
150 for (
int i=x0.size();
i--; ) {
157 =
static_cast<Space&
>(home).alloc<ManBox<FlexDim,2> >(x0.size());
158 for (
int i=x0.size();
i--; ) {
159 b[
i][0] = FlexDim(x0[
i],w[
i],x1[
i]);
160 b[
i][1] = FlexDim(y0[
i],h[
i],y1[
i]);
174 using namespace NoOverlap;
175 if ((x0.size() != w.size()) || (x0.size() != x1.size()) ||
176 (x0.size() != y0.size()) || (x0.size() != h.size()) ||
177 (x0.size() != y1.size()) || (x0.size() != m.size()))
181 for (
int i=x0.size();
i--; ) {
187 IntArgs wc(x0.size()), hc(x0.size());
188 for (
int i=x0.size();
i--; ) {
195 =
static_cast<Space&
>(home).alloc<OptBox<FlexDim,2> >(x0.size());
196 for (
int i=x0.size();
i--; ) {
197 b[
i][0] = FlexDim(x0[
i],w[
i],x1[
i]);
198 b[
i][1] = FlexDim(y0[
i],h[
i],y1[
i]);
205 =
static_cast<Space&
>(home).alloc<ManBox<FlexDim,2> >(x0.size());
207 for (
int i=0;
i<x0.size();
i++)
209 b[
n][0] = FlexDim(x0[
i],w[
i],x1[
i]);
210 b[
n][1] = FlexDim(y0[
i],h[
i],y1[
i]);