Home
last modified time | relevance | path

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

/dports/math/yices/yices-2.6.2/src/solvers/egraph/
H A Dcomposites.c79 static void init_apply(composite_t *c, occ_t f, uint32_t n, occ_t *a) { in init_apply() function
171 init_apply(tmp, f, n, a); in new_apply_composite()
239 init_apply(tmp, f, n, a); in arena_apply_composite()