44 namespace Test {
namespace Float {
51 for (
int i=a.
size();
i--; )
76 :
Test(
"Linear::Float::"+
77 str(frt0)+
"::"+s+
"::"+
str(c0)+
"::"
80 a(a0),
frt(frt0),
c(c0) {
81 using namespace Gecode;
89 for (
int i=x.
size();
i--; )
94 for (
int i=x.
size();
i--; )
137 :
Test(
"Linear::Var::"+
141 using namespace Gecode;
199 using namespace Gecode;
216 const FloatVal av2[4] = {1.0,1.0,1.0,1.0};
217 const FloatVal av3[4] = {1.0,-1.0,-1.0,1.0};
218 const FloatVal av4[4] = {2.0,3.0,5.0,7.0};
219 const FloatVal av5[4] = {-2.0,3.0,-5.0,7.0};
221 for (
int i=1;
i<=4;
i++) {