JaniInformationObject

Warning

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

class JaniInformationObject

Bases: pybind11_object

An object holding information about a JANI model

property avg_var_domain_size
property model_type
property nr_automata
property nr_edges
property nr_variables
property state_domain_size