Function biodivine_sketchbook::algorithms::fo_logic::utils::check_fol_var_support

source · 
pub fn check_fol_var_support(graph: &SymbolicAsyncGraph, var_name: &str) -> bool
Expand description

Check that extended symbolic graph’s BDD supports given extra variable.