Function clingo_sys::clingo_configuration_type [] [src]

pub unsafe extern "C" fn clingo_configuration_type(
    configuration: *mut clingo_configuration_t,
    key: clingo_id_t,
    type_: *mut clingo_configuration_type_bitset_t
) -> bool

Get the type of a key.

Note: The type is bitset, an entry can have multiple (but at least one) type.

Parameters:

  • configuration the target configuration
  • key the key
  • type the resulting type

Returns whether the call was successful