Module biodivine_sketchbook::algorithms::eval_dynamic::eval

Evaluate all kinds of dynamic properties.

Functions

• eval_dyn_prop
  Evaluate given dynamic property given the symbolic transition graph.
• model_check_colors_universal 🔒
  Model check a property and get colors for which the property holds universally (in every state).