Function biodivine_sketchbook::algorithms::eval_static::prepare_graph::get_fol_extended_symbolic_graph

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

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