Function biodivine_sketchbook::algorithms::fo_logic::eval_wrappers::eval_multiple_trees

pub fn eval_multiple_trees(
    formula_trees: Vec<FolTreeNode>,
    graph: &SymbolicAsyncGraph,
) -> Result<Vec<GraphColoredVertices>, String>

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