/dports/graphics/opengv/opengv-91f4b19/src/relative_pose/modules/fivept_stewenius/ |
H A D | modules.cpp | 47 double e302,e312,e322,e332,e342,e352,e362,e372,e382; in composeA() local 122 e372 =e37*e37; in composeA() 181 …+0.5*e00*e332+0.5*e00*e362-0.5*e00*e382-0.5*e00*e352-0.5*e00*e342-0.5*e00*e372+e03*e30*e33+e03*e31… in composeA() 184 …3*e32*e35+0.5*e30*e362+e36*e31*e37+e36*e32*e38-0.5*e30*e382-0.5*e30*e352-0.5*e30*e342-0.5*e30*e372; in composeA() 204 …*e33*e342+0.5*e33*e362+e36*e35*e38+e36*e34*e37-0.5*e33*e322-0.5*e33*e382-0.5*e33*e312-0.5*e33*e372; in composeA() 224 …31*e37+0.5*e332*e36+e33*e35*e38+e33*e34*e37+0.5*e363+0.5*e36*e382+0.5*e36*e372-0.5*e36*e352-0.5*e3… in composeA() 244 …e313+e34*e30*e33+e34*e32*e35+0.5*e31*e342+e37*e30*e36+e37*e32*e38+0.5*e31*e372-0.5*e31*e352-0.5*e3… in composeA() 264 …12*e34+0.5*e34*e332+0.5*e34*e352+0.5*e343+e37*e33*e36+e37*e35*e38+0.5*e34*e372-0.5*e34*e302-0.5*e3… in composeA() 304 …5*e31*e34+e38*e30*e36+0.5*e32*e382+e38*e31*e37-0.5*e32*e342-0.5*e32*e362-0.5*e32*e332-0.5*e32*e372; in composeA() 324 …+0.5*e353+e38*e33*e36+e38*e34*e37+0.5*e35*e382-0.5*e35*e302-0.5*e35*e362-0.5*e35*e312-0.5*e35*e372; in composeA() [all …]
|
/dports/graphics/opengv/opengv-91f4b19/src/relative_pose/modules/fivept_nister/ |
H A D | modules.cpp | 51 double e302,e312,e322,e332,e342,e352,e362,e372,e382; in composeA() local 126 e372 =e37*e37; in composeA() 201 …A(1,12)=3*e00*e302+e00*e312+e00*e322+e00*e332-e00*e342-e00*e352+e00*e362-e00*e372-e00*e382+2*e01*e… in composeA() 208 …A(1,19)=e303+e30*e312+e30*e322+e30*e332-e30*e342-e30*e352+e30*e362-e30*e372-e30*e382+2*e31*e33*e34… in composeA() 228 …1*e34+2*e30*e32*e35-e312*e33-e322*e33+e333+e33*e342+e33*e352+e33*e362-e33*e372-e33*e382+2*e34*e36*… in composeA() 248 …38-e312*e36-e322*e36+e332*e36+2*e33*e34*e37+2*e33*e35*e38-e342*e36-e352*e36+e363+e36*e372+e36*e382; in composeA() 268 …3*e34+2*e30*e36*e37+e313+e31*e322-e31*e332+e31*e342-e31*e352-e31*e362+e31*e372-e31*e382+2*e32*e34*… in composeA() 288 …+2*e31*e32*e35-e322*e34+e332*e34+2*e33*e36*e37+e343+e34*e352-e34*e362+e34*e372-e34*e382+2*e35*e37*… in composeA() 328 …38+e312*e32+2*e31*e34*e35+2*e31*e37*e38+e323-e32*e332-e32*e342+e32*e352-e32*e362-e32*e372+e32*e382; in composeA() 348 …e31*e32*e34+e322*e35+e332*e35+2*e33*e36*e38+e342*e35+2*e34*e37*e38+e353-e35*e362-e35*e372+e35*e382; in composeA() [all …]
|
/dports/math/cvc4/CVC4-1.7/test/regress/regress0/bv/ |
H A D | fuzz07.smt | 377 (flet ($e372 (not $e367)) 386 (flet ($e381 (or $e372 $e372))
|
H A D | fuzz17.smt | 377 (let (?e372 (bvxnor (zero_extend[3] ?e35) ?e203)) 1204 (flet ($e1199 (= ?e372 (zero_extend[15] ?e428))) 1382 (flet ($e1377 (bvslt ?e372 ?e100)) 1424 (flet ($e1419 (bvule (sign_extend[7] ?e260) ?e372)) 1426 (flet ($e1421 (= ?e372 (zero_extend[15] ?e108))) 1477 (flet ($e1472 (bvslt ?e372 (zero_extend[15] ?e567))) 1754 (flet ($e1749 (bvsle ?e372 (zero_extend[15] ?e67))) 1805 (flet ($e1800 (bvsge ?e372 (sign_extend[15] ?e74))) 2068 (flet ($e2063 (bvugt ?e372 ?e243)) 2079 (flet ($e2074 (bvult ?e372 (zero_extend[15] ?e572))) [all …]
|
/dports/math/yices/yices-2.6.2/tests/regress/mantis/ |
H A D | 0005.d.smt2 | 378 (let ((e372 (and e297 e314))) 380 (let ((e374 (and e285 e372)))
|
H A D | 0032.smt2 | 378 (let ((e372 (and e371 (not (= e8 (_ bv0 1)))))) 379 (let ((e373 (and e372 (not (= e6 (_ bv0 43))))))
|
H A D | 0003.smt2 | 378 (let ((e372 (or e354 e247))) 381 (let ((e375 (and e332 e372)))
|
/dports/math/cvc4/CVC4-1.7/test/regress/regress0/arith/ |
H A D | incorrect1.smt | 377 (flet ($e372 (if_then_else $e191 $e370 $e329)) 387 (flet ($e382 (if_then_else $e372 $e220 $e376))
|
/dports/math/cvc4/CVC4-1.7/test/regress/regress0/arrays/ |
H A D | incorrect3.smt | 377 (flet ($e372 (and $e357 $e331)) 383 (flet ($e378 (if_then_else $e372 $e248 $e361))
|
H A D | incorrect8.smt | 377 (flet ($e372 (not $e202)) 460 (flet ($e455 (if_then_else $e372 $e454 $e447))
|
/dports/math/cvc4/CVC4-1.7/test/regress/regress0/aufbv/ |
H A D | fuzz02.smt | 377 (flet ($e372 (not $e254)) 406 (flet ($e401 (implies $e391 $e372))
|
H A D | fuzz03.smt | 377 (flet ($e372 (if_then_else $e165 $e240 $e344)) 395 (flet ($e390 (implies $e372 $e374))
|
/dports/math/cvc4/CVC4-1.7/test/regress/regress0/auflia/ |
H A D | fuzz-error232.smt | 389 (flet ($e372 (not $e272)) 498 (flet ($e481 (if_then_else $e478 $e372 $e465))
|
/dports/math/cvc4/CVC4-1.7/test/regress/regress1/bv/ |
H A D | fuzz34.smt | 518 (let (?e513 (bvcomp (zero_extend[3] ?e372) ?e411)) 1064 (flet ($e1059 (bvule ?e7 (sign_extend[3] ?e372))) 1469 (flet ($e1464 (bvule ?e372 ?e81)) 1840 (flet ($e1835 (bvugt ?e460 ?e372)) 1918 (flet ($e1913 (bvsgt ?e548 ?e372)) 1923 (flet ($e1918 (distinct ?e372 ?e291)) 2464 (flet ($e2459 (bvugt ?e372 ?e142)) 2600 (flet ($e2595 (bvuge ?e372 ?e598)) 2621 (flet ($e2616 (distinct ?e372 ?e635)) 2743 (flet ($e2738 (bvuge ?e372 ?e587)) [all …]
|
/dports/java/openjdk11/jdk11u-jdk-11.0.13-8-1/test/jdk/java/lang/Enum/ |
H A D | ValueOf.java | 205 e370, e371, e372, e373, e374, e375, e376, e377, e378, e379, e380, e381, enumConstant
|
/dports/java/openjdk13/jdk13u-jdk-13.0.10-1-1/test/jdk/java/lang/Enum/ |
H A D | ValueOf.java | 205 e370, e371, e372, e373, e374, e375, e376, e377, e378, e379, e380, e381, enumConstant
|
/dports/java/openjdk11-jre/jdk11u-jdk-11.0.13-8-1/test/jdk/java/lang/Enum/ |
H A D | ValueOf.java | 205 e370, e371, e372, e373, e374, e375, e376, e377, e378, e379, e380, e381, enumConstant
|
/dports/java/openjdk12/openjdk-jdk12u-jdk-12.0.2-10-4/test/jdk/java/lang/Enum/ |
H A D | ValueOf.java | 205 e370, e371, e372, e373, e374, e375, e376, e377, e378, e379, e380, e381, enumConstant
|
/dports/java/openjdk15/jdk15u-jdk-15.0.6-1-1/test/jdk/java/lang/Enum/ |
H A D | ValueOf.java | 205 e370, e371, e372, e373, e374, e375, e376, e377, e378, e379, e380, e381, enumConstant
|
/dports/java/openjdk16/jdk16u-jdk-16.0.2-7-1/test/jdk/java/lang/Enum/ |
H A D | ValueOf.java | 205 e370, e371, e372, e373, e374, e375, e376, e377, e378, e379, e380, e381, enumConstant
|
/dports/java/openjdk14/jdk14u-jdk-14.0.2-12-1/test/jdk/java/lang/Enum/ |
H A D | ValueOf.java | 205 e370, e371, e372, e373, e374, e375, e376, e377, e378, e379, e380, e381, enumConstant
|
/dports/java/openjdk8/jdk8u-jdk8u312-b07.1/jdk/test/java/lang/Enum/ |
H A D | ValueOf.java | 205 e370, e371, e372, e373, e374, e375, e376, e377, e378, e379, e380, e381, enumConstant
|
/dports/java/openjdk17/jdk17u-jdk-17.0.1-12-1/test/jdk/java/lang/Enum/ |
H A D | ValueOf.java | 205 e370, e371, e372, e373, e374, e375, e376, e377, e378, e379, e380, e381, enumConstant
|
/dports/java/openjdk8-jre/jdk8u-jdk8u312-b07.1/jdk/test/java/lang/Enum/ |
H A D | ValueOf.java | 205 e370, e371, e372, e373, e374, e375, e376, e377, e378, e379, e380, e381, enumConstant
|
/dports/math/cvc4/CVC4-1.7/test/regress/regress0/uflia/ |
H A D | error1.smt | 380 (flet ($e372 (= ?e108 ?e9)) 453 (flet ($e445 (iff $e212 $e372))
|