Function clingo_sys::clingo_symbol_create_id

pub unsafe extern "C" fn clingo_symbol_create_id(
    name: *const c_char, 
    positive: bool, 
    symbol: *mut clingo_symbol_t
) -> bool

Construct a symbol representing an id.

Note: This is just a shortcut for clingo_symbol_create_function() with empty arguments.

Parameters:

• name - the name
• 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