Function clingo_sys::clingo_control_get_const
source · pub unsafe extern "C" fn clingo_control_get_const(
control: *const clingo_control_t,
name: *const c_char,
symbol: *mut clingo_symbol_t
) -> bool
Expand description
! Return the symbol for a constant definition of form: #const name = symbol. ! ! @param[in] control the target ! @param[in] name the name of the constant ! @param[out] symbol the resulting symbol ! @return whether the call was successful