DftEnvironment¶
- class DftEnvironment(self: stormpy.dft.DftEnvironment)¶
Bases:
pybind11_objectEnvironment for DFT
Construct default DFT environment
- property analysis_environment¶
Analysis environment
- property core_environment¶
Core Storm environment
- property model_builder_environment¶
Model building environment
- property transformation_environment¶
Transformation environment