Searched refs:bvc_dag_offset (Results 1 – 3 of 3) sorted by relevance
| /dports/math/yices/yices-2.6.2/src/solvers/bv/ |
| H A D | bvpoly_dag.h | 692 extern node_occ_t bvc_dag_offset(bvc_dag_t *dag, uint32_t *a, node_occ_t n, uint32_t bitsize);
|
| H A D | bvpoly_dag.c | 1573 node_occ_t bvc_dag_offset(bvc_dag_t *dag, uint32_t *a, node_occ_t n, uint32_t bitsize) { in bvc_dag_offset() function
2167 r = bvc_dag_offset(dag, bvpoly_buffer_coeff(buffer, 0), r, bitsize); in bvc_dag_of_buffer()
|
| /dports/math/yices/yices-2.6.2/tests/unit/ |
| H A D | test_bvpoly_dag.c | 514 tst = bvc_dag_offset(dag, a, r, b); in test_offset()
515 chk = bvc_dag_offset(dag, a, r, b); in test_offset()
|