| /dports/math/yices/yices-2.6.2/src/solvers/cdcl/ |
| H A D | new_gate_hash_map2.c | 82 static gmap_elem_t *gmap_elem_add(gmap_elem_t *e, uint32_t ttbl, literal_t l) { in gmap_elem_add()
107 static literal_t gmap_elem_find_ttbl(gmap_elem_t *e, uint32_t ttbl) { in gmap_elem_find_ttbl()
280 static literal_t gmap_find_match(const gmap_t *gmap, const bvar_t v[4], uint32_t ttbl) { in gmap_find_match()
307 static literal_t gmap_get_match(gmap_t *gmap, const bvar_t v[4], uint32_t ttbl, literal_t l) { in gmap_get_match()
388 uint32_t ttbl; in gmap_find_match3() local
397 uint32_t ttbl; in gmap_get_match3() local
476 uint32_t ttbl; in convert_wide_ttbl() local
543 uint32_t ttbl; in gmap_find_wide_ttbl() local
551 uint32_t ttbl; in gmap_get_wide_ttbl() local
|
| H A D | wide_truth_tables.c | 101 static void expand_ttbl(uint8_t *a, const ttbl_t *ttbl) { in expand_ttbl()
257 void wide_ttbl_import(wide_ttbl_t *w, const ttbl_t *ttbl) { in wide_ttbl_import()
306 const ttbl_t *ttbl, const uint32_t *mask, const uint32_t *selector) { in compose_truth_tables()
375 bool wide_ttbl_compose(wide_ttbl_t *w, const wide_ttbl_t *w1, const ttbl_t *ttbl, uint32_t i) { in wide_ttbl_compose()
417 bool wide_ttbl_var_compose(wide_ttbl_t *w, const wide_ttbl_t *w1, const ttbl_t *ttbl, bvar_t x) { in wide_ttbl_var_compose()
|
| H A D | new_gate_hash_map2.h | 118 uint32_t ttbl; member
|
| H A D | new_gates.h | 67 uint32_t ttbl; // truth table: only 8bits are used member
|
| /dports/math/yices/yices-2.6.2/tests/unit/ |
| H A D | test_wide_truth_tables.c | 93 static void set_function(ttbl_t *ttbl, uint32_t f, int32_t var[3]) { in set_function()
145 static uint32_t eval_ttbl(const ttbl_t *ttbl, uint32_t n, const int32_t *var, const uint8_t *val) { in eval_ttbl()
240 static void validate_import(const wide_ttbl_t *table, const ttbl_t *ttbl, const int32_t var[3]) { in validate_import()
318 static void validate_merge(const wide_ttbl_t *table, const wide_ttbl_t *table0, const ttbl_t *ttbl,… in validate_merge()
359 ttbl_t ttbl; in import() local
367 ttbl_t ttbl; in test_merge() local
395 ttbl_t ttbl; in test_import() local
|
| H A D | test_truth_tables.c | 53 static void print_truth_tbl(cond_def_collector_t *c, uint64_t ttbl, term_t *x, uint32_t n) { in print_truth_tbl()
165 static void cache_truth_tbl(cond_def_collector_t *c, int32_t idx, uint64_t ttbl) { in cache_truth_tbl()
282 uint64_t ttbl; in truth_tbl_of_term() local
372 uint64_t ttbl; in test_ttbl() local
|
| H A D | test_wtbl_convert.c | 75 uint32_t ttbl; in convert_wide_ttbl() local
260 uint32_t ttbl; in test_import_export() local
|
| /dports/math/yices/yices-2.6.2/src/terms/ |
| H A D | renaming_context.c | 33 void init_renaming_ctx(renaming_ctx_t *ctx, term_table_t *ttbl, uint32_t n) { in init_renaming_ctx()
|
| H A D | variable_renaming.c | 52 void init_renaming(renaming_t *s, term_table_t *ttbl) { in init_renaming()
|
| H A D | free_var_collector.c | 31 void init_fvar_collector(fvar_collector_t *collect, term_table_t *ttbl) { in init_fvar_collector()
|
| H A D | terms.c | 123 static void term_table_init(term_table_t *table, uint32_t n, type_table_t *ttbl, pprod_table_t *ptb… in term_table_init()
1761 void init_term_table(term_table_t *table, uint32_t n, type_table_t *ttbl, pprod_table_t *ptbl) { in init_term_table()
|
| /dports/devel/autogen/autogen-5.18.16/agen5/ |
| H A D | defParse-fsm.c | 385 const t_dp_transition * ttbl = in dp_run_fsm() local
|
| H A D | cgi-fsm.c | 246 const t_cgi_transition * ttbl = in cgi_run_fsm() local
|
| /dports/math/yices/yices-2.6.2/src/context/ |
| H A D | conditional_definitions.c | 848 static void cache_truth_tbl(cond_def_collector_t *c, int32_t idx, uint64_t ttbl) { in cache_truth_tbl()
965 uint64_t ttbl; in truth_tbl_of_term() local
1048 static bool truth_tbl_test_row(uint64_t ttbl, uint32_t k) { in truth_tbl_test_row()
1421 uint64_t ttbl; in analyze_term_cond_def() local
|
| /dports/emulators/yuzu/yuzu-0b47f7a46/src/video_core/shader/decode/ |
| H A D | arithmetic_integer.cpp | 313 const Node lop3_fast = [&](const Node na, const Node nb, const Node nc, const Node ttbl) { in WriteLop3Instruction()
|
| /dports/math/yices/yices-2.6.2/src/scratch/ |
| H A D | bool_vartable.h | 155 uint8_t ttbl; // truth table member
|
| /dports/games/devilutionX/devilutionX-1.2.1/Source/ |
| H A D | engine.cpp | 760 void Cl2ApplyTrans(BYTE *p, BYTE *ttbl, int nCel) in Cl2ApplyTrans()
|
| /dports/math/yices/yices-2.6.2/src/model/ |
| H A D | abstract_values.c | 622 void init_pstore(pstore_t *store, type_table_t *ttbl) { in init_pstore()
|
| H A D | concrete_values.c | 580 void init_value_table(value_table_t *table, uint32_t n, type_table_t *ttbl) { in init_value_table()
|
| /dports/net-mgmt/argus3/argus-3.0.8.2/common/ |
| H A D | argus_util.c | 2603 struct hnamemem *ttbl; in ArgusFreeLlcsaparray() local
|
| /dports/math/yices/yices-2.6.2/src/solvers/funs/ |
| H A D | fun_solver.c | 1853 gate_manager_t *gates, egraph_t *egraph, type_table_t *ttbl) { in init_fun_solver()
|
| /dports/math/yices/yices-2.6.2/src/solvers/egraph/ |
| H A D | egraph.c | 6723 void init_egraph(egraph_t *egraph, type_table_t *ttbl) { in init_egraph()
|
| /dports/net-mgmt/argus3-clients/argus-clients-3.0.8.3/common/ |
| H A D | argus_util.c | 18924 struct hnamemem *ttbl; in ArgusFreeLlcsaparray() local
|