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 signaturearity
arity of the signaturepositive
false if the signature has a classical negation signsignature
the resulting signature
Returns whether the call was successful; might set one of the following error codes: - ::clingo_error_bad_alloc