Searched defs:Z3_fpa_is_numeral_negative (Results 1 – 2 of 2) sorted by relevance
1312 bool Z3_API Z3_fpa_is_numeral_negative(Z3_context c, Z3_ast t) { in Z3_fpa_is_numeral_negative() function