Function clingo_sys::clingo_symbol_create_number [−] [src]

pub unsafe extern "C" fn clingo_symbol_create_number(
    number: c_int, 
    symbol: *mut clingo_symbol_t
)

Construct a symbol representing a number.

Parameters:

  • number the number
  • symbol the resulting symbol