Home
last modified time | relevance | path

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

/dports/math/yices/yices-2.6.2/src/solvers/egraph/
H A Dcomposites.h100 extern bool equal_apply(composite_t *c, occ_t f, uint32_t n, occ_t *a);
H A Dcomposites.c355 bool equal_apply(composite_t *c, occ_t f, uint32_t n, occ_t *a) { in equal_apply() function
H A Degraph.c1273 return equal_apply(c, p->f, p->n, p->a); in equal_apply_obj()