Function biodivine_sketchbook::algorithms::eval_dynamic::_attractors::itgr::interleaved_transition_guided_reduction

pub fn interleaved_transition_guided_reduction(
    graph: &SymbolicAsyncGraph,
    initial: GraphColoredVertices,
) -> (GraphColoredVertices, Vec<VariableId>)

Removes from initial as many non-attractor states as possible using interleaved transition guided reduction.

It also returns a list of system variables for which there are still transitions in the graph (other variables are effectively constant).

If cancelled, the result is still valid, but not necessarily complete.