Searched defs:xeqy (Results 1 – 9 of 9) sorted by relevance
| /dports/devel/tinygo/tinygo-0.14.1/lib/picolibc/newlib/libm/machine/spu/headers/ |
| H A D | nextafterf4.h | 66 vec_uint4 xlt0, xgty, xeqy, xeq0; in _nextafterf4() local
|
| H A D | nextafterd2.h | 69 vec_ullong2 xlt0, xgty, xeqy, xeq0; in _nextafterd2() local
|
| /dports/devel/arm-none-eabi-newlib/newlib-2.4.0/newlib/libm/machine/spu/headers/ |
| H A D | nextafterf4.h | 66 vec_uint4 xlt0, xgty, xeqy, xeq0; in _nextafterf4() local
|
| H A D | nextafterd2.h | 69 vec_ullong2 xlt0, xgty, xeqy, xeq0; in _nextafterd2() local
|
| /dports/math/cvc3/cvc3-2.4.1/testc/ |
| H A D | main.c | 74 Expr x, y, fx, fy, xeqy, fxeqfy, w, z, weqx, yeqz, one, two, xeqone, xeqtwo, in test1() local
254 Expr xeqy = vc_eqExpr(vc, x, y); in test2() local
496 Expr xeqy = vc_eqExpr(vc, x, y); in test7() local
|
| /dports/math/cvc3/cvc3-2.4.1/java/src/cvc3/ |
| H A D | Test.java | 1190 Expr xeqy = vc.eqExpr(x, y); in test11() local
1893 Expr xeqy = vc.eqExpr(x, y); in test18() local
|
| /dports/math/cvc3/cvc3-2.4.1/test/ |
| H A D | main.cpp | 1017 Expr xeqy = vc->eqExpr(x, y); in test11() local
1650 Expr xeqy = vc->eqExpr(x, y); in test18() local
|
| /dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/TypeChecking/ |
| H A D | Primitive.hs | 534 t <- let xeqy = pure $ El eqSort $ Def eq $ map Apply $ teleArgs eqTel in function
|
| /dports/astro/p5-Starlink-AST/Starlink-AST-1.05/ast/ |
| H A D | plot3d.c | 1910 int xeqy; in ChangeRootCorner() local
|