Function clingo_sys::clingo_configuration_value_is_assigned
[−]
[src]
pub unsafe extern "C" fn clingo_configuration_value_is_assigned(
configuration: *mut clingo_configuration_t,
key: clingo_id_t,
assigned: *mut bool
) -> bool
Check whether a entry has a value.
@pre The @link clingo_configuration_type() type@endlink of the entry must be @ref ::clingo_configuration_type_value.
Parameters:
configuration
the target configurationkey
the keyassigned
whether the entry has a value
Returns whether the call was successful