Function clingo_sys::clingo_control_cleanup
[−]
[src]
pub unsafe extern "C" fn clingo_control_cleanup(
control: *mut clingo_control_t
) -> bool
Clean up the domains of clingos 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.
Parameters:
control
the target
Returns whether the call was successful; might set one of the following error codes: - ::clingo_error_bad_alloc