Searched refs:bvc_dag_var_is_present (Results 1 – 3 of 3) sorted by relevance
| /dports/math/yices/yices-2.6.2/src/solvers/bv/ |
| H A D | bvpoly_compiler.c | 895 if (y != z && bvc_dag_var_is_present(dag, y) && bvc_dag_var_is_present(dag, z)) { in bv_compiler_simplify_dag()
904 if (y != z && bvc_dag_var_is_present(dag, y) && bvc_dag_var_is_present(dag, z)) { in bv_compiler_simplify_dag()
913 if (bvc_dag_var_is_present(dag, y) && bvc_dag_var_is_present(dag, z)) { in bv_compiler_simplify_dag()
|
| H A D | bvpoly_dag.h | 601 static inline bool bvc_dag_var_is_present(bvc_dag_t *dag, int32_t x) { in bvc_dag_var_is_present() function
617 assert(bvc_dag_var_is_present(dag, x)); in bvc_dag_nocc_of_var()
|
| H A D | bvpoly_dag.c | 1491 assert(x > 0 && !bvc_dag_var_is_present(dag, x)); in bvc_dag_map_var()
1549 if (bvc_dag_var_is_present(dag, x)) { in bvc_dag_get_nocc_of_var()
|