Function clingo_sys::clingo_control_get_const
[−]
[src]
pub unsafe extern "C" fn clingo_control_get_const(
control: *const 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