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 function
  • arguments the arguments of the function
  • arguments_size the number of arguments
  • positive whether the symbol has a classical negation sign
  • symbol the resulting symbol

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