Module biodivine_sketchbook::sketchbook::properties::dynamic_props::_hctl_formula

source ·
Expand description

(internal) Definition and methods for HctlFormula.

Structs§

  • HctlFormula
    A typesafe representation of a HCTL formula used in dynamic properties.

Functions§

  • deserialize_tree 🔒
    (internal) Deserialize field tree of HctlFormula from the serialized string.
  • parse_and_minimize_hctl_formula_wrapper
    A wrapper function for full preprocessing step for HCTL formulas, with extended error message. See [parse_and_minimize_hctl_formula] for details.
  • parse_hctl_formula_wrapper
    A wrapper function for parsing HCTL formulas with extended error message. See [parse_hctl_formula] for details.
  • serialize_tree 🔒
    (internal) Serialize field tree of HctlFormula as a string.