Module biodivine_sketchbook::algorithms

All the internal algorithms for the inference process and low-level computation details.

Modules

• eval_dynamic
  Evaluation of dynamic properties (by either HCTL model checker or special procedures).
• eval_static
  Evaluation of static properties (by either FO logic evaluator or special procedures).
• fo_logic
  Parsing and evaluation of first-order formulas. Functionality for processing first order formulae for static properties.
• utils
  Useful utilities for manipulating symbolic contexts and other things.