Function z3_sys::Z3_fpa_get_numeral_sign

source · 
pub unsafe extern "C" fn Z3_fpa_get_numeral_sign(
    c: Z3_context,
    t: Z3_ast,
    sgn: *mut c_int
) -> bool
Expand description

Retrieves the sign of a floating-point literal.

  • c: logical context
  • t: a floating-point numeral
  • sgn: sign

Remarks: sets sgn to 0 if `t’ is positive and to 1 otherwise, except for NaN, which is an invalid argument.