Home
last modified time | relevance | path

Searched refs:equal_eq (Results 1 – 3 of 3) sorted by relevance

/dports/math/yices/yices-2.6.2/src/solvers/egraph/
H A Dcomposites.h103 extern bool equal_eq(composite_t *c, occ_t t1, occ_t t2);
H A Dcomposites.c369 bool equal_eq(composite_t *c, occ_t t1, occ_t t2) { in equal_eq() function
H A Degraph.c1300 return equal_eq(c, p->t1, p->t2); in equal_eq_obj()