Function biodivine_sketchbook::algorithms::fo_logic::eval_wrappers::eval_multiple_trees_dirty

pub fn eval_multiple_trees_dirty(
    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).

This version does not sanitize the resulting BDDs (eval_multiple_trees does).