Function biodivine_sketchbook::algorithms::fo_logic::eval_wrappers::eval_multiple_formulas

pub fn eval_multiple_formulas(
    formulas: Vec<&str>,
    graph: &SymbolicAsyncGraph,
    base_var_name: &str,
) -> Result<Vec<GraphColoredVertices>, String>

Evaluate each of a list of FOL formulas on a given transition graph. Return the resulting sets of colored vertices (in the same order as input formulas). The graph MUST support enough sets of symbolic variables to represent all occurring FO vars.

Argument base_var_name is for the BN var which was used as a base for extra variables.