[][src]Function clingo_sys::clingo_symbol_create_function

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.

@param[in] name the name of the function @param[in] arguments the arguments of the function @param[in] arguments_size the number of arguments @param[in] positive whether the symbol has a classical negation sign @param[out] symbol the resulting symbol @return whether the call was successful; might set one of the following error codes:

  • ::clingo_error_bad_alloc