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 target
  • name the name of the constant
  • symbol the resulting symbol

Returns whether the call was successful