Searched refs:yices_application (Results 1 – 8 of 8) sorted by relevance
| /dports/math/yices/yices-2.6.2/tests/unit/ |
| H A D | test_api2.c | 614 t = yices_application(fun, 1, &arg); in test_app1()
637 t = yices_application(fun, 2, aux); in test_app2()
1366 t = yices_application(fun, 0, aux); in test_error_codes()
1371 t = yices_application(-2, 2, aux); in test_error_codes()
1376 t = yices_application(fun, 2, aux); in test_error_codes()
1381 t = yices_application(true_term, 2, aux); in test_error_codes()
1384 t = yices_application(fun, 1, aux); in test_error_codes()
1389 t = yices_application(fun, 2, aux); in test_error_codes()
1394 t = yices_application(fun, 2, aux); in test_error_codes()
|
| H A D | test_full_subst.c | 171 t = yices_application(f, 2, aux); in random_term()
|
| H A D | test_fvar_collector.c | 46 return yices_application(f, 2, aux); in bin_app()
|
| H A D | test_intern_table.c | 563 return yices_application(f, n, aux); in random_apply()
|
| /dports/math/py-pysmt/pysmt-0.9.0/pysmt/solvers/ |
| H A D | yices.py | 456 res = yicespy.yices_application(decl, len(args), args)
|
| /dports/math/yices/yices-2.6.2/src/include/ |
| H A D | yices.h | 674 __YICES_DLLSPEC__ extern term_t yices_application(term_t fun, uint32_t n, const term_t arg[]);
|
| /dports/math/yices/yices-2.6.2/src/frontend/smt2/ |
| H A D | smt2_term_stack.c | 2015 t = yices_application(array, 1, &index); in eval_smt2_mk_select()
|
| /dports/math/yices/yices-2.6.2/src/api/ |
| H A D | yices_api.c | 2979 EXPORTED term_t yices_application(term_t fun, uint32_t n, const term_t arg[]) { in yices_application() function
3015 return yices_application(fun, 1, &arg1); in yices_application1()
3023 return yices_application(fun, 2, aux); in yices_application2()
3032 return yices_application(fun, 3, aux); in yices_application3()
|