Function clingo_sys::clingo_signature_create
source · pub unsafe extern "C" fn clingo_signature_create(
name: *const c_char,
arity: u32,
positive: bool,
signature: *mut clingo_signature_t
) -> bool
Expand description
! Create a new signature. ! ! @param[in] name name of the signature ! @param[in] arity arity of the signature ! @param[in] positive false if the signature has a classical negation sign ! @param[out] signature the resulting signature ! @return whether the call was successful; might set one of the following error codes: ! - ::clingo_error_bad_alloc