Searched refs:fvar1 (Results 1 – 3 of 3) sorted by relevance
| /dports/math/yices/yices-2.6.2/tests/unit/ |
| H A D | test_types.c | 169 type_t var1, var2, fvar1, tvar; in main() local
289 fvar1, i, type_depth(&table, i)); in main()
290 assert(i == fvar1); in main()
298 fvar1, i, type_depth(&table, i)); in main()
299 assert(i == fvar1); in main()
307 fvar1, i, type_depth(&table, i)); in main()
308 assert(i == fvar1); in main()
316 fvar1, i, type_depth(&table, i)); in main()
317 assert(i == fvar1); in main()
354 assert(i == fvar1); in main()
[all …]
|
| /dports/textproc/py-nltk/nltk-3.4.1/nltk/ |
| H A D | featstruct.py | 1619 fvar1 = fvar2 = None
1621 fvar1 = fval1
1679 if fvar1 is not None:
1680 bindings[fvar1] = result
1681 result = fvar1
1682 if fvar2 is not None and fvar2 != fvar1:
|
| /dports/cad/electric/electric-7.00/src/usr/ |
| H A D | usrcomtv.c | 1577 VARIABLE *evar, fvar1, fvar2; in us_var() local
2694 fvar1.addr = objaddr1; in us_var()
2695 fvar1.type = objtype1; in us_var()
2696 var1 = &fvar1; in us_var()
|