Home
last modified time | relevance | path

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

/dports/math/yices/yices-2.6.2/src/solvers/bv/
H A Dbvpoly_dag.c1401 bvc64_hobj_t bvc_offset64_hobj; in bvc_dag_get_offset64() local
1402 bvc_offset64_hobj.m.hash = (hobj_hash_t) hash_bvc_offset64_hobj; in bvc_dag_get_offset64()
1403 bvc_offset64_hobj.m.eq = (hobj_eq_t) eq_bvc_offset64_hobj; in bvc_dag_get_offset64()
1404 bvc_offset64_hobj.m.build = (hobj_build_t) build_bvc_offset64_hobj; in bvc_dag_get_offset64()
1405 bvc_offset64_hobj.dag = dag; in bvc_dag_get_offset64()
1406 bvc_offset64_hobj.c = a; in bvc_dag_get_offset64()
1407 bvc_offset64_hobj.bitsize = bitsize; in bvc_dag_get_offset64()
1408 bvc_offset64_hobj.nocc = n; in bvc_dag_get_offset64()
1409 return int_htbl_get_obj(&dag->htbl, &bvc_offset64_hobj.m); in bvc_dag_get_offset64()