Home
last modified time | relevance | path

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

/dports/math/yices/yices-2.6.2/src/solvers/egraph/
H A Degraph.c394 static bool ltag_desc_matches(ltag_desc_t *d, uint32_t n, type_t *dom) { in ltag_desc_matches() function
502 if (ltag_desc_matches(tbl->data[i], n, dom)) { in ltag_table_get_tag()
521 if (ltag_desc_matches(tbl->data[i], n, dom)) { in ltag_table_find_tag()