Function clingo_sys::clingo_control_use_enumeration_assumption

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

Configure how learnt constraints are handled during enumeration.

If the enumeration assumption is enabled, then all information learnt from the solver's various enumeration modes is removed after a solve call. This includes enumeration of cautious or brave consequences, enumeration of answer sets with or without projection, or finding optimal models, as well as clauses added with clingo_solve_control_add_clause().

@attention For practical purposes, this option is only interesting for single-shot solving or before the last solve call to squeeze out a tiny bit of performance. Initially, the enumeration assumption is enabled.

@param[in] control the target @param[in] enable whether to enable the assumption @return whether the call was successful