Home
last modified time | relevance | path

Searched refs:ty1 (Results 1 – 25 of 1769) sorted by relevance

12345678910>>...71

/dports/games/xpuzzletama/xpuzzletama/
H A Dxtama_move.c8 …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 Darray_view_test.cc231 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 Darray_view_test.cc231 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 Darray_view_test.cc225 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 Dunifier.rkt21 (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 Dtype.c112 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 Dtype.h88 #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 Dexprchk.c510 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 DTcCanonical.hs1087 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 DSubsumption.hs68 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 Dshadowitem.cpp158 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 Dszpcly.c25 *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 Dunifyty.ml69 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 DLineUtils.h59 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 DLineUtils.h59 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 DLineUtils.h59 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 DLineUtils.h59 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 DLineUtils.h59 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 DLineUtils.h59 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 DLineUtils.h59 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 DLineUtils.h59 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 DLineUtils.h59 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 DLineUtils.h59 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 Dsh1783.c250 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 Dkernel_test.cc89 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 …]

12345678910>>...71