Searched defs:vc_bvMultExpr (Results 1 – 2 of 2) sorted by relevance
1163 Expr vc_bvMultExpr(VC vc, int n_bits, Expr left, Expr right) in vc_bvMultExpr() function
1741 extern "C" Expr vc_bvMultExpr(VC vc, int n_bits, Expr left, Expr right) in vc_bvMultExpr() function