Commit 9d6ce326 authored by Heiko Becker's avatar Heiko Becker
Browse files

Annotate testcases with number of ops

parent c2fce4c8
......@@ -6,22 +6,26 @@ import Real._
object BatchProcessor {
// s1, s2, s3, s4, y1, y2: <1, 16, 11>
// 7 binary operations
def out1(s1: Real, s2: Real, s3: Real, s4: Real) = {
require(-10 <= s1 && s1 <= 10 && -10 <= s2 && s2 <= 10 && -10 <= s3 && s3 <= 10 && -10 <= s4 && s4 <= 10)
(-0.0429) * s1 + (-0.9170) * s2 + (-0.3299) * s3 + (-0.8206) * s4
}
//7 binary operations
def out2(s1: Real, s2: Real, s3: Real, s4: Real) = {
require(-10 <= s1 && s1 <= 10 && -10 <= s2 && s2 <= 10 && -10 <= s3 && s3 <= 10 && -10 <= s4 && s4 <= 10)
2.4908 * s1 + 0.0751 * s2 + 1.7481 * s3 + (-1.1433) * s4
}
//9 binary operations
def state1(s1: Real, s2: Real, s3: Real, s4: Real, y1: Real) = {
require(-10 <= s1 && s1 <= 10 && -10 <= s2 && s2 <= 10 && -10 <= s3 && s3 <= 10 && -10 <= s4 && s4 <= 10 &&
-10 <= y1 && y1 <= 10)
0.9670 * s1 + (-0.0019) * s2 + 0.0187 * s3 + (-0.0088) * s4 + 0.0447 * y1
}
//11 binary operations
def state2(s1: Real, s2: Real, s3: Real, s4: Real, y1: Real, y2: Real) = {
require(-10 <= s1 && s1 <= 10 && -10 <= s2 && s2 <= 10 && -10 <= s3 && s3 <= 10 && -10 <= s4 && s4 <= 10 &&
-10 <= y1 && y1 <= 10 && -10 <= y2 && y2 <= 10)
......@@ -29,15 +33,17 @@ object BatchProcessor {
//((0.9052 * s2) + (((s3 * -0.0181) + (-0.0078 * s1)) + (((-0.0392 * s4) + (-0.0003 * y1)) + (0.002 * y2))))
}
//11 binary operations
def state3(s1: Real, s2: Real, s3: Real, s4: Real, y1: Real, y2: Real) = {
require(-10 <= s1 && s1 <= 10 && -10 <= s2 && s2 <= 10 && -10 <= s3 && s3 <= 10 && -10 <= s4 && s4 <= 10 &&
-10 <= y1 && y1 <= 10 && -10 <= y2 && y2 <= 10)
(-0.0830) * s1 + 0.0222 * s2 + 0.8620 * s3 + 0.0978 * s4 + 0.0170 * y1 + 0.0058 * y2
}
//11 binary operations
def state4(s1: Real, s2: Real, s3: Real, s4: Real, y1: Real, y2: Real) = {
require(-10 <= s1 && s1 <= 10 && -10 <= s2 && s2 <= 10 && -10 <= s3 && s3 <= 10 && -10 <= s4 && s4 <= 10 &&
-10 <= y1 && y1 <= 10 && -10 <= y2 && y2 <= 10)
(-0.0133) * s1 + 0.0243 * s2 + (-0.0043) * s3 + 0.9824 * s4 + 0.0127 * y1 + 0.0059 * y2
}
}
\ No newline at end of file
}
......@@ -5,34 +5,40 @@ import Real._
object BatchReactor {
// s1, s2, s3, s4, y1, y2: <1, 16, 14>
//7 operations
def out1(s1: Real, s2: Real, s3: Real, s4: Real) = {
require(-1 <= s1 && s1 <= 1 && -1 <= s2 && s2 <= 1 && -1 <= s3 && s3 <= 1 && -1 <= s4 && s4 <= 1)
(-0.058300) * s1 + (-0.908300) * s2 + (-0.325800) * s3 + (-0.872100) * s4
}
//7 operations
def out2(s1: Real, s2: Real, s3: Real, s4: Real) = {
require(-1 <= s1 && s1 <= 1 && -1 <= s2 && s2 <= 1 && -1 <= s3 && s3 <= 1 && -1 <= s4 && s4 <= 1)
(2.463800) * s1 + (0.050400) * s2 + (1.709900) * s3 + (-1.165300) * s4
}
//11 operations
def state1(s1: Real, s2: Real, s3: Real, s4: Real, y1: Real, y2: Real) = {
require(-1 <= s1 && s1 <= 1 && -1 <= s2 && s2 <= 1 && -1 <= s3 && s3 <= 1 && -1 <= s4 && s4 <= 1 &&
-1 <= y1 && y1 <= 1 && -1 <= y2 && y2 <= 1)
(0.934292) * s1 + (0.008415) * s2 + (-0.014106) * s3 + (0.023954) * s4 + (0.077400) * y1 + (-0.010300) * y2
}
//11 operations
def state2(s1: Real, s2: Real, s3: Real, s4: Real, y1: Real, y2: Real) = {
require(-1 <= s1 && s1 <= 1 && -1 <= s2 && s2 <= 1 && -1 <= s3 && s3 <= 1 && -1 <= s4 && s4 <= 1 &&
-1 <= y1 && y1 <= 1 && -1 <= y2 && y2 <= 1)
(-0.006769) * s1 + (0.884924) * s2 + (-0.016066) * s3 + (-0.044019) * s4 + (-0.002200) * y1 + (0.022700) * y2
}
//11 operations
def state3(s1: Real, s2: Real, s3: Real, s4: Real, y1: Real, y2: Real) = {
require(-1 <= s1 && s1 <= 1 && -1 <= s2 && s2 <= 1 && -1 <= s3 && s3 <= 1 && -1 <= s4 && s4 <= 1 &&
-1 <= y1 && y1 <= 1 && -1 <= y2 && y2 <= 1)
(-0.092148) * s1 + (-0.011039) * s2 + (0.853511) * s3 + (0.107537) * s4 + (0.026700) * y1 + (0.039800) * y2
}
//11 operations
def state4(s1: Real, s2: Real, s3: Real, s4: Real, y1: Real, y2: Real) = {
require(-1 <= s1 && s1 <= 1 && -1 <= s2 && s2 <= 1 && -1 <= s3 && s3 <= 1 && -1 <= s4 && s4 <= 1 &&
-1 <= y1 && y1 <= 1 && -1 <= y2 && y2 <= 1)
......@@ -41,4 +47,4 @@ object BatchReactor {
}
\ No newline at end of file
}
......@@ -4,13 +4,14 @@ import Real._
object Traincar2 {
// y1, y2, y3:<1, 30, 24> s.:<1, 30, 25>
//10 operations
def out1(s0: Real, s1: Real, s2: Real, s3: Real, s4: Real) = {
require(-2 <= s0 && s0 <= 9 && -2 <= s1 && s1 <= 9 && 0 <= s2 && s2 <= 10 && 0 <= s3 && s3 <= 10 && 0 <= s4 && s4 <= 10)
(-2.9829300077345002E+00) * s0 + 2.8399180104656203E+01 * s1 + (-1.5201325206209998E+02) * s2 +
3.5623840930436779E+02 * s3 + (-2.0636383424191501E+02) * s4 + 2.1660394157545902E+01
}
//17 operations
def state1(s0: Real, s1: Real, s2: Real, s3: Real, s4: Real, y0: Real, y1: Real, y2: Real) = {
require(-2 <= s0 && s0 <= 9 && -2 <= s1 && s1 <= 9 && 0 <= s2 && s2 <= 10 && 0 <= s3 && s3 <= 10 && 0 <= s4 && s4 <= 10 &&
0 <= y0 && y0 <= 10 && 0 <= y1 && y1 <= 10 && 0 <= y2 && y2 <= 10)
......@@ -18,6 +19,7 @@ object Traincar2 {
(-1.6499310260960000E-03)*y0 + (1.3026354031020000E-03)*y1+ (6.5494511318299996E-04)*y2+ (4.95505E-10)*2.1660394157545902E+01
}
//17 operations
def state2(s0: Real, s1: Real, s2: Real, s3: Real, s4: Real, y0: Real, y1: Real, y2: Real) = {
require(-2 <= s0 && s0 <= 9 && -2 <= s1 && s1 <= 9 && 0 <= s2 && s2 <= 10 && 0 <= s3 && s3 <= 10 && 0 <= s4 && s4 <= 10 &&
0 <= y0 && y0 <= 10 && 0 <= y1 && y1 <= 10 && 0 <= y2 && y2 <= 10)
......@@ -26,6 +28,7 @@ object Traincar2 {
}
//17 operations
def state3(s0: Real, s1: Real, s2: Real, s3: Real, s4: Real, y0: Real, y1: Real, y2: Real) = {
require(-2 <= s0 && s0 <= 9 && -2 <= s1 && s1 <= 9 && 0 <= s2 && s2 <= 10 && 0 <= s3 && s3 <= 10 && 0 <= s4 && s4 <= 10 &&
0 <= y0 && y0 <= 10 && 0 <= y1 && y1 <= 10 && 0 <= y2 && y2 <= 10)
......@@ -34,6 +37,7 @@ object Traincar2 {
}
//17 operations
def state4(s0: Real, s1: Real, s2: Real, s3: Real, s4: Real, y0: Real, y1: Real, y2: Real) = {
require(-2 <= s0 && s0 <= 9 && -2 <= s1 && s1 <= 9 && 0 <= s2 && s2 <= 10 && 0 <= s3 && s3 <= 10 && 0 <= s4 && s4 <= 10 &&
0 <= y0 && y0 <= 10 && 0 <= y1 && y1 <= 10 && 0 <= y2 && y2 <= 10)
......@@ -42,6 +46,7 @@ object Traincar2 {
}
//16 operations
def state5(s0: Real, s1: Real, s2: Real, s3: Real, s4: Real, y0: Real, y1: Real, y2: Real) = {
require(-2 <= s0 && s0 <= 9 && -2 <= s1 && s1 <= 9 && 0 <= s2 && s2 <= 10 && 0 <= s3 && s3 <= 10 && 0 <= s4 && s4 <= 10 &&
0 <= y0 && y0 <= 10 && 0 <= y1 && y1 <= 10 && 0 <= y2 && y2 <= 10)
......@@ -50,4 +55,4 @@ object Traincar2 {
}
}
\ No newline at end of file
}
......@@ -5,6 +5,7 @@ import Real._
object Traincar3 {
// y: <1, 30, 20> s:<1, 30, 25>
//17 operations
def out1(s0: Real, s1: Real, s2: Real, s3: Real, s4: Real, s5: Real, s6: Real) = {
require(-3 <= s0 && s0 <= 5 && -3 <= s1 && s1 <= 5 && -3 <= s2 && s2 <= 5 && -6 <= s3 && s3 <= 11 && -6 <= s4 && s4 <= 11 &&
-6 <= s5 && s5 <= 11 && -6 <= s6 && s6 <= 11)
......@@ -12,7 +13,7 @@ object Traincar3 {
(-8.7386976105502004E+02) * (1.0)*s4 + 3.5911290954487999E+03 * (1.0)*s5 + (-2.2921226288533999E+03) * (1.0)*s6 + 2.9021426298877441E+02
}
//23 operations
def state1(s0: Real, s1: Real, s2: Real, s3: Real, s4: Real, s5: Real, s6: Real, y0: Real, y1: Real, y2: Real, y3: Real) = {
require(-3 <= s0 && s0 <= 5 && -3 <= s1 && s1 <= 5 && -3 <= s2 && s2 <= 5 && -6 <= s3 && s3 <= 11 && -6 <= s4 && s4 <= 11 &&
-6 <= s5 && s5 <= 11 && -6 <= s6 && s6 <= 11 && -6 <= y0 && y0 <= 10 && -6 <= y1 && y1 <= 10 && -6 <= y2 && y2 <= 10 &&
......@@ -22,6 +23,7 @@ object Traincar3 {
(-2.5109142643930001E-03)*y2+ (1.7337651582750001E-03)*y3+ (9.60292E-10)*2.9021426298877441E+02
}
//23 operations
def state2(s0: Real, s1: Real, s2: Real, s3: Real, s4: Real, s5: Real, s6: Real, y0: Real, y1: Real, y2: Real, y3: Real) = {
require(-3 <= s0 && s0 <= 5 && -3 <= s1 && s1 <= 5 && -3 <= s2 && s2 <= 5 && -6 <= s3 && s3 <= 11 && -6 <= s4 && s4 <= 11 &&
-6 <= s5 && s5 <= 11 && -6 <= s6 && s6 <= 11 && -6 <= y0 && y0 <= 10 && -6 <= y1 && y1 <= 10 && -6 <= y2 && y2 <= 10 &&
......@@ -30,6 +32,7 @@ object Traincar3 {
(-1.4262580017300000E-04)*y0 +(-4.0529285568870000E-03)*y1+ (2.4846129842129999E-03)*y2+ (1.2802087276050000E-03)*y3+ (4.0371E-11)*2.9021426298877441E+02
}
//23 operations
def state3(s0: Real, s1: Real, s2: Real, s3: Real, s4: Real, s5: Real, s6: Real, y0: Real, y1: Real, y2: Real, y3: Real) = {
require(-3 <= s0 && s0 <= 5 && -3 <= s1 && s1 <= 5 && -3 <= s2 && s2 <= 5 && -6 <= s3 && s3 <= 11 && -6 <= s4 && s4 <= 11 &&
-6 <= s5 && s5 <= 11 && -6 <= s6 && s6 <= 11 && -6 <= y0 && y0 <= 10 && -6 <= y1 && y1 <= 10 && -6 <= y2 && y2 <= 10 &&
......@@ -38,6 +41,7 @@ object Traincar3 {
(-1.2598715285710000E-03)*y0 + (1.3265590608970001E-03)*y1+ (-9.6401205297600000E-03)*y2+ (1.1997334409343001E-02)*y3+ (3.56771E-10)*2.9021426298877441E+02
}
//23 operations
def state4(s0: Real, s1: Real, s2: Real, s3: Real, s4: Real, s5: Real, s6: Real, y0: Real, y1: Real, y2: Real, y3: Real) = {
require(-3 <= s0 && s0 <= 5 && -3 <= s1 && s1 <= 5 && -3 <= s2 && s2 <= 5 && -6 <= s3 && s3 <= 11 && -6 <= s4 && s4 <= 11 &&
-6 <= s5 && s5 <= 11 && -6 <= s6 && s6 <= 11 && -6 <= y0 && y0 <= 10 && -6 <= y1 && y1 <= 10 && -6 <= y2 && y2 <= 10 &&
......@@ -46,6 +50,7 @@ object Traincar3 {
(4.4334768343400001E-04)*y0 + (-1.2406658684299999E-04)*y1+ (-1.0483935681000001E-05)*y2+ (-7.3810400367999997E-05)*y3+ (5.66097217E-07)*2.9021426298877441E+02
}
//23 operations
def state5(s0: Real, s1: Real, s2: Real, s3: Real, s4: Real, s5: Real, s6: Real, y0: Real, y1: Real, y2: Real, y3: Real) = {
require(-3 <= s0 && s0 <= 5 && -3 <= s1 && s1 <= 5 && -3 <= s2 && s2 <= 5 && -6 <= s3 && s3 <= 11 && -6 <= s4 && s4 <= 11 &&
-6 <= s5 && s5 <= 11 && -6 <= s6 && s6 <= 11 && -6 <= y0 && y0 <= 10 && -6 <= y1 && y1 <= 10 && -6 <= y2 && y2 <= 10 &&
......@@ -54,6 +59,7 @@ object Traincar3 {
(-1.0190707901600000E-04)*y0 + (7.2728601855600000E-04)*y1+ (-1.6978291545200001E-04)*y2+ (-1.950523374E-05)*y3+ (2.9166E-11)*2.9021426298877441E+02
}
//23 operations
def state6(s0: Real, s1: Real, s2: Real, s3: Real, s4: Real, s5: Real, s6: Real, y0: Real, y1: Real, y2: Real, y3: Real) = {
require(-3 <= s0 && s0 <= 5 && -3 <= s1 && s1 <= 5 && -3 <= s2 && s2 <= 5 && -6 <= s3 && s3 <= 11 && -6 <= s4 && s4 <= 11 &&
-6 <= s5 && s5 <= 11 && -6 <= s6 && s6 <= 11 && -6 <= y0 && y0 <= 10 && -6 <= y1 && y1 <= 10 && -6 <= y2 && y2 <= 10 &&
......@@ -63,6 +69,7 @@ object Traincar3 {
}
//23 operations
def state7(s0: Real, s1: Real, s2: Real, s3: Real, s4: Real, s5: Real, s6: Real, y0: Real, y1: Real, y2: Real, y3: Real) = {
require(-3 <= s0 && s0 <= 5 && -3 <= s1 && s1 <= 5 && -3 <= s2 && s2 <= 5 && -6 <= s3 && s3 <= 11 && -6 <= s4 && s4 <= 11 &&
-6 <= s5 && s5 <= 11 && -6 <= s6 && s6 <= 11 && -6 <= y0 && y0 <= 10 && -6 <= y1 && y1 <= 10 && -6 <= y2 && y2 <= 10 &&
......@@ -73,4 +80,4 @@ object Traincar3 {
}
}
\ No newline at end of file
}
......@@ -5,6 +5,7 @@ import Real._
object Traincar4 {
// y: <1, 30, 16> s: <1, 30, 25>
//18 operations
def out1(s0: Real, s1: Real, s2: Real, s3: Real, s4: Real, s5: Real, s6: Real, s7: Real, s8: Real) = {
require(-2.5 <= s0 && s0 <= 6.5 && -2.5 <= s1 && s1 <= 6.5 && -2.5 <= s2 && s2 <= 6.5 && -2.5 <= s3 && s3 <= 6.5 && -2 <= s4 && s4 <= 12 &&
-2 <= s5 && s5 <= 12 && -2 <= s6 && s6 <= 12 && -2 <= s7 && s7 <= 12 && -2 <= s8 && s8 <= 12)
......@@ -12,6 +13,7 @@ object Traincar4 {
10481.0 * s6 + 20425.0 * s7 + (-17815.0) * s8 + 5.2121094496644555E+03
}
//28 operations
def state1(s0: Real, s1: Real, s2: Real, s3: Real, s4: Real, s5: Real, s6: Real, s7: Real, s8: Real, y0: Real, y1: Real, y2: Real, y3: Real, y4: Real) = {
require(-2.5 <= s0 && s0 <= 6.5 && -2.5 <= s1 && s1 <= 6.5 && -2.5 <= s2 && s2 <= 6.5 && -2.5 <= s3 && s3 <= 6.5 && -2 <= s4 && s4 <= 12 &&
-2 <= s5 && s5 <= 12 && -2 <= s6 && s6 <= 12 && -2 <= s7 && s7 <= 12 && -2 <= s8 && s8 <= 12 &&
......@@ -20,6 +22,7 @@ object Traincar4 {
(3.0220751E-05)*y0 + (-5.2453841E-05)*y1+ (2.6579541E-05)*y2+ (1.0923688E-05)*y3+ (1.5410654E-05)*y4+ (1.9755163E-11)*5.2121094496644555E+03
}
//29 operations
def state2(s0: Real, s1: Real, s2: Real, s3: Real, s4: Real, s5: Real, s6: Real, s7: Real, s8: Real, y0: Real, y1: Real, y2: Real, y3: Real, y4: Real) = {
require(-2.5 <= s0 && s0 <= 6.5 && -2.5 <= s1 && s1 <= 6.5 && -2.5 <= s2 && s2 <= 6.5 && -2.5 <= s3 && s3 <= 6.5 && -2 <= s4 && s4 <= 12 &&
-2 <= s5 && s5 <= 12 && -2 <= s6 && s6 <= 12 && -2 <= s7 && s7 <= 12 && -2 <= s8 && s8 <= 12 &&
......@@ -29,6 +32,7 @@ object Traincar4 {
(-2.9009623E-06)*y4+ (9.522692E-12)*5.2121094496644555E+03
}
//29 operations
def state3(s0: Real, s1: Real, s2: Real, s3: Real, s4: Real, s5: Real, s6: Real, s7: Real, s8: Real, y0: Real, y1: Real, y2: Real, y3: Real, y4: Real) = {
require(-2.5 <= s0 && s0 <= 6.5 && -2.5 <= s1 && s1 <= 6.5 && -2.5 <= s2 && s2 <= 6.5 && -2.5 <= s3 && s3 <= 6.5 && -2 <= s4 && s4 <= 12 &&
-2 <= s5 && s5 <= 12 && -2 <= s6 && s6 <= 12 && -2 <= s7 && s7 <= 12 && -2 <= s8 && s8 <= 12 &&
......@@ -38,6 +42,7 @@ object Traincar4 {
(-2.7045432E-05)*y3+ (-7.570773E-06)*y4+ (3.2144001E-12)*5.2121094496644555E+03
}
//29 operations
def state4(s0: Real, s1: Real, s2: Real, s3: Real, s4: Real, s5: Real, s6: Real, s7: Real, s8: Real, y0: Real, y1: Real, y2: Real, y3: Real, y4: Real) = {
require(-2.5 <= s0 && s0 <= 6.5 && -2.5 <= s1 && s1 <= 6.5 && -2.5 <= s2 && s2 <= 6.5 && -2.5 <= s3 && s3 <= 6.5 && -2 <= s4 && s4 <= 12 &&
-2 <= s5 && s5 <= 12 && -2 <= s6 && s6 <= 12 && -2 <= s7 && s7 <= 12 && -2 <= s8 && s8 <= 12 &&
......@@ -47,6 +52,7 @@ object Traincar4 {
(-6.0208156E-06)*y3+ (-3.4137075E-06)*y4+ (3.9997189E-12)*5.2121094496644555E+03
}
//29 operations
def state5(s0: Real, s1: Real, s2: Real, s3: Real, s4: Real, s5: Real, s6: Real, s7: Real, s8: Real, y0: Real, y1: Real, y2: Real, y3: Real, y4: Real) = {
require(-2.5 <= s0 && s0 <= 6.5 && -2.5 <= s1 && s1 <= 6.5 && -2.5 <= s2 && s2 <= 6.5 && -2.5 <= s3 && s3 <= 6.5 && -2 <= s4 && s4 <= 12 &&
-2 <= s5 && s5 <= 12 && -2 <= s6 && s6 <= 12 && -2 <= s7 && s7 <= 12 && -2 <= s8 && s8 <= 12 &&
......@@ -57,6 +63,7 @@ object Traincar4 {
}
//29 operations
def state6(s0: Real, s1: Real, s2: Real, s3: Real, s4: Real, s5: Real, s6: Real, s7: Real, s8: Real, y0: Real, y1: Real, y2: Real, y3: Real, y4: Real) = {
require(-2.5 <= s0 && s0 <= 6.5 && -2.5 <= s1 && s1 <= 6.5 && -2.5 <= s2 && s2 <= 6.5 && -2.5 <= s3 && s3 <= 6.5 && -2 <= s4 && s4 <= 12 &&
-2 <= s5 && s5 <= 12 && -2 <= s6 && s6 <= 12 && -2 <= s7 && s7 <= 12 && -2 <= s8 && s8 <= 12 &&
......@@ -67,6 +74,7 @@ object Traincar4 {
}
//29 operations
def state7(s0: Real, s1: Real, s2: Real, s3: Real, s4: Real, s5: Real, s6: Real, s7: Real, s8: Real, y0: Real, y1: Real, y2: Real, y3: Real, y4: Real) = {
require(-2.5 <= s0 && s0 <= 6.5 && -2.5 <= s1 && s1 <= 6.5 && -2.5 <= s2 && s2 <= 6.5 && -2.5 <= s3 && s3 <= 6.5 && -2 <= s4 && s4 <= 12 &&
-2 <= s5 && s5 <= 12 && -2 <= s6 && s6 <= 12 && -2 <= s7 && s7 <= 12 && -2 <= s8 && s8 <= 12 &&
......@@ -77,6 +85,7 @@ object Traincar4 {
}
//29 operations
def state8(s0: Real, s1: Real, s2: Real, s3: Real, s4: Real, s5: Real, s6: Real, s7: Real, s8: Real, y0: Real, y1: Real, y2: Real, y3: Real, y4: Real) = {
require(-2.5 <= s0 && s0 <= 6.5 && -2.5 <= s1 && s1 <= 6.5 && -2.5 <= s2 && s2 <= 6.5 && -2.5 <= s3 && s3 <= 6.5 && -2 <= s4 && s4 <= 12 &&
-2 <= s5 && s5 <= 12 && -2 <= s6 && s6 <= 12 && -2 <= s7 && s7 <= 12 && -2 <= s8 && s8 <= 12 &&
......@@ -86,6 +95,7 @@ object Traincar4 {
(-1.8530512E-13)*5.2121094496644555E+03
}
//29 operations
def state9(s0: Real, s1: Real, s2: Real, s3: Real, s4: Real, s5: Real, s6: Real, s7: Real, s8: Real, y0: Real, y1: Real, y2: Real, y3: Real, y4: Real) = {
require(-2.5 <= s0 && s0 <= 6.5 && -2.5 <= s1 && s1 <= 6.5 && -2.5 <= s2 && s2 <= 6.5 && -2.5 <= s3 && s3 <= 6.5 && -2 <= s4 && s4 <= 12 &&
-2 <= s5 && s5 <= 12 && -2 <= s6 && s6 <= 12 && -2 <= s7 && s7 <= 12 && -2 <= s8 && s8 <= 12 &&
......@@ -95,4 +105,4 @@ object Traincar4 {
(1.4201936E-12)*5.2121094496644555E+03
}
}
\ No newline at end of file
}
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment