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.

Parameters:

• control the target
• enable whether to enable the assumption

Returns whether the call was successful