TransformationEnvironment

class TransformationEnvironment

Bases: pybind11_object

Environment configuring transformation of the built model

property eliminate_chains

Whether non-Markovian chains are eliminated from the built model

property label_behavior

Behavior for labels when eliminating non-Markovian chains

property use_bisimulation

Whether bisimulation is applied on the built model