Function biodivine_sketchbook::algorithms::fo_logic::tokenizer::try_tokenize_formula

pub fn try_tokenize_formula(formula: String) -> Result<Vec<FolToken>, String>

Expand description

Try to tokenize given FOL formula string, turning it into a vector of FolToken instances.

This is just a wrapper, check the recursive try_tokenize_recursive function for details.

Function biodivine_sketchbook::algorithms::fo_logic::tokenizer::try_tokenize_formulaCopy item path