Home
last modified time | relevance | path

Searched refs:e372 (Results 1 – 25 of 121) sorted by relevance

12345

/dports/graphics/opengv/opengv-91f4b19/src/relative_pose/modules/fivept_stewenius/
H A Dmodules.cpp47 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 Dmodules.cpp51 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 Dfuzz07.smt377 (flet ($e372 (not $e367))
386 (flet ($e381 (or $e372 $e372))
H A Dfuzz17.smt377 (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 D0005.d.smt2378 (let ((e372 (and e297 e314)))
380 (let ((e374 (and e285 e372)))
H A D0032.smt2378 (let ((e372 (and e371 (not (= e8 (_ bv0 1))))))
379 (let ((e373 (and e372 (not (= e6 (_ bv0 43))))))
H A D0003.smt2378 (let ((e372 (or e354 e247)))
381 (let ((e375 (and e332 e372)))
/dports/math/cvc4/CVC4-1.7/test/regress/regress0/arith/
H A Dincorrect1.smt377 (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 Dincorrect3.smt377 (flet ($e372 (and $e357 $e331))
383 (flet ($e378 (if_then_else $e372 $e248 $e361))
H A Dincorrect8.smt377 (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 Dfuzz02.smt377 (flet ($e372 (not $e254))
406 (flet ($e401 (implies $e391 $e372))
H A Dfuzz03.smt377 (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 Dfuzz-error232.smt389 (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 Dfuzz34.smt518 (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 DValueOf.java205 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 DValueOf.java205 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 DValueOf.java205 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 DValueOf.java205 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 DValueOf.java205 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 DValueOf.java205 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 DValueOf.java205 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 DValueOf.java205 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 DValueOf.java205 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 DValueOf.java205 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 Derror1.smt380 (flet ($e372 (= ?e108 ?e9))
453 (flet ($e445 (iff $e212 $e372))

12345