Function clingo_sys::clingo_signature_is_less_than [] [src]

pub unsafe extern "C" fn clingo_signature_is_less_than(
    a: clingo_signature_t,
    b: clingo_signature_t
) -> bool

Check if a signature is less than another signature.

Signatures are compared first by sign (unsigned < signed), then by arity, then by name.

Parameters:

  • a - first signature
  • b - second signature

Returns whether a < b