Function clingo_sys::clingo_control_cleanup

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

Clean up the domains of clingo's grounding component using the solving component's top level assignment.

This function removes atoms from domains that are false and marks atoms as facts that are true. With multi-shot solving, this can result in smaller groundings because less rules have to be instantiated and more simplifications can be applied.

@param[in] control the target @return whether the call was successful; might set one of the following error codes:

• ::clingo_error_bad_alloc