Module biodivine_sketchbook::sketchbook::properties::static_props::_first_order_formula

(internal) Definition and methods for FirstOrderFormula.

Structs

• FirstOrderFormula
  A typesafe representation of a FOL formula used in static properties.

Functions

• deserialize_tree 🔒
  (internal) Deserialize field tree of FirstOrderFormula from the serialized string.
• serialize_tree 🔒
  (internal) Serialize field tree of FirstOrderFormula as a string.