Function clingo_sys::clingo_control_get_enable_enumeration_assumption

pub unsafe extern "C" fn clingo_control_get_enable_enumeration_assumption(
    control: *mut clingo_control_t
) -> bool

! Check whether the enumeration assumption is enabled. ! ! See ::clingo_control_set_enable_enumeration_assumption(). ! @param[in] control the target ! @return whether using the enumeration assumption is enabled