Function biodivine_sketchbook::algorithms::fo_logic::eval_wrappers::eval_multiple_formulas_dirty

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

Evaluate each of a list of FOL formulas, but do not sanitize the results. 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.