Function biodivine_sketchbook::algorithms::fo_logic::parser::parse_fol_formula

pub fn parse_fol_formula(formula: &str) -> Result<FolTreeNode, String>

Parse an FOL formula string representation into an actual formula tree. Basically a wrapper for tokenize+parse (used often for testing/debug purposes).

Note that validate_and_rename_vars still NEEDS to be called to fully finish the preprocessing step. Alternatively, use parse_and_minimize_fol_formula which offers full preprocessing and validation at once.