Module biodivine_sketchbook::algorithms::fo_logic

Parsing and evaluation of first-order formulas. Functionality for processing first order formulae for static properties.

Modules

• eval_algorithm 🔒
• eval_wrappers
• fol_tree
• operator_enums
• parser
• tokenizer
• utils