ModelBase

Warning

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

class ModelBase

Bases: pybind11_object

Base class for all models

property has_parameters

Flag whether model has parameters

property is_discrete_time_model

Flag whether the model is a discrete time model

property is_exact

Flag whether model is exact

property is_nondeterministic_model

Flag whether the model contains nondeterminism

property is_partially_observable

Flag whether the model has observation labels

property is_sparse_model

Flag whether the model is stored as a sparse model

property is_symbolic_model

Flag whether the model is stored using decision diagrams

property model_type

Model type

property nr_choices

Number of choices

property nr_states

Number of states

property nr_transitions

Number of transitions

property supports_parameters

Flag whether model supports parameters