[−][src]Function z3_sys::Z3_get_bool_value
pub unsafe extern "C" fn Z3_get_bool_value(c: Z3_context, a: Z3_ast) -> Z3_lbool
Return Z3_L_TRUE
if a
is true, Z3_L_FALSE
if it is false,
and Z3_L_UNDEF
otherwise.
pub unsafe extern "C" fn Z3_get_bool_value(c: Z3_context, a: Z3_ast) -> Z3_lbool
Return Z3_L_TRUE
if a
is true, Z3_L_FALSE
if it is false,
and Z3_L_UNDEF
otherwise.