Stormpy.dft

class DFT
can_have_nondeterminism()

Whether the model can contain non-deterministic choices

nr_be()

Number of basic elements

nr_dynamic()

Number of dynamic elements

nr_elements()

Total number of elements

class ParametricDFT

Parametric DFT

can_have_nondeterminism()

Whether the model can contain non-deterministic choices

nr_be()

Number of basic elements

nr_dynamic()

Number of dynamic elements

nr_elements()

Total number of elements

analyze_dft()

Analyze the DFT

export_dft_json_file()

Export DFT to JSON file

export_dft_json_string()

Export DFT to JSON string

load_dft_galileo_file()

Load DFT from Galileo file

load_dft_json_file()

Load DFT from JSON file

load_dft_json_string()

Load DFT from JSON string