47 namespace Test {
namespace Float {
50 namespace Arithmetic {
65 return eq(x[0] * x[1], x[2]);
84 return eq(x[0] * x[1], x[2]);
110 return eq(x[0] * x[0], x[1]);
126 return eq(x[0] * x[0], x[1]);
152 return eq(x[0] * x[1], x[0]);
168 return eq(x[0] * x[1], x[1]);
184 return eq(x[0] * x[0], x[0]);
200 return eq(x[0] / x[1], x[2]);
219 return eq(x[0] / x[1], x[2]);
245 return eq(x[0] * x[0], x[1]);
264 return eq(x[0] * x[0], x[1]);
290 return eq(x[0] * x[0], x[0]);
310 return eq(
sqrt(x[0]), x[1]);
334 return eq(
sqrt(x[0]), x[1]);
365 return eq(
sqrt(x[0]), x[0]);
383 return eq(
pow(x[0],n), x[1]);
403 return eq(
pow(x[0],n), x[1]);
430 return eq(
pow(x[0],n), x[0]);
447 if ((n == 0) || (x[0].
max() < 0.0))
449 return eq(
nroot(x[0],n), x[1]);
469 if ((n == 0) || (x[0].
max() < 0.0))
471 return eq(
nroot(x[0],n), x[1]);
475 if ((n == 0) || (x[0].
max() < 0))
500 if ((n == 0) || (x[0].
max() < 0))
502 return eq(
nroot(x[0],n), x[0]);
518 return eq(
abs(x[0]), x[1]);
537 return eq(
abs(x[0]), x[0]);
553 return eq(
min(x[0],x[1]), x[2]);
572 return eq(
min(x[0],x[0]), x[1]);
588 return eq(
min(x[0],x[1]), x[0]);
604 return eq(
min(x[0],x[1]), x[1]);
620 return eq(
min(x[0],x[0]), x[0]);
636 return eq(
max(x[0],x[1]), x[2]);
655 return eq(
max(x[0],x[0]), x[1]);
671 return eq(
max(x[0],x[1]), x[0]);
687 return eq(
max(x[0],x[1]), x[1]);
703 return eq(
max(x[0],x[0]), x[0]);
719 return eq(
min(
min(x[0],x[1]),x[2]), x[3]);
724 m[0]=x[0]; m[1]=x[1]; m[2]=x[2];
740 return eq(
min(
min(x[0],x[1]),x[2]), x[1]);
745 m[0]=x[0]; m[1]=x[1]; m[2]=x[2];
758 return eq(
max(
max(x[0],x[1]),x[2]), x[3]);
763 m[0]=x[0]; m[1]=x[1]; m[2]=x[2];
779 return eq(
max(
max(x[0],x[1]),x[2]), x[1]);
784 m[0]=x[0]; m[1]=x[1]; m[2]=x[2];
PowXYSol pow_xy_sol_c_3("C", c, 0, step)
Test for pow constraint with shared variables
MaxXYX max_xyx_a("A", a, step)
virtual void post(Gecode::Space &home, Gecode::FloatVarArray &x)
Post constraint on x.
PowXYSol pow_xy_sol_b_3("B", b, 0, step)
Test for binary minimum constraint
MinXXX(const std::string &s, const Gecode::FloatVal &d, Gecode::FloatNum st)
Create and register test.
static MaybeType eq(Gecode::FloatVal x, Gecode::FloatVal y)
Whether x and y are equal.
MaxXXY max_xxy_c("C", c, step)
NRootXYSol nroot_xy_sol_a_3("A", a, 0, step)
MinXYZ min_xyz_b("B", b, step)
Test for division constraint
SqrXY sqr_xy_a("A", a, step)
SqrtXY sqrt_xy_a("A", a, step)
Test for multiplication constraint
const Gecode::FloatNum step
virtual void post(Gecode::Space &home, Gecode::FloatVarArray &x)
Post constraint on x.
PowXX pow_xx_c_2("C", c, 3, step)
SqrXX sqr_xx_b("B", b, step)
virtual void post(Gecode::Space &home, Gecode::FloatVarArray &x)
Post constraint on x.
Test for n-ary minimmum constraint
void mult(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
virtual void post(Gecode::Space &home, Gecode::FloatVarArray &x)
Post constraint on x.
SqrXX(const std::string &s, const Gecode::FloatVal &d, Gecode::FloatNum st)
Create and register test.
virtual void post(Gecode::Space &home, Gecode::FloatVarArray &x)
Post constraint on x.
PowXX pow_xx_b_2("B", b, 3, step)
virtual MaybeType solution(const Assignment &x) const
Test whether x is solution
NRootXYSol nroot_xy_sol_b_1("B", b, 2, step)
MultXXY(const std::string &s, const Gecode::FloatVal &d, Gecode::FloatNum st)
Create and register test.
MultXYY mult_xyy_b("B", b, step)
MinXYZ min_xyz_a("A", a, step)
bool subset(const FloatVal &x, const FloatVal &y)
virtual MaybeType solution(const Assignment &x) const
Test whether x is solution
MultXYX mult_xyx_b("B", b, step)
NRootXYSol nroot_xy_sol_a_1("A", a, 2, step)
Test for nroot constraint with shared variables
virtual MaybeType solution(const Assignment &x) const
Test whether x is solution
MultXYX mult_xyx_c("C", c, step)
NRootXYSol nroot_xy_sol_c_3("C", c, 0, step)
virtual MaybeType solution(const Assignment &x) const
Test whether x is solution
MaxXXY(const std::string &s, const Gecode::FloatVal &d, Gecode::FloatNum st)
Create and register test.
PowXY(const std::string &s, const Gecode::FloatVal &d, unsigned int _n, Gecode::FloatNum st)
Create and register test.
Test for multiplication constraint with shared variables
Test for binary minimum constraint with shared variables
virtual MaybeType solution(const Assignment &x) const
Test whether x is solution
MinXYX(const std::string &s, const Gecode::FloatVal &d, Gecode::FloatNum st)
Create and register test.
virtual MaybeType solution(const Assignment &x) const
Test whether x is solution
PowXY pow_xy_c_2("C", c, 3, step)
virtual bool extendAssignement(Assignment &x) const
Extend assignment x.
SqrtXX sqrt_xx_a("A", a, step)
virtual void post(Gecode::Space &home, Gecode::FloatVarArray &x)
Post constraint on x.
void max(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
MultXXY mult_xxy_a("A", a, step)
void abs(Home home, FloatVar x0, FloatVar x1)
Post propagator for .
MinXYX min_xyx_c("C", c, step)
virtual void post(Gecode::Space &home, Gecode::FloatVarArray &x)
Post constraint on x.
SqrXYSol(const std::string &s, const Gecode::FloatVal &d, Gecode::FloatNum st)
Create and register test.
void nroot(Home home, FloatVar x0, int n, FloatVar x1)
Post propagator for for $n 0$.
Test for multiplication constraint with shared variables when solution is ensured ...
DivSol(const std::string &s, const Gecode::FloatVal &d, Gecode::FloatNum st)
Create and register test.
MultXXX mult_xxx_c("C", c, step)
void pow(Home home, FloatVar x0, int n, FloatVar x1)
Post propagator for for $n 0$.
NRootXY nroot_xy_a_2("A", a, 3, step)
virtual MaybeType solution(const Assignment &x) const
Test whether x is solution
PowXY pow_xy_a_1("A", a, 2, step)
AbsXX abs_xx_c("C", c, step)
virtual MaybeType solution(const Assignment &x) const
Test whether x is solution
virtual void post(Gecode::Space &home, Gecode::FloatVarArray &x)
Post constraint on x.
NRootXY nroot_xy_a_3("A", a, 0, step)
MultXXYSol mult_xxy_sol_c("C", c, step)
PowXX pow_xx_a_2("A", a, 3, step)
virtual void post(Gecode::Space &home, Gecode::FloatVarArray &x)
Post constraint on x.
MinXXY min_xxy_b("B", b, step)
NRootXYSol nroot_xy_sol_b_2("B", b, 3, step)
static MaybeType cmp(Gecode::FloatVal x, Gecode::FloatRelType r, Gecode::FloatVal y)
Compare x and y with respect to r.
MaxXXY max_xxy_a("A", a, step)
PowXX(const std::string &s, const Gecode::FloatVal &d, unsigned int _n, Gecode::FloatNum st)
Create and register test.
MultXXX(const std::string &s, const Gecode::FloatVal &d, Gecode::FloatNum st)
Create and register test.
MaxXYX max_xyx_b("B", b, step)
NRootXY nroot_xy_b_3("B", b, 0, step)
virtual void post(Gecode::Space &home, Gecode::FloatVarArray &x)
Post constraint on x.
MaxXYY max_xyy_b("B", b, step)
Test for multiplication constraint with shared variables
virtual MaybeType solution(const Assignment &x) const
Test whether x is solution
virtual void post(Gecode::Space &home, Gecode::FloatVarArray &x)
Post constraint on x.
NRootXX nroot_xx_a_3("A", a, 0, step)
Test for squaring constraint
void sqr(Home home, IntVar x0, IntVar x1, IntConLevel icl)
Post propagator for .
static std::string str(Gecode::FloatRelType frt)
Map float relation to string.
virtual void post(Gecode::Space &home, Gecode::FloatVarArray &x)
Post constraint on x.
PowXX pow_xx_a_1("A", a, 2, step)
MultXYX mult_xyx_a("A", a, step)
MultXYZ(const std::string &s, const Gecode::FloatVal &d, Gecode::FloatNum st)
Create and register test.
virtual void post(Gecode::Space &home, Gecode::FloatVarArray &x)
Post constraint on x.
SqrtXYSol(const std::string &s, const Gecode::FloatVal &d, Gecode::FloatNum st)
Create and register test.
Test for binary maximum constraint with shared variables
void min(Home home, const IntVarArgs &x, IntVar y, IntConLevel icl)
Post propagator for .
virtual void post(Gecode::Space &home, Gecode::FloatVarArray &x)
Post constraint on x.
void pow(Home home, IntVar x0, int n, IntVar x1, IntConLevel icl)
Post propagator for .
PowXY pow_xy_c_3("C", c, 0, step)
MaxXXX(const std::string &s, const Gecode::FloatVal &d, Gecode::FloatNum st)
Create and register test.
virtual void post(Gecode::Space &home, Gecode::FloatVarArray &x)
Post constraint on x.
virtual MaybeType solution(const Assignment &x) const
Test whether x is solution
virtual MaybeType solution(const Assignment &x) const
Test whether x is solution
virtual MaybeType solution(const Assignment &x) const
Test whether x is solution
SqrXYSol sqr_xy_sol_c("C", c, step)
virtual void post(Gecode::Space &home, Gecode::FloatVarArray &x)
Post constraint on x.
virtual MaybeType solution(const Assignment &x) const
Test whether x is solution
virtual MaybeType solution(const Assignment &x) const
Test whether x is solution
virtual MaybeType solution(const Assignment &x) const
Test whether x is solution
virtual MaybeType solution(const Assignment &x) const
Test whether x is solution
MinXXY min_xxy_a("A", a, step)
SqrXY(const std::string &s, const Gecode::FloatVal &d, Gecode::FloatNum st)
Create and register test.
PowXYSol pow_xy_sol_c_2("C", c, 3, step)
SqrXX sqr_xx_c("C", c, step)
MinNary(void)
Create and register test.
MultXXY mult_xxy_b("B", b, step)
MultXYZSol mult_xyz_sol_a("A", a, step)
MinXXX min_xxx_c("C", c, step)
Test for square root constraint with shared variables
virtual bool extendAssignement(Assignment &x) const
Extend assignment x.
AbsXY(const std::string &s, const Gecode::FloatVal &d, Gecode::FloatNum st)
Create and register test.
NRootXYSol nroot_xy_sol_b_3("B", b, 0, step)
virtual void post(Gecode::Space &home, Gecode::FloatVarArray &x)
Post constraint on x.
NRootXYSol nroot_xy_sol_a_2("A", a, 3, step)
virtual void set(int i, const Gecode::FloatVal &val)=0
Set assignment to value val for variable i.
NRootXX nroot_xx_a_2("A", a, 3, step)
MinXYY min_xyy_b("B", b, step)
Gecode::FloatVal c(-8, 8)
MaxNaryShared(void)
Create and register test.
virtual MaybeType solution(const Assignment &x) const
Test whether x is solution
PowXYSol(const std::string &s, const Gecode::FloatVal &d, unsigned int _n, Gecode::FloatNum st)
Create and register test.
NRootXX nroot_xx_c_2("C", c, 3, step)
MinNaryShared(void)
Create and register test.
MaxXYZ max_xyz_b("B", b, step)
MaxXYX(const std::string &s, const Gecode::FloatVal &d, Gecode::FloatNum st)
Create and register test.
AbsXY abs_xy_c("C", c, step)
NRootXY nroot_xy_b_1("B", b, 2, step)
virtual void post(Gecode::Space &home, Gecode::FloatVarArray &x)
Post constraint on x.
PowXY pow_xy_a_3("A", a, 0, step)
virtual void post(Gecode::Space &home, Gecode::FloatVarArray &x)
Post constraint on x.
MinXYZ min_xyz_c("C", c, step)
AbsXX abs_xx_b("B", b, step)
virtual MaybeType solution(const Assignment &x) const
Test whether x is solution
void sqr(Home home, FloatVar x0, FloatVar x1)
Post propagator for .
virtual MaybeType solution(const Assignment &x) const
Test whether x is solution
SqrtXX sqrt_xx_c("C", c, step)
virtual MaybeType solution(const Assignment &x) const
Test whether x is solution
SqrXY sqr_xy_b("B", b, step)
Test for n-ary minimmum constraint with shared variables
virtual MaybeType solution(const Assignment &x) const
Test whether x is solution
virtual void post(Gecode::Space &home, Gecode::FloatVarArray &x)
Post constraint on x.
virtual void post(Gecode::Space &home, Gecode::FloatVarArray &x)
Post constraint on x.
AbsXY abs_xy_b("B", b, step)
SqrtXYSol sqrt_xy_sol_a("A", a, step)
MaxXYZ max_xyz_c("C", c, step)
virtual MaybeType solution(const Assignment &x) const
Test whether x is solution
MaxXYZ(const std::string &s, const Gecode::FloatVal &d, Gecode::FloatNum st)
Create and register test.
PowXYSol pow_xy_sol_a_2("A", a, 3, step)
Test for absolute value constraint with shared variables
virtual MaybeType solution(const Assignment &x) const
Test whether x is solution
MaxNary(void)
Create and register test.
virtual void post(Gecode::Space &home, Gecode::FloatVarArray &x)
Post constraint on x.
void sqrt(Home home, FloatVar x0, FloatVar x1)
Post propagator for .
Test for binary maximum constraint with shared variables
virtual MaybeType solution(const Assignment &x) const
Test whether x is solution
virtual MaybeType solution(const Assignment &x) const
Test whether x is solution
MinXYZ(const std::string &s, const Gecode::FloatVal &d, Gecode::FloatNum st)
Create and register test.
SqrtXY(const std::string &s, const Gecode::FloatVal &d, Gecode::FloatNum st)
Create and register test.
Div(const std::string &s, const Gecode::FloatVal &d, Gecode::FloatNum st)
Create and register test.
MultXYY(const std::string &s, const Gecode::FloatVal &d, Gecode::FloatNum st)
Create and register test.
MinXYX min_xyx_b("B", b, step)
MaxXYX max_xyx_c("C", c, step)
virtual void post(Gecode::Space &home, Gecode::FloatVarArray &x)
Post constraint on x.
MaxXYZ max_xyz_a("A", a, step)
DivSol div_sol_b("B", b, step)
PowXY pow_xy_b_1("B", b, 2, step)
void max(Home home, const IntVarArgs &x, IntVar y, IntConLevel icl)
Post propagator for .
Test for square root constraint where solution is ensured
virtual void post(Gecode::Space &home, Gecode::FloatVarArray &x)
Post constraint on x.
MultXYZSol(const std::string &s, const Gecode::FloatVal &d, Gecode::FloatNum st)
Create and register test.
virtual void post(Gecode::Space &home, Gecode::FloatVarArray &x)
Post constraint on x.
Test for binary minimum constraint with shared variables
virtual MaybeType solution(const Assignment &x) const
Test whether x is solution
NRootXYSol nroot_xy_sol_c_2("C", c, 3, step)
MinXXX min_xxx_a("A", a, step)
MultXXYSol mult_xxy_sol_a("A", a, step)
MaxXXX max_xxx_c("C", c, step)
MultXYZ mult_xyz_b("B", b, step)
virtual MaybeType solution(const Assignment &x) const
Test whether x is solution
Test for nroot constraint where solution is ensured
Test for multiplication constraint with shared variables
virtual void post(Gecode::Space &home, Gecode::FloatVarArray &x)
Post constraint on x.
PowXYSol pow_xy_sol_b_1("B", b, 2, step)
virtual bool extendAssignement(Assignment &x) const
Extend assignment x.
void sqrt(Home home, IntVar x0, IntVar x1, IntConLevel icl)
Post propagator for .
virtual void post(Gecode::Space &home, Gecode::FloatVarArray &x)
Post constraint on x.
PowXYSol pow_xy_sol_c_1("C", c, 2, step)
SqrXYSol sqr_xy_sol_b("B", b, step)
Test for multiplication constraint when solution is ensured
PowXX pow_xx_b_3("B", b, 0, step)
MultXXX mult_xxx_b("B", b, step)
NRootXYSol(const std::string &s, const Gecode::FloatVal &d, unsigned int _n, Gecode::FloatNum st)
Create and register test.
Test for squaring constraint where solution is ensured
MaxXXX max_xxx_a("A", a, step)
MultXYZ mult_xyz_c("C", c, step)
MaxXXX max_xxx_b("B", b, step)
MaxXYY max_xyy_a("A", a, step)
Test for binary maximum constraint with shared variables
Test for n-ary maximum constraint with shared variables
virtual bool extendAssignement(Assignment &x) const
Extend assignment x.
void min(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
MinXYY min_xyy_c("C", c, step)
virtual void post(Gecode::Space &home, Gecode::FloatVarArray &x)
Post constraint on x.
MinXYY(const std::string &s, const Gecode::FloatVal &d, Gecode::FloatNum st)
Create and register test.
Gecode::FloatVal b(9, 12)
NRootXY nroot_xy_c_3("C", c, 0, step)
virtual MaybeType solution(const Assignment &x) const
Test whether x is solution
NRootXX(const std::string &s, const Gecode::FloatVal &d, unsigned int _n, Gecode::FloatNum st)
Create and register test.
PowXX pow_xx_c_1("C", c, 2, step)
void div(Home home, FloatVar x0, FloatVar x1, FloatVar x2)
Post propagator for .
Test for square root constraint
NRootXY(const std::string &s, const Gecode::FloatVal &d, unsigned int _n, Gecode::FloatNum st)
Create and register test.
MultXYZSol mult_xyz_sol_c("C", c, step)
NRootXY nroot_xy_a_1("A", a, 2, step)
Node * x
Pointer to corresponding Boolean expression node.
NRootXX nroot_xx_b_2("B", b, 3, step)
SqrXX sqr_xx_a("A", a, step)
Test for n-ary maximum constraint
virtual MaybeType solution(const Assignment &x) const
Test whether x is solution
virtual void post(Gecode::Space &home, Gecode::FloatVarArray &x)
Post constraint on x.
PowXX pow_xx_c_3("C", c, 0, step)
SqrXY sqr_xy_c("C", c, step)
Test for binary maximum constraint
DivSol div_sol_c("C", c, step)
Gecode::FloatVal dom
Domain of variables.
SqrtXYSol sqrt_xy_sol_b("B", b, step)
AbsXX abs_xx_a("A", a, step)
NRootXX nroot_xx_a_1("A", a, 2, step)
Test for pow constraint where solution is ensured
virtual MaybeType solution(const Assignment &x) const
Test whether x is solution
MaybeType
Type for comparisons and solutions.
NRootXX nroot_xx_b_3("B", b, 0, step)
virtual void post(Gecode::Space &home, Gecode::FloatVarArray &x)
Post constraint on x.
void rel(Home home, FloatVar x0, FloatRelType frt, FloatVal n)
Propagates .
SqrXYSol sqr_xy_sol_a("A", a, step)
virtual void post(Gecode::Space &home, Gecode::FloatVarArray &x)
Post constraint on x.
PowXY pow_xy_b_3("B", b, 0, step)
SqrtXX sqrt_xx_b("B", b, step)
virtual void post(Gecode::Space &home, Gecode::FloatVarArray &x)
Post constraint on x.
Gecode::FloatVal a(-8, 5)
PowXX pow_xx_b_1("B", b, 2, step)
Test for nroot constraint
MinXXY(const std::string &s, const Gecode::FloatVal &d, Gecode::FloatNum st)
Create and register test.
MultXYY mult_xyy_a("A", a, step)
NRootXYSol nroot_xy_sol_c_1("C", c, 2, step)
Test for binary minimum constraint with shared variables
Test for multiplication constraint with shared variables
NRootXY nroot_xy_b_2("B", b, 3, step)
MultXXX mult_xxx_a("A", a, step)
virtual bool extendAssignement(Assignment &x) const
Extend assignment x.
virtual MaybeType solution(const Assignment &x) const
Test whether x is solution
virtual void post(Gecode::Space &home, Gecode::FloatVarArray &x)
Post constraint on x.
PowXX pow_xx_a_3("A", a, 0, step)
Test for absolute value constraint
MultXYY mult_xyy_c("C", c, step)
SqrtXY sqrt_xy_c("C", c, step)
virtual MaybeType solution(const Assignment &x) const
Test whether x is solution
virtual bool extendAssignement(Assignment &x) const
Extend assignment x.
MultXXYSol(const std::string &s, const Gecode::FloatVal &d, Gecode::FloatNum st)
Create and register test.
PowXY pow_xy_a_2("A", a, 3, step)
Test for binary maximum constraint with shared variables
SqrtXX(const std::string &s, const Gecode::FloatVal &d, Gecode::FloatNum st)
Create and register test.
virtual void post(Gecode::Space &home, Gecode::FloatVarArray &x)
Post constraint on x.
virtual MaybeType solution(const Assignment &x) const
Test whether x is solution
virtual MaybeType solution(const Assignment &x) const
Test whether x is solution
PowXY pow_xy_c_1("C", c, 2, step)
NRootXX nroot_xx_c_3("C", c, 0, step)
PowXY pow_xy_b_2("B", b, 3, step)
MinXYY min_xyy_a("A", a, step)
PowXYSol pow_xy_sol_a_3("A", a, 0, step)
virtual MaybeType solution(const Assignment &x) const
Test whether x is solution
void abs(Home home, IntVar x0, IntVar x1, IntConLevel icl)
Post propagator for .
DivSol div_sol_a("A", a, step)
virtual void post(Gecode::Space &home, Gecode::FloatVarArray &x)
Post constraint on x.
void nroot(Home home, IntVar x0, int n, IntVar x1, IntConLevel icl)
Post propagator for .
Test for squaring constraint with shared variables
MaxXYY max_xyy_c("C", c, step)
AbsXY abs_xy_a("A", a, step)
SqrtXY sqrt_xy_b("B", b, step)
virtual MaybeType solution(const Assignment &x) const
Test whether x is solution
MultXYZ mult_xyz_a("A", a, step)
virtual MaybeType solution(const Assignment &x) const
Test whether x is solution
double FloatNum
Floating point number base type.
Test for binary minimum constraint with shared variables
MinXXY min_xxy_c("C", c, step)
MultXYZSol mult_xyz_sol_b("B", b, step)
Test for division constraint when solution is ensured
MinXYX min_xyx_a("A", a, step)
PowXYSol pow_xy_sol_b_2("B", b, 3, step)
virtual void post(Gecode::Space &home, Gecode::FloatVarArray &x)
Post constraint on x.
NRootXY nroot_xy_c_2("C", c, 3, step)
MultXYX(const std::string &s, const Gecode::FloatVal &d, Gecode::FloatNum st)
Create and register test.
NRootXY nroot_xy_c_1("C", c, 2, step)
virtual bool extendAssignement(Assignment &x) const
Extend assignment x.
AbsXX(const std::string &s, const Gecode::FloatVal &d, Gecode::FloatNum st)
Create and register test.
PowXYSol pow_xy_sol_a_1("A", a, 2, step)
virtual void post(Gecode::Space &home, Gecode::FloatVarArray &x)
Post constraint on x.
bool flip(void)
Flip a coin and return true or false randomly.
NRootXX nroot_xx_c_1("C", c, 2, step)
Base class for assignments
MinXXX min_xxx_b("B", b, step)
MultXXYSol mult_xxy_sol_b("B", b, step)
const Gecode::FloatNum step2
MaxXYY(const std::string &s, const Gecode::FloatVal &d, Gecode::FloatNum st)
Create and register test.
NRootXX nroot_xx_b_1("B", b, 2, step)
MultXXY mult_xxy_c("C", c, step)
SqrtXYSol sqrt_xy_sol_c("C", c, step)
MaxXXY max_xxy_b("B", b, step)