Searched defs:signedBool (Results 1 – 3 of 3) sorted by relevance
261 ExprHandle signedBool = bvBoolExtract(expr, width - 1); in bvVarArithRightShift() local844 ExprHandle signedBool = bvBoolExtract(left, *width_out-1); in constructActual() local
267 Z3ASTHandle signedBool = bvBoolExtract(expr, width - 1); in bvVarArithRightShift() local778 Z3ASTHandle signedBool = bvBoolExtract(left, *width_out - 1); in constructActual() local
1072 typename SolverContext::result_type signedBool = in constructActual() local