Function biodivine_sketchbook::algorithms::eval_dynamic::_attractors::process_component

fn process_component(
    colors_by_num_attrs: &mut Vec<GraphColors>,
    component: &GraphColoredVertices,
)

Process a component found by Xie-Beerel (attractor component for a subset of colors). Update the colors_by_num_attrs so that on index i are all colors with i attractors, after taking the new component into account.