Home
last modified time | relevance | path

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

/dports/math/yices/yices-2.6.2/src/solvers/egraph/
H A Dcomposites.c149 init_header(c, mk_or_tag(n)); in init_or()
326 init_header(tmp, mk_or_tag(n)); in new_or_composite_var()
383 return c->tag == mk_or_tag(n) && equal_children(c->child, n, a); in equal_or()
496 return hash_aux(n, a, mk_or_tag(n), 0x9279a675, 0x9279a675); in hash_or()
908 s->tag = mk_or_tag(j); in signature_or()
H A Degraph_base_types.h283 static inline uint32_t mk_or_tag(uint32_t n) { in mk_or_tag() function