Home
last modified time | relevance | path

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

/dports/math/yices/yices-2.6.2/src/solvers/bv/
H A Dbv_vartable.c1169 bvop_hobj_t bvadd_hobj; in get_bvadd() local
1172 bvadd_hobj.m.eq = (hobj_eq_t) eq_bvadd_hobj; in get_bvadd()
1174 bvadd_hobj.tbl = table; in get_bvadd()
1175 bvadd_hobj.left = x; in get_bvadd()
1176 bvadd_hobj.right = y; in get_bvadd()
1177 bvadd_hobj.nbits = n; in get_bvadd()
1337 bvop_hobj_t bvadd_hobj; in find_bvadd() local
1347 bvadd_hobj.tbl = table; in find_bvadd()
1348 bvadd_hobj.left = x; in find_bvadd()
1349 bvadd_hobj.right = y; in find_bvadd()
[all …]