Module biodivine_sketchbook::algorithms::fo_logic::fol_tree

source ·

Structs§

  • FolTreeNode
    A single node in a syntax tree of a FOL formula.

Enums§

  • NodeType
    Enum of possible node data types in a FOL formula syntax tree.