| /dports/math/sisl/SISL-SISL-4.6.0-44-g9114631/src/ |
| H A D | s1382.c | 149 double *sgt1 = SISL_NULL; /* Knot vector in first parameter direction of local
219 s1381 (st1, kn1, kk1, &sgt1, &kjkn1, kjkk1, &kstat);
226 s1890 (sgt1, kjkk1, kjkn1, &par1, &der1, &kstat);
312 s1891 (par1, sval2, kone, kjkn1, kjkn2, der1, cuopen, sgt1, &sval3,
318 *rsurf = newSurf (kjkn1, kjkn2, kjkk1, kjkk2, sgt1, sgt2, sval3, 1, 1, 1);
360 if (sgt1 != SISL_NULL)
361 freearray (sgt1);
|
| H A D | s1513.c | 163 double *sgt1 = SISL_NULL; /* Knot vector in first parameter direction of local
228 s1381 (st1, kn1, kk1, &sgt1, &kjkn1, kjkk1, &kstat);
234 s1890(sgt1,kjkk1,kjkn1,&par1,&der1,&kstat);
320 s1891(par1,sval2,kone,kjkn1,kjkn2,der1,cuopen,sgt1,&sval3,&kjkn1,kjkk1,kzero,kzero,&kstat);
328 *rsurf = newSurf (kjkn1, kjkn2, kjkk1, kjkk2, sgt1, sgt2, sval3, 1, 1, 1);
372 if (sgt1 != SISL_NULL)
373 freearray (sgt1);
|
| H A D | s1512.c | 158 double *sgt1 = SISL_NULL; /* Knot vector in first parameter direction of local
223 s1381 (st1, kn1, kk1, &sgt1, &kjkn1, kjkk1, &kstat);
229 s1890(sgt1,kjkk1,kjkn1,&par1,&der1,&kstat);
314 s1891(par1,sval2,kone,kjkn1,kjkn2,der1,cuopen,sgt1,&sval3,&kjkn1,kjkk1,kzero,kzero,&kstat);
319 *rsurf = newSurf (kjkn1, kjkn2, kjkk1, kjkk2, sgt1, sgt2, sval3, 1, 1, 1);
364 if (sgt1 != SISL_NULL)
365 freearray (sgt1);
|
| H A D | s1378.c | 129 double *sgt1 = SISL_NULL; /* Knot vector in first parameter direction of local
193 s1376 (st1, kn1, kk1, &sgt1, &kjkn1, &kjkk1, &kstat);
200 s1890 (sgt1, kjkk1, kjkn1, &par1, &der1, &kstat);
331 s1891 (par1, sval2, kone, kjkn1, kjkn2, der1, cuopen, sgt1, &sval3,
337 *rsurf = newSurf (kjkn1, kjkn2, kjkk1, kjkk2, sgt1, sgt2, sval3, 1, 1, 1);
387 if (sgt1 != SISL_NULL)
388 freearray (sgt1);
|
| /dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/ |
| H A D | bv_inverter_utils.cpp | 881 Node sgt1 = nm->mkNode(BITVECTOR_SGT, div1, t); in getICBvUdiv() local
884 scl = nm->mkNode(OR, sgt1, sgt2); in getICBvUdiv()
1440 Node sgt1 = nm->mkNode(BITVECTOR_SGT, lshr, t); in getICBvLshr() local
1442 scl = sz.impNode(sgt1).andNode(sz.notNode().impNode(sgt2)); in getICBvLshr()
|