/dports/games/xpuzzletama/xpuzzletama/ |
H A D | xtama_move.c | 8 …if( ty1 >= 0 && ( net ? (int)(ty1/4)<19 : (int)(ty1/4)<12) ) map[ tx1 ][ (int)(ty1 / 4) ] = color1… 145 (*ty1) += 4 ; in rolling() 175 if ( *ty1 -1 >= 0 && !vmap( *tx1 , *ty1 - 1 ) && in tama_fall() 178 *ty1 -= 1 ; in tama_fall() 184 *ty1 -= 1 ; in tama_fall() 199 game_end(*tx1,*ty1) ; in tama_fall() 204 game_end(*tx1,*ty1) ; in tama_fall() 217 while ( !vmap( *tx1 , *ty1 - 1 ) && ( *ty1 - 1 ) >= 0 ) { in tama_fall() 218 *ty1 -= 1 ; in tama_fall() 223 game_end(*tx1,*ty1); in tama_fall() [all …]
|
/dports/www/grafana8/grafana-8.3.6/vendor/github.com/apache/arrow/cpp/src/arrow/array/ |
H A D | array_view_test.cc | 231 auto ty1 = struct_({field("a", int16())}); in TEST() local 238 arr = ArrayFromJSON(ty1, "[[0], null, [-1]]"); in TEST() 308 auto ty1 = fixed_size_list(int16(), 3); in TEST() local 323 auto ty1 = fixed_size_list(int16(), 3); in TEST() local 333 auto ty1 = fixed_size_list(int32(), 1); in TEST() local 357 auto ty1 = decimal(10, 4); in TEST() local 363 ASSERT_OK_AND_ASSIGN(auto w, v->View(ty1)); in TEST() 370 auto ty1 = dictionary(int8(), float32()); in TEST() local 402 auto ty1 = std::make_shared<IPv4Type>(); in TEST() local 404 data->type = ty1; in TEST() [all …]
|
/dports/databases/arrow/apache-arrow-6.0.1/cpp/src/arrow/array/ |
H A D | array_view_test.cc | 231 auto ty1 = struct_({field("a", int16())}); in TEST() local 238 arr = ArrayFromJSON(ty1, "[[0], null, [-1]]"); in TEST() 308 auto ty1 = fixed_size_list(int16(), 3); in TEST() local 323 auto ty1 = fixed_size_list(int16(), 3); in TEST() local 333 auto ty1 = fixed_size_list(int32(), 1); in TEST() local 357 auto ty1 = decimal(10, 4); in TEST() local 363 ASSERT_OK_AND_ASSIGN(auto w, v->View(ty1)); in TEST() 370 auto ty1 = dictionary(int8(), float32()); in TEST() local 402 auto ty1 = std::make_shared<IPv4Type>(); in TEST() local 404 data->type = ty1; in TEST() [all …]
|
/dports/security/vault/vault-1.8.2/vendor/github.com/apache/arrow/cpp/src/arrow/ |
H A D | array_view_test.cc | 225 auto ty1 = struct_({field("a", int16())}); in TEST() local 232 arr = ArrayFromJSON(ty1, "[[0], null, [-1]]"); in TEST() 238 arr = ArrayFromJSON(ty1, "[[0], [null], [-1]]"); in TEST() 302 auto ty1 = fixed_size_list(int16(), 3); in TEST() local 317 auto ty1 = fixed_size_list(int16(), 3); in TEST() local 357 auto ty1 = decimal(10, 4); in TEST() local 363 ASSERT_OK_AND_ASSIGN(auto w, v->View(ty1)); in TEST() 370 auto ty1 = dictionary(int8(), float32()); in TEST() local 402 auto ty1 = std::make_shared<IPv4Type>(); in TEST() local 404 data->type = ty1; in TEST() [all …]
|
/dports/lang/racket/racket-8.3/share/pkgs/eopl/tests/chapter7/inferred/ |
H A D | unifier.rkt | 21 (lambda (ty1 ty2 subst exp) 22 (let ((ty1 (apply-subst-to-type ty1 subst)) 25 ((equal? ty1 ty2) subst) 26 ((tvar-type? ty1) 27 (if (no-occurrence? ty1 ty2) 28 (extend-subst subst ty1 ty2) 31 (if (no-occurrence? ty2 ty1) 32 (extend-subst subst ty2 ty1) 47 (lambda (ty1 ty2 exp) 50 (type-to-external-form ty1) [all …]
|
/dports/lang/ucc/ucc/ucl/ |
H A D | type.c | 112 ty1 = Unqual(ty1); in IsCompatibleType() 115 if (ty1->categ == ENUM && ty2 == ty1->bty || in IsCompatibleType() 446 return ty1; in CompositeType() 457 return ty1->size != 0 ? ty1 : ty2; in CompositeType() 484 return ty1; in CompositeType() 502 ty1 = ty1->categ < INT ? T(INT) : ty1; in CommonRealType() 506 return ty1; in CommonRealType() 509 return ty1->categ > ty2->categ ? ty1 : ty2; in CommonRealType() 515 ty = ty1; in CommonRealType() 516 ty1 = ty2; in CommonRealType() [all …]
|
H A D | type.h | 88 #define BothIntegType(ty1, ty2) (IsIntegType(ty1) && IsIntegType(ty2)) argument 89 #define BothArithType(ty1, ty2) (IsArithType(ty1) && IsArithType(ty2)) argument 90 #define BothScalarType(ty1, ty2) (IsScalarType(ty1) && IsScalarType(ty2)) argument 91 #define IsCompatiblePtr(ty1, ty2) (IsPtrType(ty1) && IsPtrType(ty2) && \ argument 92 IsCompatibleType(Unqual(ty1->bty), Unqual(ty2->bty))) 108 int IsCompatibleType(Type ty1, Type ty2); 109 Type CompositeType(Type ty1, Type ty2); 110 Type CommonRealType(Type ty1, Type ty2);
|
H A D | exprchk.c | 510 Type ty1, ty2; in CheckAddOP() local 516 ty1 = expr->kids[0]->ty; in CheckAddOP() 536 expr->ty = ty1; in CheckAddOP() 545 Type ty1, ty2; in CheckSubOP() local 558 expr->ty = ty1; in CheckSubOP() 586 Type ty1, ty2; in CheckRelationalOP() local 615 Type ty1, ty2; in CheckEqualityOP() local 736 Type ty1, ty2; in CheckConditionalExpression() local 757 else if (IsRecordType(ty1) && ty1 == ty2) in CheckConditionalExpression() 759 expr->ty = ty1; in CheckConditionalExpression() [all …]
|
/dports/lang/ghc/ghc-8.10.7/compiler/typecheck/ |
H A D | TcCanonical.hs | 1087 go ty1 ty2 1100 go ty1 ty2 1113 go ty1 ty2 1124 go ty1 ty2 = bale_out ty1 ty2 1127 bale_out ty1 ty2 = return $ Left (Pair ty1 ty2) 2400 go ty1 ty2 | Just ty1' <- tcView ty1 = go ty1' ty2 2401 go ty1 ty2 | Just ty2' <- tcView ty2 = go ty1 ty2' 2428 go ty1 ty2 = bale_out ty1 ty2 2451 go ty1 ty2 | Just ty1' <- tcView ty1 = go ty1' ty2 2452 go ty1 ty2 | Just ty2' <- tcView ty2 = go ty1 ty2' [all …]
|
/dports/lang/purescript/purescript-0.14.5/src/Language/PureScript/TypeChecker/ |
H A D | Subsumption.hs | 68 subsumes' SElaborate ty1 ty2 79 let replaced = replaceTypeVars ident u ty1 86 subsumes' mode ty1 sk 93 subsumes' mode (KindedType _ ty1 _) ty2 = 94 subsumes' mode ty1 ty2 95 subsumes' mode ty1 (KindedType _ ty2 _) = 96 subsumes' mode ty1 ty2 102 elaborate <- subsumes' SElaborate ty1 ty2 124 subsumes' mode ty2 ty1 125 subsumes' mode ty1 ty2 = do [all …]
|
/dports/x11-wm/plasma5-kwin/kwin-5.23.5/src/ |
H A D | shadowitem.cpp | 158 ty1 = 0.0, in buildQuads() local 166 ty1 = 0.0; in buildQuads() 179 ty1 = 0.0; in buildQuads() 193 ty1 = height - bottomRightRect.height(); in buildQuads() 206 ty1 = height - bottomLeftRect.height(); in buildQuads() 238 ty1 = 0.0; in buildQuads() 251 ty1 = shadowMargins.top(); in buildQuads() 253 ty2 = ty1 + right.height(); in buildQuads() 264 ty1 = height - bottomRect.height(); in buildQuads() 277 ty1 = shadowMargins.top(); in buildQuads() [all …]
|
/dports/science/cdcl/dcl-5.4.8-C/src/grph1/szpack/ |
H A D | szpcly.c | 25 *ty1, logical *lvalid, logical *lbound, real *tx, real *ty, logical * in szpcly_0_() 51 if (lrlta_(ty1, yb, &c_b2)) { in szpcly_0_() 53 } else if (lrlta_(&yb[1], ty1, &c_b2)) { in szpcly_0_() 66 if (lrlea_(ty1, yb, &c_b2)) { in szpcly_0_() 68 } else if (lrlea_(&yb[1], ty1, &c_b2)) { in szpcly_0_() 80 yy[1] = *ty1; in szpcly_0_() 85 szsgcl_(tx1, ty1, tx0, ty0); in szpcly_0_() 89 yy[1] = *ty1; in szpcly_0_() 93 szsgcl_(tx0, ty0, tx1, ty1); in szpcly_0_() 123 /* Subroutine */ int szpcly_(real *tx0, real *ty0, real *tx1, real *ty1, in szpcly_() argument [all …]
|
/dports/math/abella/abella-2.0.7/src/ |
H A D | unifyty.ml | 69 let rec aux (ty1, ty2) fail = 70 let ty1 = observe_ty ty1 in 72 match ty1, ty2 with 73 | _, _ when ty1 = ty2 -> () 80 if occurs v ty1 then 83 bind_ty aty ty1 95 let eqns = List.map2 (fun ty1 ty2 -> (ty1,ty2)) args1 args2 97 List.iter begin fun (ty1, ty2) -> 98 aux (ty1, ty2) fail 101 aux (ty1, ty2) fail; [all …]
|
/dports/java/openjdk11/jdk11u-jdk-11.0.13-8-1/src/java.desktop/share/native/libawt/java2d/loops/ |
H A D | LineUtils.h | 59 jint tx1, ty1, tx2, ty2; \ 74 SETORDERED(Y1, Y2, ty1, ty2, shorten); \ 75 if (++ty2 < ty1) --ty2; /* integer overflow */ \ 76 if (ty1 < (pRasInfo)->bounds.y1) ty1 = (pRasInfo)->bounds.y1; \ 78 if (ty1 < ty2) { \ 79 (*pLine)((pRasInfo), X1, ty1, pixel, ty2 - ty1, 0, \ 91 &tx1, &ty1, \ 96 (*pLine)((pRasInfo), tx1, ty1, pixel, steps, error, \
|
/dports/java/openjdk13/jdk13u-jdk-13.0.10-1-1/src/java.desktop/share/native/libawt/java2d/loops/ |
H A D | LineUtils.h | 59 jint tx1, ty1, tx2, ty2; \ 74 SETORDERED(Y1, Y2, ty1, ty2, shorten); \ 75 if (++ty2 < ty1) --ty2; /* integer overflow */ \ 76 if (ty1 < (pRasInfo)->bounds.y1) ty1 = (pRasInfo)->bounds.y1; \ 78 if (ty1 < ty2) { \ 79 (*pLine)((pRasInfo), X1, ty1, pixel, ty2 - ty1, 0, \ 91 &tx1, &ty1, \ 96 (*pLine)((pRasInfo), tx1, ty1, pixel, steps, error, \
|
/dports/java/openjdk11-jre/jdk11u-jdk-11.0.13-8-1/src/java.desktop/share/native/libawt/java2d/loops/ |
H A D | LineUtils.h | 59 jint tx1, ty1, tx2, ty2; \ 74 SETORDERED(Y1, Y2, ty1, ty2, shorten); \ 75 if (++ty2 < ty1) --ty2; /* integer overflow */ \ 76 if (ty1 < (pRasInfo)->bounds.y1) ty1 = (pRasInfo)->bounds.y1; \ 78 if (ty1 < ty2) { \ 79 (*pLine)((pRasInfo), X1, ty1, pixel, ty2 - ty1, 0, \ 91 &tx1, &ty1, \ 96 (*pLine)((pRasInfo), tx1, ty1, pixel, steps, error, \
|
/dports/java/openjdk8/jdk8u-jdk8u312-b07.1/jdk/src/share/native/sun/java2d/loops/ |
H A D | LineUtils.h | 59 jint tx1, ty1, tx2, ty2; \ 74 SETORDERED(Y1, Y2, ty1, ty2, shorten); \ 75 if (++ty2 < ty1) --ty2; /* integer overflow */ \ 76 if (ty1 < (pRasInfo)->bounds.y1) ty1 = (pRasInfo)->bounds.y1; \ 78 if (ty1 < ty2) { \ 79 (*pLine)((pRasInfo), X1, ty1, pixel, ty2 - ty1, 0, \ 91 &tx1, &ty1, \ 96 (*pLine)((pRasInfo), tx1, ty1, pixel, steps, error, \
|
/dports/java/openjdk12/openjdk-jdk12u-jdk-12.0.2-10-4/src/java.desktop/share/native/libawt/java2d/loops/ |
H A D | LineUtils.h | 59 jint tx1, ty1, tx2, ty2; \ 74 SETORDERED(Y1, Y2, ty1, ty2, shorten); \ 75 if (++ty2 < ty1) --ty2; /* integer overflow */ \ 76 if (ty1 < (pRasInfo)->bounds.y1) ty1 = (pRasInfo)->bounds.y1; \ 78 if (ty1 < ty2) { \ 79 (*pLine)((pRasInfo), X1, ty1, pixel, ty2 - ty1, 0, \ 91 &tx1, &ty1, \ 96 (*pLine)((pRasInfo), tx1, ty1, pixel, steps, error, \
|
/dports/java/openjdk15/jdk15u-jdk-15.0.6-1-1/src/java.desktop/share/native/libawt/java2d/loops/ |
H A D | LineUtils.h | 59 jint tx1, ty1, tx2, ty2; \ 74 SETORDERED(Y1, Y2, ty1, ty2, shorten); \ 75 if (++ty2 < ty1) --ty2; /* integer overflow */ \ 76 if (ty1 < (pRasInfo)->bounds.y1) ty1 = (pRasInfo)->bounds.y1; \ 78 if (ty1 < ty2) { \ 79 (*pLine)((pRasInfo), X1, ty1, pixel, ty2 - ty1, 0, \ 91 &tx1, &ty1, \ 96 (*pLine)((pRasInfo), tx1, ty1, pixel, steps, error, \
|
/dports/java/openjdk16/jdk16u-jdk-16.0.2-7-1/src/java.desktop/share/native/libawt/java2d/loops/ |
H A D | LineUtils.h | 59 jint tx1, ty1, tx2, ty2; \ 74 SETORDERED(Y1, Y2, ty1, ty2, shorten); \ 75 if (++ty2 < ty1) --ty2; /* integer overflow */ \ 76 if (ty1 < (pRasInfo)->bounds.y1) ty1 = (pRasInfo)->bounds.y1; \ 78 if (ty1 < ty2) { \ 79 (*pLine)((pRasInfo), X1, ty1, pixel, ty2 - ty1, 0, \ 91 &tx1, &ty1, \ 96 (*pLine)((pRasInfo), tx1, ty1, pixel, steps, error, \
|
/dports/java/openjdk17/jdk17u-jdk-17.0.1-12-1/src/java.desktop/share/native/libawt/java2d/loops/ |
H A D | LineUtils.h | 59 jint tx1, ty1, tx2, ty2; \ 74 SETORDERED(Y1, Y2, ty1, ty2, shorten); \ 75 if (++ty2 < ty1) --ty2; /* integer overflow */ \ 76 if (ty1 < (pRasInfo)->bounds.y1) ty1 = (pRasInfo)->bounds.y1; \ 78 if (ty1 < ty2) { \ 79 (*pLine)((pRasInfo), X1, ty1, pixel, ty2 - ty1, 0, \ 91 &tx1, &ty1, \ 96 (*pLine)((pRasInfo), tx1, ty1, pixel, steps, error, \
|
/dports/java/openjdk14/jdk14u-jdk-14.0.2-12-1/src/java.desktop/share/native/libawt/java2d/loops/ |
H A D | LineUtils.h | 59 jint tx1, ty1, tx2, ty2; \ 74 SETORDERED(Y1, Y2, ty1, ty2, shorten); \ 75 if (++ty2 < ty1) --ty2; /* integer overflow */ \ 76 if (ty1 < (pRasInfo)->bounds.y1) ty1 = (pRasInfo)->bounds.y1; \ 78 if (ty1 < ty2) { \ 79 (*pLine)((pRasInfo), X1, ty1, pixel, ty2 - ty1, 0, \ 91 &tx1, &ty1, \ 96 (*pLine)((pRasInfo), tx1, ty1, pixel, steps, error, \
|
/dports/java/openjdk8-jre/jdk8u-jdk8u312-b07.1/jdk/src/share/native/sun/java2d/loops/ |
H A D | LineUtils.h | 59 jint tx1, ty1, tx2, ty2; \ 74 SETORDERED(Y1, Y2, ty1, ty2, shorten); \ 75 if (++ty2 < ty1) --ty2; /* integer overflow */ \ 76 if (ty1 < (pRasInfo)->bounds.y1) ty1 = (pRasInfo)->bounds.y1; \ 78 if (ty1 < ty2) { \ 79 (*pLine)((pRasInfo), X1, ty1, pixel, ty2 - ty1, 0, \ 91 &tx1, &ty1, \ 96 (*pLine)((pRasInfo), tx1, ty1, pixel, steps, error, \
|
/dports/math/sisl/SISL-SISL-4.6.0-44-g9114631/src/ |
H A D | sh1783.c | 250 ty1 = tfirst2; 255 fevalc2 (pc2, kderc, ty1, &kleftc2, sderc2, &kstat); 352 !(ty1 > (st2[kleftc2 + 1] - REL_PAR_RES))) 354 tyincre = st2[kleftc2 + 1] - ty1; 369 !(ty1 > (st2[kleftc2] + REL_PAR_RES))) 371 tyincre = idir2 * (st2[kleftc2] - ty1); 381 ty2 = ty1 + idir2 * tyincre; 428 ty1 = (idir2 > 0) ? MAX(ty1,tpos) : MIN(ty1,tpos); 433 ty1 = ty2; 438 elast[1] = ty1; [all …]
|
/dports/www/grafana8/grafana-8.3.6/vendor/github.com/apache/arrow/cpp/src/arrow/compute/ |
H A D | kernel_test.cc | 89 InputType ty1(int8()); in TEST() local 118 ASSERT_TRUE(types[0].Equals(ty1)); in TEST() 122 InputType ty3 = ty1; in TEST() 124 ASSERT_TRUE(ty3.Equals(ty1)); in TEST() 130 ASSERT_TRUE(ty5.Equals(ty1)); in TEST() 234 InputType ty1 = int8(); in TEST() local 257 OutputType ty1 = int8(); in TEST() local 272 OutputType ty3 = ty1; in TEST() 282 OutputType ty5 = std::move(ty1); in TEST() 300 OutputType ty1(int32()); in TEST() local [all …]
|