Function clingo_sys::clingo_symbol_create_id
source · pub unsafe extern "C" fn clingo_symbol_create_id(
name: *const c_char,
positive: bool,
symbol: *mut clingo_symbol_t
) -> bool
Expand description
! Construct a symbol representing an id. ! ! @note This is just a shortcut for clingo_symbol_create_function() with ! empty arguments. ! ! @param[in] name the name ! @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