Function biodivine_sketchbook::algorithms::eval_dynamic::prepare_graph::get_ts_extended_symbolic_graph

source ยท 
pub fn get_ts_extended_symbolic_graph(
    bn: &BooleanNetwork,
    unit: Option<(&Bdd, &SymbolicContext)>,
) -> Result<(SymbolicSpaceContext, SymbolicAsyncGraph), String>
Expand description

Prepare the symbolic context and generate the symbolic transition graph for computation of trap spaces.