| /dports/math/yices/yices-2.6.2/src/include/ |
| H A D | yices.h | 44 #undef __YICES_DLLSPEC__
45 #define __YICES_DLLSPEC__ macro
47 #if ! defined(__YICES_DLLSPEC__)
48 #define __YICES_DLLSPEC__ __declspec(dllimport) macro
52 #define __YICES_DLLSPEC__ macro
92 __YICES_DLLSPEC__ extern const char *yices_version;
131 __YICES_DLLSPEC__ extern void yices_init(void);
138 __YICES_DLLSPEC__ extern void yices_exit(void);
147 __YICES_DLLSPEC__ extern void yices_reset(void);
592 __YICES_DLLSPEC__ extern term_t yices_true(void);
[all …]
|
| /dports/math/yices/yices-2.6.2/src/frontend/common/ |
| H A D | bug_report.c | 20 #ifndef __YICES_DLLSPEC__
21 #define __YICES_DLLSPEC__ __declspec(dllexport) macro
|
| H A D | parameters.c | 20 #ifndef __YICES_DLLSPEC__
21 #define __YICES_DLLSPEC__ __declspec(dllexport) macro
|
| /dports/math/yices/yices-2.6.2/src/exists_forall/ |
| H A D | ef_client.c | 24 #ifndef __YICES_DLLSPEC__
25 #define __YICES_DLLSPEC__ __declspec(dllexport) macro
|
| H A D | efsolver.c | 24 #ifndef __YICES_DLLSPEC__
25 #define __YICES_DLLSPEC__ __declspec(dllexport) macro
|
| H A D | ef_analyze.c | 24 #ifndef __YICES_DLLSPEC__
25 #define __YICES_DLLSPEC__ __declspec(dllexport) macro
|
| /dports/math/yices/yices-2.6.2/src/parser_utils/ |
| H A D | term_stack_error.c | 24 #ifndef __YICES_DLLSPEC__
25 #define __YICES_DLLSPEC__ __declspec(dllexport) macro
|
| /dports/math/yices/yices-2.6.2/src/frontend/smt1/ |
| H A D | smt_term_stack.c | 24 #ifndef __YICES_DLLSPEC__
25 #define __YICES_DLLSPEC__ __declspec(dllexport) macro
|
| H A D | smt_parser.c | 24 #ifndef __YICES_DLLSPEC__
25 #define __YICES_DLLSPEC__ __declspec(dllexport) macro
|
| /dports/math/yices/yices-2.6.2/src/mcsat/bv/ |
| H A D | bv_explainer.c | 9 #ifndef __YICES_DLLSPEC__
10 #define __YICES_DLLSPEC__ __declspec(dllexport) macro
|
| H A D | bv_utils.h | 25 #ifndef __YICES_DLLSPEC__
26 #define __YICES_DLLSPEC__ __declspec(dllexport) macro
|
| /dports/math/yices/yices-2.6.2/src/frontend/ |
| H A D | yices_sat.c | 24 #ifndef __YICES_DLLSPEC__
25 #define __YICES_DLLSPEC__ __declspec(dllexport) macro
|
| H A D | yices_smt2_mt.c | 24 #ifndef __YICES_DLLSPEC__
25 #define __YICES_DLLSPEC__ __declspec(dllexport) macro
|
| H A D | yices_smt2.c | 24 #ifndef __YICES_DLLSPEC__
25 #define __YICES_DLLSPEC__ __declspec(dllexport) macro
|
| H A D | yices_sat_new.c | 24 #ifndef __YICES_DLLSPEC__
25 #define __YICES_DLLSPEC__ __declspec(dllexport) macro
|
| H A D | yices_smtcomp.c | 24 #ifndef __YICES_DLLSPEC__
25 #define __YICES_DLLSPEC__ __declspec(dllexport) macro
|
| H A D | yices_smt.c | 24 #ifndef __YICES_DLLSPEC__
25 #define __YICES_DLLSPEC__ __declspec(dllexport) macro
|
| /dports/math/yices/yices-2.6.2/src/mcsat/bv/explain/ |
| H A D | full_bv_sat.c | 9 #ifndef __YICES_DLLSPEC__
10 #define __YICES_DLLSPEC__ __declspec(dllexport) macro
|
| H A D | eq_ext_con.c | 9 #ifndef __YICES_DLLSPEC__
10 #define __YICES_DLLSPEC__ __declspec(dllexport) macro
|
| /dports/math/yices/yices-2.6.2/src/mcsat/ |
| H A D | conflict.c | 20 #ifndef __YICES_DLLSPEC__
21 #define __YICES_DLLSPEC__ __declspec(dllexport) macro
|
| H A D | preprocessor.c | 20 #ifndef __YICES_DLLSPEC__
21 #define __YICES_DLLSPEC__ __declspec(dllexport) macro
|
| H A D | solver.c | 20 #ifndef __YICES_DLLSPEC__
21 #define __YICES_DLLSPEC__ __declspec(dllexport) macro
|
| /dports/math/yices/yices-2.6.2/src/api/ |
| H A D | yices_error.c | 24 #ifndef __YICES_DLLSPEC__
25 #define __YICES_DLLSPEC__ __declspec(dllexport) macro
|
| /dports/math/yices/yices-2.6.2/src/mcsat/nra/ |
| H A D | nra_plugin.c | 24 #ifndef __YICES_DLLSPEC__
25 #define __YICES_DLLSPEC__ __declspec(dllexport) macro
|
| /dports/math/yices/yices-2.6.2/src/frontend/smt2/ |
| H A D | smt2_term_stack.c | 24 #ifndef __YICES_DLLSPEC__
25 #define __YICES_DLLSPEC__ __declspec(dllexport) macro
|