Function clingo_sys::clingo_symbol_create_function
[−]
[src]
pub unsafe extern "C" fn clingo_symbol_create_function(
name: *const c_char,
arguments: *const clingo_symbol_t,
arguments_size: usize,
positive: bool,
symbol: *mut clingo_symbol_t
) -> bool
Construct a symbol representing a function or tuple.
Note: To create tuples, the empty string has to be used as name.
Parameters:
name
the name of the functionarguments
the arguments of the functionarguments_size
the number of argumentspositive
whether the symbol has a classical negation signsymbol
the resulting symbol
Returns whether the call was successful; might set one of the following error codes: - ::clingo_error_bad_alloc