42 namespace Int {
namespace NoOverlap {
46 for (
int i=m.
size();
i--; )
60 using namespace NoOverlap;
66 for (
int i=x.
size();
i--; ) {
77 =
static_cast<Space&
>(home).alloc<ManBox<FixDim,2> >(x.
size());
78 for (
int i=x.
size();
i--; ) {
79 b[
i][0] = FixDim(x[
i],w[i]);
80 b[
i][1] = FixDim(y[i],h[i]);
93 using namespace NoOverlap;
99 for (
int i=x.
size();
i--; ) {
107 if (home.
failed())
return;
111 =
static_cast<Space&
>(home).alloc<OptBox<FixDim,2> >(x.
size());
112 for (
int i=x.
size();
i--; ) {
113 b[
i][0] = FixDim(x[
i],w[i]);
114 b[
i][1] = FixDim(y[i],h[i]);
120 =
static_cast<Space&
>(home).alloc<ManBox<FixDim,2> >(x.
size());
124 b[n][0] = FixDim(x[
i],w[i]);
125 b[n][1] = FixDim(y[i],h[i]);
138 using namespace NoOverlap;
146 if (home.
failed())
return;
148 for (
int i=x0.
size();
i--; ) {
155 for (
int i=x0.
size();
i--; ) {
162 =
static_cast<Space&
>(home).alloc<ManBox<FlexDim,2> >(x0.
size());
163 for (
int i=x0.
size();
i--; ) {
164 b[
i][0] = FlexDim(x0[
i],w[i],x1[i]);
165 b[
i][1] = FlexDim(y0[i],h[i],y1[i]);
178 using namespace NoOverlap;
187 if (home.
failed())
return;
189 for (
int i=x0.
size();
i--; ) {
196 for (
int i=x0.
size();
i--; ) {
203 =
static_cast<Space&
>(home).alloc<OptBox<FlexDim,2> >(x0.
size());
204 for (
int i=x0.
size();
i--; ) {
205 b[
i][0] = FlexDim(x0[
i],w[i],x1[i]);
206 b[
i][1] = FlexDim(y0[i],h[i],y1[i]);
212 =
static_cast<Space&
>(home).alloc<ManBox<FlexDim,2> >(x0.
size());
214 for (
int i=0;
i<x0.
size();
i++)
216 b[n][0] = FlexDim(x0[
i],w[i],x1[i]);
217 b[n][1] = FlexDim(y0[i],h[i],y1[i]);