Function biodivine_sketchbook::algorithms::eval_dynamic::_attractors::saturated_reachability::reach_bwd

source ยท 
pub fn reach_bwd(
    graph: &SymbolicAsyncGraph,
    initial: &GraphColoredVertices,
    universe: &GraphColoredVertices,
    variables: &[VariableId],
) -> GraphColoredVertices
Expand description

Fully compute back-reachable states from initial inside universe using transitions under variables.