73 IntVar x =
a[0].post(home, icl);
75 y = result(home,ret,x);
84 y = result(home,ret,
a[0].
post(home, icl));
86 IntVar x0 =
a[0].post(home, icl);
87 IntVar x1 =
a[1].post(home, icl);
89 y = result(home,ret,x0);
90 else if (x1.
max() <= x0.
min())
91 y = result(home,ret,x1);
94 min(home, x0, x1, y, icl);
100 y = result(home,ret);
101 min(home, x, y, icl);
106 y = result(home,ret,
a[0].
post(home, icl));
108 IntVar x0 =
a[0].post(home, icl);
109 IntVar x1 =
a[1].post(home, icl);
111 y = result(home,ret,x1);
112 else if (x1.
max() <= x0.
min())
113 y = result(home,ret,x0);
115 y = result(home,ret);
116 max(home, x0, x1, y, icl);
122 y = result(home,ret);
123 max(home, x, y, icl);
129 IntVar x0 =
a[0].post(home, icl);
130 IntVar x1 =
a[1].post(home, icl);
132 y = result(home,ret,x0);
134 y = result(home,ret,x1);
136 y = result(home,ret,x1);
138 y = result(home,ret,x0);
140 y = result(home,ret);
141 mult(home, x0, x1, y, icl);
148 IntVar x0 =
a[0].post(home, icl);
149 IntVar x1 =
a[1].post(home, icl);
152 y = result(home,ret,x0);
154 y = result(home,ret,x0);
156 y = result(home,ret);
157 div(home, x0, x1, y, icl);
164 IntVar x0 =
a[0].post(home, icl);
165 IntVar x1 =
a[1].post(home, icl);
166 y = result(home,ret);
167 mod(home, x0, x1, y, icl);
173 IntVar x =
a[0].post(home, icl);
177 y = result(home,ret);
178 sqr(home, x, y, icl);
185 IntVar x =
a[0].post(home, icl);
187 y = result(home,ret,x);
189 y = result(home,ret);
190 sqrt(home, x, y, icl);
196 IntVar z =
a[n-1].post(home, icl);
198 y = result(home,ret,
a[z.
val()].post(home, icl));
202 for (
int i=n-1;
i--;) {
203 x[
i] =
a[
i].post(home, icl);
207 y = result(home,ret);
210 for (
int i=n-1;
i--;)
226 if ( (t == ANLE_MIN && (irt ==
IRT_GQ || irt ==
IRT_GR)) ||
231 rel(home, x, irt, c);
233 rel(home,
post(home,NULL,icl), irt, c);
238 rel(home,
post(home,NULL,icl), irt, c, b);
245 dynamic_cast<ArithNonLinExpr*>(e.
nle())->t == t;
249 using namespace MiniModel;
269 n += static_cast<ArithNonLinExpr*>(e1.
nle())->n;
277 for (; i<e0e->
n; i++)
278 ae->
a[i] = e0e->
a[i];
285 for (; i<curN+e1e->
n; i++)
286 ae->
a[i] = e1e->
a[i-curN];
301 n += static_cast<ArithNonLinExpr*>(e1.
nle())->n;
309 for (; i<e0e->
n; i++)
310 ae->
a[i] = e0e->
a[i];
317 for (; i<curN+e1e->
n; i++)
318 ae->
a[i] = e1e->
a[i-curN];
329 for (
int i=x.
size();
i--;)
338 for (
int i=x.
size();
i--;)
390 for (
int i=x.
size();
i--;)
400 for (
int i=x.
size();
i--;)