Function biodivine_sketchbook::algorithms::fo_logic::eval_wrappers::parse_and_validate

fn parse_and_validate(
    formulas: Vec<&str>,
    graph: &SymbolicAsyncGraph,
    base_var_name: &str,
) -> Result<Vec<FolTreeNode>, String>

Parse given FOL formulas list into syntactic trees and perform compatibility check with the provided graph (i.e., check if graph object supports all needed symbolic variables).

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