Home
last modified time | relevance | path

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

/dports/math/yices/yices-2.6.2/src/solvers/egraph/
H A Dcomposites.c587 h = composite_hooks(c); in attach_composite()
611 h = composite_hooks(c); in detach_composite()
631 h = composite_hooks(c); in separate_composite()
652 h = composite_hooks(c); in unhook_composite()
678 h = composite_hooks(c); in hook_composite()
706 h = composite_hooks(c); in hide_composite()
728 h = composite_hooks(c); in reveal_composite()
H A Degraph_base_types.h316 static inline int32_t *composite_hooks(composite_t *c) { in composite_hooks() function