stormpy.dft.developer

Warning

The stormpy developer API is internal and can be subject to change.

Raw pybind11 bindings for storm-dft.

This module is only meant for developers. Use stormpy.dft for the public API.

The naming of functions and classes of the bindings mirrors the corresponding storm::dft C++ functions and classes.

Functions

analyze_dft(-> list[object] analyze_dft)	Analyze the DFT
build_model(...)	Build state-space model (CTMC or MA) for DFT
compute_dependency_conflicts(...)	Set conflicts between FDEPs.
compute_relevant_events(properties, ...)	Compute relevant event ids from properties and additional relevant names
export_dft_json_file(...)	Export DFT to JSON file
get_parameters(dft, true> >)	Collect parameters in parametric DFT
has_potential_modeling_issues(-> tuple[bool, ...)	Check whether DFT has potential modeling issues.
is_well_formed(-> tuple[bool, ...)	Check whether DFT is well-formed.
load_dft_galileo_file	Load DFT from Galileo file
load_dft_json_file	Load DFT from JSON file
transform_dft(-> storm)	Apply transformations on DFT

Classes

DftIndependentModule	Independent module in DFT
DFTStateGenerationInfo	State Generation Info for DFT
DFTTraceSimulator	Simulator for DFT traces
ExplicitDFTModelBuilder	Builder to generate explicit model from DFT
FailableElement	Failable element
FailableElements	Failable elements in DFT state
FailableIterator
RandomGenerator	Random number generator