Function clingo_sys::clingo_symbol_number [−] [src]

pub unsafe extern "C" fn clingo_symbol_number(
    symbol: clingo_symbol_t, 
    number: *mut c_int
) -> bool

Get the number of a symbol.

Parameters:

  • symbol - the target symbol
  • number - the resulting number

Returns whether the call was successful; might set one of the following error codes:

  • ::clingo_error_runtime if symbol is not of type ::clingo_symbol_type_number