BinaryPomdpTransformer

Warning

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

class BinaryPomdpTransformer[ValueType]

Transformer making a POMDP binary, i.e., each state has at most two actions

Template arguments:

• ValueType (type)

Available specializations:

• BinaryPomdpTransformer[float]

• BinaryPomdpTransformer[stormpy.numbers.Rational]

• BinaryPomdpTransformer[stormpy.numbers.RationalFunction]

Construction

The default specialization is BinaryPomdpTransformer[float].

Members

BinaryPomdpTransformer.transform(

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

pomdp: stormpy.models.SparsePomdp[ValueType],

transform_simple: bool,

keep_state_valuations: bool = False,

) → stormpy.pomdp.developer.PomdpTransformationResult[ValueType]

Transform the POMDP