Searched refs:congruence_table_get (Results 1 – 4 of 4) sorted by relevance
| /dports/math/yices/yices-2.6.2/src/solvers/egraph/ |
| H A D | composites.h | 339 extern composite_t *congruence_table_get(congruence_table_t *tbl, composite_t *c, signature_t *s, e…
|
| H A D | egraph.c | 1794 q = congruence_table_get(&egraph->ctable, p, sgn, label); in analyze_basic()
1866 q = congruence_table_get(&egraph->ctable, p, sgn, label); in analyze_eq()
1942 q = congruence_table_get(&egraph->ctable, p, sgn, label); in analyze_ite()
2000 q = congruence_table_get(&egraph->ctable, p, sgn, label); in analyze_distinct()
2111 q = congruence_table_get(&egraph->ctable, p, sgn, label); in analyze_or()
2148 q = congruence_table_get(&egraph->ctable, p, sgn, label); in analyze_lambda()
|
| H A D | composites.c | 1484 composite_t *congruence_table_get(congruence_table_t *tbl, composite_t *c, signature_t *s, elabel_… in congruence_table_get() function
|
| /dports/math/yices/yices-2.6.2/tests/unit/ |
| H A D | test_composites.c | 305 tmp = congruence_table_get(&tbl, composite[k], &sgn, label); in test_congruences()
|