pub unsafe extern "C" fn Z3_algebraic_is_zero( c: Z3_context, a: Z3_ast ) -> bool
Return true if a is zero, and false otherwise.
true
a
false
Z3_algebraic_is_value(c, a)
Z3_algebraic_is_value