Home
last modified time | relevance | path

Searched refs:sym_table (Results 1 – 25 of 270) sorted by relevance

1234567891011

/dports/math/yices/yices-2.6.2/src/utils/
H A Dsymbol_tables.c114 sym_table->ndeleted ++; in stbl_free_record()
196 sym_table->size = n; in stbl_extend()
201 sym_table, sym_table->cost, sym_table->nelems, sym_table->ndeleted, old_size, n); in stbl_extend()
233 sym_table->size = n; in init_stbl()
239 sym_table->cost = 0; in init_stbl()
256 sym_table, sym_table->cost, sym_table->nelems, sym_table->ndeleted, sym_table->size); in delete_stbl()
260 b = sym_table->bnk; in delete_stbl()
293 n = sym_table->size; in reset_stbl()
308 sym_table->cost = 0; in reset_stbl()
445 sym_table->lctr --; in stbl_find()
[all …]
H A Dsymbol_tables.h128 extern void init_stbl(stbl_t *sym_table, uint32_t n);
133 static inline void stbl_set_finalizer(stbl_t *sym_table, stbl_finalizer_t fun) { in stbl_set_finalizer() argument
134 sym_table->finalize = fun; in stbl_set_finalizer()
141 extern void delete_stbl(stbl_t *sym_table);
146 extern void reset_stbl(stbl_t *sym_table);
153 extern void stbl_remove(stbl_t *sym_table, const char *symbol);
158 extern int32_t stbl_find(stbl_t *sym_table, const char *symbol);
165 extern void stbl_add(stbl_t *sym_table, char *symbol, int32_t val);
174 extern void stbl_delete_mapping(stbl_t *sym_table, const char *symbol, int32_t val);
184 extern void stbl_iterate(stbl_t *sym_table, void *aux, stbl_iterator_t f);
[all …]
/dports/math/yices/yices-2.6.2/tests/unit/
H A Dtest_symbol_table.c33 static stbl_t sym_table; variable
126 init_stbl(&sym_table, 0); in main()
129 print_stbl_records(&sym_table); in main()
158 print_stbl_records(&sym_table); in main()
162 reset_stbl(&sym_table); in main()
165 print_stbl_records(&sym_table); in main()
189 x = stbl_find(&sym_table, ""); in main()
211 print_stbl_records(&sym_table); in main()
221 print_stbl_records(&sym_table); in main()
277 sym_table.size, sym_table.nelems, sym_table.ndeleted); in main()
[all …]
H A Dtest_symbol_table2.c38 static stbl_t sym_table; variable
119 init_stbl(&sym_table, 0); in main()
128 x = stbl_find(&sym_table, words[i]); in main()
130 stbl_add(&sym_table, words[i], i); in main()
139 x = stbl_find(&sym_table, words[i]); in main()
160 x = stbl_find(&sym_table, words[j]); in main()
168 x = stbl_find(&sym_table, words[j]); in main()
176 x = stbl_find(&sym_table, words[j]); in main()
179 x = stbl_find(&sym_table, words[j]); in main()
197 sym_table.size, sym_table.nelems, sym_table.ndeleted); in main()
[all …]
H A Dtest_symtbl_scoping.c52 static stbl_t sym_table; variable
70 init_stbl(&sym_table, 2); // use a small initial size to trigger resizing in init()
71 stbl_set_finalizer(&sym_table, finalize); in init()
89 k = stbl_find(&sym_table, name[i]); in check()
118 stbl_add(&sym_table, clone, scope[i]); in map()
131 stbl_remove(&sym_table, name[i]); in unmap()
174 reset_stbl(&sym_table); in main()
183 delete_stbl(&sym_table); in main()
/dports/print/tex-luatex/texlive-20150521-source/texk/web2c/web2c/
H A Dweb2c-parser.y29 #define symbol(x) sym_table[x].id
449 sym_table[last_type].var_not_needed = sym_table[l_s].var_not_needed;
450 sym_table[last_type].upper = sym_table[l_s].upper;
451 sym_table[last_type].upper_sym = sym_table[l_s].upper_sym;
452 sym_table[last_type].val = sym_table[l_s].val;
453 sym_table[last_type].val_sym = sym_table[l_s].val_sym;
479 sym_table[last_type].var_not_needed = sym_table[l_s].var_not_needed;
480 sym_table[last_type].upper = sym_table[l_s].upper;
481 sym_table[last_type].upper_sym = sym_table[l_s].upper_sym;
482 sym_table[last_type].val = sym_table[l_s].val;
[all …]
H A Dweb2c-parser.c71 #define symbol(x) sym_table[x].id
2389 sym_table[last_type].var_not_needed = sym_table[l_s].var_not_needed; in yyparse()
2390 sym_table[last_type].upper = sym_table[l_s].upper; in yyparse()
2391 sym_table[last_type].upper_sym = sym_table[l_s].upper_sym; in yyparse()
2392 sym_table[last_type].val = sym_table[l_s].val; in yyparse()
2393 sym_table[last_type].val_sym = sym_table[l_s].val_sym; in yyparse()
2428 sym_table[last_type].var_not_needed = sym_table[l_s].var_not_needed; in yyparse()
2429 sym_table[last_type].upper = sym_table[l_s].upper; in yyparse()
2430 sym_table[last_type].upper_sym = sym_table[l_s].upper_sym; in yyparse()
2431 sym_table[last_type].val = sym_table[l_s].val; in yyparse()
[all …]
/dports/print/tex-xetex/texlive-20150521-source/texk/web2c/web2c/
H A Dweb2c-parser.y29 #define symbol(x) sym_table[x].id
449 sym_table[last_type].var_not_needed = sym_table[l_s].var_not_needed;
450 sym_table[last_type].upper = sym_table[l_s].upper;
451 sym_table[last_type].upper_sym = sym_table[l_s].upper_sym;
452 sym_table[last_type].val = sym_table[l_s].val;
453 sym_table[last_type].val_sym = sym_table[l_s].val_sym;
479 sym_table[last_type].var_not_needed = sym_table[l_s].var_not_needed;
480 sym_table[last_type].upper = sym_table[l_s].upper;
481 sym_table[last_type].upper_sym = sym_table[l_s].upper_sym;
482 sym_table[last_type].val = sym_table[l_s].val;
[all …]
H A Dweb2c-parser.c71 #define symbol(x) sym_table[x].id
2389 sym_table[last_type].var_not_needed = sym_table[l_s].var_not_needed; in yyparse()
2390 sym_table[last_type].upper = sym_table[l_s].upper; in yyparse()
2391 sym_table[last_type].upper_sym = sym_table[l_s].upper_sym; in yyparse()
2392 sym_table[last_type].val = sym_table[l_s].val; in yyparse()
2393 sym_table[last_type].val_sym = sym_table[l_s].val_sym; in yyparse()
2428 sym_table[last_type].var_not_needed = sym_table[l_s].var_not_needed; in yyparse()
2429 sym_table[last_type].upper = sym_table[l_s].upper; in yyparse()
2430 sym_table[last_type].upper_sym = sym_table[l_s].upper_sym; in yyparse()
2431 sym_table[last_type].val = sym_table[l_s].val; in yyparse()
[all …]
H A Dmain.c61 struct sym_entry sym_table[sym_table_size]; variable
155 if (strcmp (id, sym_table[ptr].id) == 0) in search_table()
158 ptr = sym_table[ptr].next; in search_table()
173 sym_table[next_sym_free].next = ptr; in add_to_table()
174 sym_table[next_sym_free].val = unused; in add_to_table()
175 sym_table[next_sym_free].id = strings + next_string_free; in add_to_table()
176 sym_table[next_sym_free].var_formal = false; in add_to_table()
177 sym_table[next_sym_free].var_not_needed = false; in add_to_table()
193 ptr = sym_table[ptr].next; in remove_locals()
/dports/devel/tex-web2c/texlive-20150521-source/texk/web2c/web2c/
H A Dweb2c-parser.y29 #define symbol(x) sym_table[x].id
449 sym_table[last_type].var_not_needed = sym_table[l_s].var_not_needed;
450 sym_table[last_type].upper = sym_table[l_s].upper;
451 sym_table[last_type].upper_sym = sym_table[l_s].upper_sym;
452 sym_table[last_type].val = sym_table[l_s].val;
453 sym_table[last_type].val_sym = sym_table[l_s].val_sym;
479 sym_table[last_type].var_not_needed = sym_table[l_s].var_not_needed;
480 sym_table[last_type].upper = sym_table[l_s].upper;
481 sym_table[last_type].upper_sym = sym_table[l_s].upper_sym;
482 sym_table[last_type].val = sym_table[l_s].val;
[all …]
H A Dweb2c-parser.c71 #define symbol(x) sym_table[x].id
2389 sym_table[last_type].var_not_needed = sym_table[l_s].var_not_needed; in yyparse()
2390 sym_table[last_type].upper = sym_table[l_s].upper; in yyparse()
2391 sym_table[last_type].upper_sym = sym_table[l_s].upper_sym; in yyparse()
2392 sym_table[last_type].val = sym_table[l_s].val; in yyparse()
2393 sym_table[last_type].val_sym = sym_table[l_s].val_sym; in yyparse()
2428 sym_table[last_type].var_not_needed = sym_table[l_s].var_not_needed; in yyparse()
2429 sym_table[last_type].upper = sym_table[l_s].upper; in yyparse()
2430 sym_table[last_type].upper_sym = sym_table[l_s].upper_sym; in yyparse()
2431 sym_table[last_type].val = sym_table[l_s].val; in yyparse()
[all …]
/dports/devel/tex-synctex/texlive-20150521-source/texk/web2c/web2c/
H A Dweb2c-parser.y29 #define symbol(x) sym_table[x].id
449 sym_table[last_type].var_not_needed = sym_table[l_s].var_not_needed;
450 sym_table[last_type].upper = sym_table[l_s].upper;
451 sym_table[last_type].upper_sym = sym_table[l_s].upper_sym;
452 sym_table[last_type].val = sym_table[l_s].val;
453 sym_table[last_type].val_sym = sym_table[l_s].val_sym;
479 sym_table[last_type].var_not_needed = sym_table[l_s].var_not_needed;
480 sym_table[last_type].upper = sym_table[l_s].upper;
481 sym_table[last_type].upper_sym = sym_table[l_s].upper_sym;
482 sym_table[last_type].val = sym_table[l_s].val;
[all …]
H A Dweb2c-parser.c71 #define symbol(x) sym_table[x].id
2389 sym_table[last_type].var_not_needed = sym_table[l_s].var_not_needed; in yyparse()
2390 sym_table[last_type].upper = sym_table[l_s].upper; in yyparse()
2391 sym_table[last_type].upper_sym = sym_table[l_s].upper_sym; in yyparse()
2392 sym_table[last_type].val = sym_table[l_s].val; in yyparse()
2393 sym_table[last_type].val_sym = sym_table[l_s].val_sym; in yyparse()
2428 sym_table[last_type].var_not_needed = sym_table[l_s].var_not_needed; in yyparse()
2429 sym_table[last_type].upper = sym_table[l_s].upper; in yyparse()
2430 sym_table[last_type].upper_sym = sym_table[l_s].upper_sym; in yyparse()
2431 sym_table[last_type].val = sym_table[l_s].val; in yyparse()
[all …]
/dports/japanese/tex-ptex/texlive-20150521-source/texk/web2c/web2c/
H A Dweb2c-parser.y29 #define symbol(x) sym_table[x].id
449 sym_table[last_type].var_not_needed = sym_table[l_s].var_not_needed;
450 sym_table[last_type].upper = sym_table[l_s].upper;
451 sym_table[last_type].upper_sym = sym_table[l_s].upper_sym;
452 sym_table[last_type].val = sym_table[l_s].val;
453 sym_table[last_type].val_sym = sym_table[l_s].val_sym;
479 sym_table[last_type].var_not_needed = sym_table[l_s].var_not_needed;
480 sym_table[last_type].upper = sym_table[l_s].upper;
481 sym_table[last_type].upper_sym = sym_table[l_s].upper_sym;
482 sym_table[last_type].val = sym_table[l_s].val;
[all …]
H A Dweb2c-parser.c71 #define symbol(x) sym_table[x].id
2389 sym_table[last_type].var_not_needed = sym_table[l_s].var_not_needed; in yyparse()
2390 sym_table[last_type].upper = sym_table[l_s].upper; in yyparse()
2391 sym_table[last_type].upper_sym = sym_table[l_s].upper_sym; in yyparse()
2392 sym_table[last_type].val = sym_table[l_s].val; in yyparse()
2393 sym_table[last_type].val_sym = sym_table[l_s].val_sym; in yyparse()
2428 sym_table[last_type].var_not_needed = sym_table[l_s].var_not_needed; in yyparse()
2429 sym_table[last_type].upper = sym_table[l_s].upper; in yyparse()
2430 sym_table[last_type].upper_sym = sym_table[l_s].upper_sym; in yyparse()
2431 sym_table[last_type].val = sym_table[l_s].val; in yyparse()
[all …]
/dports/print/tex-aleph/texlive-20150521-source/texk/web2c/web2c/
H A Dweb2c-parser.y29 #define symbol(x) sym_table[x].id
449 sym_table[last_type].var_not_needed = sym_table[l_s].var_not_needed;
450 sym_table[last_type].upper = sym_table[l_s].upper;
451 sym_table[last_type].upper_sym = sym_table[l_s].upper_sym;
452 sym_table[last_type].val = sym_table[l_s].val;
453 sym_table[last_type].val_sym = sym_table[l_s].val_sym;
479 sym_table[last_type].var_not_needed = sym_table[l_s].var_not_needed;
480 sym_table[last_type].upper = sym_table[l_s].upper;
481 sym_table[last_type].upper_sym = sym_table[l_s].upper_sym;
482 sym_table[last_type].val = sym_table[l_s].val;
[all …]
H A Dweb2c-parser.c71 #define symbol(x) sym_table[x].id
2389 sym_table[last_type].var_not_needed = sym_table[l_s].var_not_needed; in yyparse()
2390 sym_table[last_type].upper = sym_table[l_s].upper; in yyparse()
2391 sym_table[last_type].upper_sym = sym_table[l_s].upper_sym; in yyparse()
2392 sym_table[last_type].val = sym_table[l_s].val; in yyparse()
2393 sym_table[last_type].val_sym = sym_table[l_s].val_sym; in yyparse()
2428 sym_table[last_type].var_not_needed = sym_table[l_s].var_not_needed; in yyparse()
2429 sym_table[last_type].upper = sym_table[l_s].upper; in yyparse()
2430 sym_table[last_type].upper_sym = sym_table[l_s].upper_sym; in yyparse()
2431 sym_table[last_type].val = sym_table[l_s].val; in yyparse()
[all …]
/dports/print/tex-basic-engines/texlive-20150521-source/texk/web2c/web2c/
H A Dweb2c-parser.y29 #define symbol(x) sym_table[x].id
449 sym_table[last_type].var_not_needed = sym_table[l_s].var_not_needed;
450 sym_table[last_type].upper = sym_table[l_s].upper;
451 sym_table[last_type].upper_sym = sym_table[l_s].upper_sym;
452 sym_table[last_type].val = sym_table[l_s].val;
453 sym_table[last_type].val_sym = sym_table[l_s].val_sym;
479 sym_table[last_type].var_not_needed = sym_table[l_s].var_not_needed;
480 sym_table[last_type].upper = sym_table[l_s].upper;
481 sym_table[last_type].upper_sym = sym_table[l_s].upper_sym;
482 sym_table[last_type].val = sym_table[l_s].val;
[all …]
H A Dweb2c-parser.c71 #define symbol(x) sym_table[x].id
2389 sym_table[last_type].var_not_needed = sym_table[l_s].var_not_needed; in yyparse()
2390 sym_table[last_type].upper = sym_table[l_s].upper; in yyparse()
2391 sym_table[last_type].upper_sym = sym_table[l_s].upper_sym; in yyparse()
2392 sym_table[last_type].val = sym_table[l_s].val; in yyparse()
2393 sym_table[last_type].val_sym = sym_table[l_s].val_sym; in yyparse()
2428 sym_table[last_type].var_not_needed = sym_table[l_s].var_not_needed; in yyparse()
2429 sym_table[last_type].upper = sym_table[l_s].upper; in yyparse()
2430 sym_table[last_type].upper_sym = sym_table[l_s].upper_sym; in yyparse()
2431 sym_table[last_type].val = sym_table[l_s].val; in yyparse()
[all …]
/dports/www/matomo/piwik/vendor/lox/xhprof/xhprof_lib/utils/
H A Dcallgraph_utils.php219 $total_times = $sym_table["main()"]["ct"];
228 unset($sym_table[$cur_del_func]);
243 foreach ($sym_table as $symbol => $info) {
245 unset($sym_table[$symbol]);
257 foreach ($sym_table as $symbol => $info) {
259 unset($sym_table[$symbol]);
265 $sym_table[$symbol]["id"] = $cur_id;
270 foreach ($sym_table as $symbol => $info) {
354 if (isset($sym_table[$parent]) && isset($sym_table[$child]) &&
368 ($sym_table[$parent]["wt"] - $sym_table["$parent"]["excl_wt"]))
[all …]
/dports/www/moodle310/moodle/lib/xhprof/xhprof_lib/utils/
H A Dcallgraph_utils.php223 $total_times = $sym_table["main()"]["ct"];
232 unset($sym_table[$cur_del_func]);
247 foreach ($sym_table as $symbol => $info) {
249 unset($sym_table[$symbol]);
261 foreach ($sym_table as $symbol => $info) {
263 unset($sym_table[$symbol]);
269 $sym_table[$symbol]["id"] = $cur_id;
274 foreach ($sym_table as $symbol => $info) {
358 if (isset($sym_table[$parent]) && isset($sym_table[$child]) &&
372 ($sym_table[$parent]["wt"] - $sym_table["$parent"]["excl_wt"]))
[all …]
/dports/www/moodle311/moodle/lib/xhprof/xhprof_lib/utils/
H A Dcallgraph_utils.php223 $total_times = $sym_table["main()"]["ct"];
232 unset($sym_table[$cur_del_func]);
247 foreach ($sym_table as $symbol => $info) {
249 unset($sym_table[$symbol]);
261 foreach ($sym_table as $symbol => $info) {
263 unset($sym_table[$symbol]);
269 $sym_table[$symbol]["id"] = $cur_id;
274 foreach ($sym_table as $symbol => $info) {
358 if (isset($sym_table[$parent]) && isset($sym_table[$child]) &&
372 ($sym_table[$parent]["wt"] - $sym_table["$parent"]["excl_wt"]))
[all …]
/dports/www/moodle39/moodle/lib/xhprof/xhprof_lib/utils/
H A Dcallgraph_utils.php223 $total_times = $sym_table["main()"]["ct"];
232 unset($sym_table[$cur_del_func]);
247 foreach ($sym_table as $symbol => $info) {
249 unset($sym_table[$symbol]);
261 foreach ($sym_table as $symbol => $info) {
263 unset($sym_table[$symbol]);
269 $sym_table[$symbol]["id"] = $cur_id;
274 foreach ($sym_table as $symbol => $info) {
358 if (isset($sym_table[$parent]) && isset($sym_table[$child]) &&
372 ($sym_table[$parent]["wt"] - $sym_table["$parent"]["excl_wt"]))
[all …]
/dports/net/aprsc/aprsc-2.1.10.gd72a17c/src/
H A Dparse_aprs.c115 *sym_table = '/'; in get_symbol_from_dstcall_twochar()
124 *sym_table = '/'; in get_symbol_from_dstcall_twochar()
129 *sym_table = '/'; in get_symbol_from_dstcall_twochar()
138 *sym_table = '/'; in get_symbol_from_dstcall_twochar()
147 *sym_table = '/'; in get_symbol_from_dstcall_twochar()
156 *sym_table = '/'; in get_symbol_from_dstcall_twochar()
165 *sym_table = '/'; in get_symbol_from_dstcall_twochar()
174 *sym_table = '\\'; in get_symbol_from_dstcall_twochar()
183 *sym_table = '\\'; in get_symbol_from_dstcall_twochar()
188 *sym_table = '\\'; in get_symbol_from_dstcall_twochar()
[all …]

1234567891011