Function clingo_sys::clingo_control_get_const
[−]
[src]
pub unsafe extern "C" fn clingo_control_get_const(
control: *mut clingo_control_t,
name: *const c_char,
symbol: *mut clingo_symbol_t
) -> bool
Return the symbol for a constant definition of form: #const name = symbol.
Parameters:
control
the targetname
the name of the constantsymbol
the resulting symbol
Returns whether the call was successful