Function biodivine_sketchbook::algorithms::eval_dynamic::_trap_spaces::compute_essential_trap_spaces

source ยท 
pub fn compute_essential_trap_spaces(
    graph: &SymbolicAsyncGraph,
    ctx: &SymbolicSpaceContext,
    restriction: Option<NetworkColoredSpaces>,
) -> NetworkColoredSpaces
Expand description

Wrapper to compute all essential colored trap spaces (under an optional set restriction).