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

Returns whether the call was successful