PomdpTransformationResult¶
Warning
The stormpy developer API is internal and can be subject to change.
- class PomdpTransformationResult[ValueType]¶
Result of a POMDP transformation
Template arguments:
ValueType(type)
Available specializations:
PomdpTransformationResult[float]PomdpTransformationResult[stormpy.numbers.Rational]PomdpTransformationResult[stormpy.numbers.RationalFunction]
Members¶
- property PomdpTransformationResult.transformed_pomdp¶
Transformed POMDP
- property PomdpTransformationResult.transformed_state_to_original_state_map¶
Mapping from states of the transformed POMDP to states of the original POMDP