Home
last modified time | relevance | path

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

/dports/math/yices/yices-2.6.2/src/solvers/egraph/
H A Dcomposites.h189 extern void signature_ite(composite_t *c, elabel_t *label, signature_t *s);
H A Dcomposites.c825 void signature_ite(composite_t *c, elabel_t *label, signature_t *s) { in signature_ite() function
941 signature_ite(c, label, s); in signature_composite()
H A Degraph.c1941 signature_ite(p, label, sgn); in analyze_ite()