Function clingo_sys::clingo_signature_create [] [src]

pub unsafe extern "C" fn clingo_signature_create(
    name: *const c_char,
    arity: u32,
    positive: bool,
    signature: *mut clingo_signature_t
) -> bool

Create a new signature.

Parameters:

  • name name of the signature
  • arity arity of the signature
  • positive false if the signature has a classical negation sign
  • signature the resulting signature

Returns whether the call was successful; might set one of the following error codes: - ::clingo_error_bad_alloc