[][src]Function clingo_sys::clingo_signature_is_positive

pub unsafe extern "C" fn clingo_signature_is_positive(
    signature: clingo_signature_t
) -> bool

! Whether the signature is positive (is not classically negated). ! ! @param[in] signature the target signature ! @return whether the signature has no sign