AnalysisEnvironment¶
- class AnalysisEnvironment¶
Bases:
pybind11_objectEnvironment configuring the DFT analysis
- property approximation_error¶
Allowed approximation error. Value None sets exact analysis.
- property approximation_heuristic¶
Heuristic used for selecting states to explore next
- property chunksize¶
Size of the chunks of values for DD analysis
- property mttf_algorithm¶
Algorithm used for the MTTF computation via DD
- property mttf_precision¶
Precision used for the MTTF computation via DD
- property mttf_stepsize¶
Step size used for the MTTF computation via DD
- property solve_with_smt¶
Whether SMT solving is used
- property use_modularisation¶
Whether modularisation is used