Function clingo_sys::clingo_signature_is_positive
source · pub unsafe extern "C" fn clingo_signature_is_positive(
signature: clingo_signature_t
) -> bool
Expand description
! Whether the signature is positive (is not classically negated). ! ! @param[in] signature the target signature ! @return whether the signature has no sign