Searched refs:separate_composite (Results 1 – 3 of 3) sorted by relevance
/dports/math/yices/yices-2.6.2/src/solvers/egraph/ |
H A D | composites.h | 143 extern void separate_composite(composite_t *c, elabel_t *label, use_vector_t *u, class_t r0);
|
H A D | composites.c | 624 void separate_composite(composite_t *c, elabel_t *label, use_vector_t *u, class_t r0) { in separate_composite() function
|
H A D | egraph.c | 4296 separate_composite(p, egraph->terms.label, egraph->classes.parents, c2); in process_equality() 5684 separate_composite(p, egraph->terms.label, egraph->classes.parents, c2); in test_merge()
|