Function clingo_sys::clingo_signature_is_positive [−] [src]

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

Whether the signature is positive (is not classically negated).

Parameters:

  • signature the target signature

Returns whether the signature has no sign