Home
last modified time | relevance | path

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

/dports/math/yices/yices-2.6.2/src/solvers/bv/
H A Dbvpoly_dag.h757 static inline bvnode_t bvc_first_elem_node(bvc_dag_t *dag) { in bvc_first_elem_node() function
H A Dbvpoly_compiler.c1314 j = bvc_first_elem_node(&c->dag); in bv_compiler_convert_elem_nodes()
1442 assert(bvc_first_elem_node(&c->dag) < 0); in bv_compiler_process_queue()