Function clingo_sys::clingo_signature_is_negative

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

Whether the signature is negative (is classically negated).

Parameters:

• signature - the target signature

Returns whether the signature has a sign