42 namespace Test {
namespace Float {
61 dsv(new Gecode::FloatVal[static_cast<unsigned int>(n)]),
63 using namespace Gecode;
73 assert((i>=0) && (i<
n));
78 assert((i>=0) && (i<
n));
89 dsv(new Gecode::
FloatVal[static_cast<unsigned int>(n)]),
91 using namespace Gecode;
92 for (
int i=n-1;
i--; )
102 assert((i>=0) && (i<
n));
107 assert((i>=0) && (i<
n));
117 using namespace Gecode;
118 using namespace Gecode::Float;
146 assert((i>=0) && (i<
n));
151 assert((i>=0) && (i<
n));
179 :
Base(
"Float::"+s), arity(a),
dom(d),
step(st), assigmentType(at),
180 reified(r), rms((1 << Gecode::
RM_EQV) ||
183 testsearch(true), testfix(true), testsubsumed(true) {}
189 :
Base(
"Float::"+s), arity(a),
dom(min,max),
step(st),
190 assigmentType(at), reified(r),
191 rms((1 << Gecode::
RM_EQV) ||
194 testsearch(true), testfix(true), testsubsumed(true) {}
199 using namespace Gecode;
225 s <<
"[" << f.
min() <<
":" << f.
max() <<
"]";
233 for (
int i=0;
i<x.
size()-1;
i++)
234 s +=
str(x[
i]) +
",";
235 return "[" + s +
str(x[x.
size()-1]) +
"]";
240 using namespace Gecode;