Function biodivine_sketchbook::algorithms::eval_dynamic::prepare_graph::get_hctl_extended_symbolic_graph

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

Prepare the symbolic context and generate the symbolic transition graph for evaluation of HCTL formulas. This means we need to prepare symbolic variables to cover all variables in these HCTL formulas.