48 using namespace Float;
73 using namespace Float;
97 using namespace Float;
123 post(home,x0,x1,
n)));
127 post(home,x0,x1,
n)));
131 post(home,x0,x1,
n)));
164 post(home,x0,x1,
n)));
168 post(home,x0,x1,
n)));
172 post(home,x0,x1,
n)));
185 using namespace Float;
187 if (home.
failed())
return;
211 GECODE_ES_FAIL((Rel::ReEqFloat<FloatView,Int::NegBoolView,RM_EQV>::
215 GECODE_ES_FAIL((Rel::ReEqFloat<FloatView,Int::NegBoolView,RM_PMI>::
219 GECODE_ES_FAIL((Rel::ReEqFloat<FloatView,Int::NegBoolView,RM_IMP>::
265 GECODE_ES_FAIL((Rel::ReLeFloat<FloatView,Int::NegBoolView,RM_EQV>::
269 GECODE_ES_FAIL((Rel::ReLeFloat<FloatView,Int::NegBoolView,RM_PMI>::
273 GECODE_ES_FAIL((Rel::ReLeFloat<FloatView,Int::NegBoolView,RM_IMP>::
285 GECODE_ES_FAIL((Rel::ReLqFloat<FloatView,Int::NegBoolView,RM_EQV>::
289 GECODE_ES_FAIL((Rel::ReLqFloat<FloatView,Int::NegBoolView,RM_PMI>::
293 GECODE_ES_FAIL((Rel::ReLqFloat<FloatView,Int::NegBoolView,RM_IMP>::
307 using namespace Float;
309 if (home.
failed())
return;
312 for (
int i=x.
size();
i--; ) {
317 for (
int i=x.
size();
i--; ) {
322 for (
int i=x.
size();
i--; ) {
327 for (
int i=x.
size();
i--; ) {
333 for (
int i=x.
size();
i--; ) {
338 for (
int i=x.
size();
i--; ) {
350 using namespace Float;
351 if (home.
failed())
return;
354 for (
int i=x.
size();
i--; ) {
359 for (
int i=x.
size();
i--; ) {
364 for (
int i=x.
size();
i--; ) {
369 for (
int i=x.
size();
i--; ) {
374 for (
int i=x.
size();
i--; ) {
379 for (
int i=x.
size();
i--; ) {