Home
last modified time | relevance | path

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

/dports/math/yices/yices-2.6.2/src/solvers/bv/
H A Dbvpoly_dag.h646 extern node_occ_t bvc_dag_get_nocc_of_var(bvc_dag_t *dag, int32_t x, uint32_t bitsize);
H A Dbvpoly_compiler.c712 q = bvc_dag_get_nocc_of_var(dag, x, bitsize); in bv_compiler_pprod_to_dag()
749 q = bvc_dag_get_nocc_of_var(dag, x, nbits); in bv_compiler_pbuffer_to_dag()
H A Dbvpoly_dag.c1544 node_occ_t bvc_dag_get_nocc_of_var(bvc_dag_t *dag, int32_t x, uint32_t bitsize) { in bvc_dag_get_nocc_of_var() function