congruence_table_t (reference) in projects: dports

Project(s)

Full Search
Definition
Symbol
File Path
History
Type

Searched refs:congruence_table_t (Results 1 – 5 of 5) sorted by relevance

/dports/math/yices/yices-2.6.2/src/solvers/egraph/
H A D	composites.h	282 extern void init_congruence_table(congruence_table_t tbl, uint32_t n); 287 extern void delete_congruence_table(congruence_table_t tbl); 292 extern void reset_congruence_table(congruence_table_t tbl); 300 extern void congruence_table_remove(congruence_table_t tbl, composite_t c); 310 extern bool congruence_table_remove_if_present(congruence_table_t tbl, composite_t c); 318 extern void congruence_table_add(congruence_table_t tbl, composite_t c); 324 extern composite_t congruence_table_find(congruence_table_t tbl, signature_t s, elabel_t label); 331 extern composite_t congruence_table_find_eq(congruence_table_t tbl, occ_t t1, occ_t t2, elabel_t … 339 extern composite_t congruence_table_get(congruence_table_t tbl, composite_t c, signature_t s, e… 346 extern bool congruence_table_is_root(congruence_table_t tbl, composite_t c, elabel_t label);
H A D	composites.c	1171 void init_congruence_table(congruence_table_t tbl, uint32_t n) { in init_congruence_table() 1205 void reset_congruence_table(congruence_table_t tbl) { in reset_congruence_table() 1221 void delete_congruence_table(congruence_table_t tbl) { in delete_congruence_table() 1257 static void congruence_table_cleanup(congruence_table_t tbl) { in congruence_table_cleanup() 1284 static void congruence_table_extend(congruence_table_t tbl) { in congruence_table_extend() 1322 void congruence_table_remove(congruence_table_t tbl, composite_t c) { in congruence_table_remove() 1348 bool congruence_table_remove_if_present(congruence_table_t tbl, composite_t c) { in congruence_table_remove_if_present() 1382 void congruence_table_add(congruence_table_t tbl, composite_t c) { in congruence_table_add() 1412 composite_t congruence_table_find(congruence_table_t tbl, signature_t s, elabel_t label) { in congruence_table_find() 1454 composite_t congruence_table_find_eq(congruence_table_t tbl, occ_t t1, occ_t t2, elabel_t label)… in congruence_table_find_eq() [all …]
H A D	egraph_types.h	`694 } congruence_table_t; typedef 1377 congruence_table_t ctable;`
H A D	egraph_printer.c	`862 static void collect_congruence_roots(congruence_table_t tbl, pvector_t v) { in collect_congruence_roots()`
/dports/math/yices/yices-2.6.2/tests/unit/
H A D	test_composites.c	`70 static congruence_table_t tbl;`