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