Searched defs:vc_bvConstExprFromInt (Results 1 – 2 of 2) sorted by relevance
1078 Expr vc_bvConstExprFromInt(VC vc, int n_bits, unsigned int value) in vc_bvConstExprFromInt() function
1453 extern "C" Expr vc_bvConstExprFromInt(VC vc, int n_bits, unsigned int value) in vc_bvConstExprFromInt() function