48 using namespace Float;
73 using namespace Float;
97 using namespace Float;
104 post(home,x0,x1,
r.var())));
108 post(home,x0,x1,
r.var())));
112 post(home,x0,x1,
r.var())));
123 post(home,x0,x1,
n)));
127 post(home,x0,x1,
n)));
131 post(home,x0,x1,
n)));
143 post(home,x0,x1,
r.var())));
147 post(home,x0,x1,
r.var())));
151 post(home,x0,x1,
r.var())));
164 post(home,x0,x1,
n)));
168 post(home,x0,x1,
n)));
172 post(home,x0,x1,
n)));
185 using namespace Float;
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;
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;
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--; ) {