ConstraintCollector

class ConstraintCollector(

self: stormpy.pars.ConstraintCollector,

model: stormpy.models.SparseModel[stormpy.numbers.RationalFunction],

)

Bases: pybind11_object

Collector for constraints on parametric Markov chains

Collect constraints of the model

get_graph_preserving_constraints(

self: stormpy.pars.ConstraintCollector,

) → list[stormpy.expressions.Expression]

Get the constraints ensuring the graph is preserved

get_wellformed_constraints(

self: stormpy.pars.ConstraintCollector,

) → list[stormpy.expressions.Expression]

Get the constraints ensuring a well-formed model