Module biodivine_sketchbook::algorithms::eval_dynamic::prepare_graph

Prepare graph and symbolic context to handle all dynamic properties.

Functions

• get_hctl_extended_symbolic_graph
  Prepare the symbolic context and generate the symbolic transition graph for evaluation of HCTL formulas. This means we need to prepare symbolic variables to cover all variables in these HCTL formulas.
• get_ts_extended_symbolic_graph
  Prepare the symbolic context and generate the symbolic transition graph for computation of trap spaces.
• prepare_graph_for_dynamic_hctl
  Prepare the symbolic context and generate the symbolic transition graph for evaluation of the dynamic properties.