Searched refs:mk_init (Results 1 – 10 of 10) sorted by relevance
| /dports/math/libpgmath/flang-d07daf3/tools/flang1/utils/ast/ |
| H A D | ast.in.h | 351 int mk_init (int, DTYPE);
|
| /dports/lang/ocaml/ocaml-4.05.0/driver/ |
| H A D | main_args.ml | 116 let mk_init f =
1074 mk_init F._init;
1266 mk_init F._init;
|
| /dports/lang/ocaml-nox11/ocaml-4.05.0/driver/ |
| H A D | main_args.ml | 116 let mk_init f =
1074 mk_init F._init;
1266 mk_init F._init;
|
| /dports/math/z3/z3-z3-4.8.13/src/smt/ |
| H A D | mam.cpp | 606 instruction * mk_init(unsigned n) { in mk_init() function in __anon9e1320940111::code_tree_manager
632 r->m_root = mk_init(num_args); in mk_code_tree()
|
| /dports/math/z3/z3-z3-4.8.13/src/sat/smt/ |
| H A D | q_mam.cpp | 643 instruction * mk_init(unsigned n) { in mk_init() function in q::code_tree_manager
669 r->m_root = mk_init(num_args); in mk_code_tree()
|
| /dports/math/py-z3-solver/z3-z3-4.8.10/src/smt/ |
| H A D | mam.cpp | 621 instruction * mk_init(unsigned n) { in mk_init() function in __anon92718def0111::code_tree_manager
647 r->m_root = mk_init(num_args); in mk_code_tree()
|
| /dports/math/libpgmath/flang-d07daf3/tools/flang1/flang1exe/ |
| H A D | semutil2.c | 6137 ast = mk_init(left, dtype); in add_init()
6531 nlist = mk_init(nlist, A_DTYPEG(nlist)); in unop_init_list()
6584 nlist = mk_init(nlist, A_DTYPEG(nlist)); in binop_init_list()
6602 nlist = mk_init(nlist, A_DTYPEG(nlist)); in binop_init_list()
6620 nlist = mk_init(nlist, A_DTYPEG(nlist)); in binop_init_list()
6990 aa = mk_init(PARAMVALG(A_SPTRG(aast)), dtype); in dinit_fill_struct()
|
| H A D | func.c | 530 ast = mk_init(sub, DTY(dtype + 1)); in _makezero()
545 ast = mk_init(sub, DTYPEG(member)); in _makezero()
|
| H A D | ast.c | 536 mk_init(int left, DTYPE dtype) in mk_init() function
4368 astnew = mk_init(left, dtype); in ast_rewrite()
|
| H A D | interf.c | 4321 ast = mk_init(left, dtype); in fill_ast()
|