44 using namespace Float;
69 using namespace Float;
93 using namespace Float;
100 post(home,x0,x1,
r.var())));
104 post(home,x0,x1,
r.var())));
108 post(home,x0,x1,
r.var())));
119 post(home,x0,x1,
n)));
123 post(home,x0,x1,
n)));
127 post(home,x0,x1,
n)));
139 post(home,x0,x1,
r.var())));
143 post(home,x0,x1,
r.var())));
147 post(home,x0,x1,
r.var())));
160 post(home,x0,x1,
n)));
164 post(home,x0,x1,
n)));
168 post(home,x0,x1,
n)));
181 using namespace Float;
207 GECODE_ES_FAIL((Rel::ReEqFloat<FloatView,Int::NegBoolView,RM_EQV>::
211 GECODE_ES_FAIL((Rel::ReEqFloat<FloatView,Int::NegBoolView,RM_PMI>::
215 GECODE_ES_FAIL((Rel::ReEqFloat<FloatView,Int::NegBoolView,RM_IMP>::
261 GECODE_ES_FAIL((Rel::ReLeFloat<FloatView,Int::NegBoolView,RM_EQV>::
265 GECODE_ES_FAIL((Rel::ReLeFloat<FloatView,Int::NegBoolView,RM_PMI>::
269 GECODE_ES_FAIL((Rel::ReLeFloat<FloatView,Int::NegBoolView,RM_IMP>::
281 GECODE_ES_FAIL((Rel::ReLqFloat<FloatView,Int::NegBoolView,RM_EQV>::
285 GECODE_ES_FAIL((Rel::ReLqFloat<FloatView,Int::NegBoolView,RM_PMI>::
289 GECODE_ES_FAIL((Rel::ReLqFloat<FloatView,Int::NegBoolView,RM_IMP>::
303 using namespace Float;
308 for (
int i=
x.size();
i--; ) {
313 for (
int i=
x.size();
i--; ) {
318 for (
int i=
x.size();
i--; ) {
323 for (
int i=
x.size();
i--; ) {
329 for (
int i=
x.size();
i--; ) {
334 for (
int i=
x.size();
i--; ) {
346 using namespace Float;
350 for (
int i=
x.size();
i--; ) {
355 for (
int i=
x.size();
i--; ) {
360 for (
int i=
x.size();
i--; ) {
365 for (
int i=
x.size();
i--; ) {
370 for (
int i=
x.size();
i--; ) {
375 for (
int i=
x.size();
i--; ) {