Function clingo_sys::clingo_configuration_type
[−]
[src]
pub unsafe extern "C" fn clingo_configuration_type(
configuration: *const 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 configurationkey
- the keytype
- the resulting type
Returns whether the call was successful