MakePOMDPCanonic

Warning

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

class MakePOMDPCanonic[ValueType](pomdp: stormpy.models.SparsePomdp[ValueType])

Transformer making the representation of a POMDP canonic

Template arguments:

• ValueType (type)

Available specializations:

• MakePOMDPCanonic[float]

• MakePOMDPCanonic[stormpy.numbers.Rational]

• MakePOMDPCanonic[stormpy.numbers.RationalFunction]

Construction

The specialization can be inferred from the first positional constructor argument (alternatively, the pomdp keyword argument).

Members

MakePOMDPCanonic.transform(

self: stormpy.pomdp.developer.MakePOMDPCanonic[ValueType],

) → stormpy.models.SparsePomdp[ValueType]

Return the canonic POMDP