SymbolicRewardModel

class SymbolicRewardModel[DdType, ValueType]

Reward structure for symbolic models

Template arguments:

• DdType (value)

• ValueType (type)

Available specializations:

• SymbolicRewardModel[stormpy.models.DdType.Sylvan, float]

• SymbolicRewardModel[stormpy.models.DdType.Sylvan, stormpy.numbers.Rational]

• SymbolicRewardModel[stormpy.models.DdType.Sylvan, stormpy.numbers.RationalFunction]

Members

property SymbolicRewardModel.has_state_action_rewards

property SymbolicRewardModel.has_state_rewards

property SymbolicRewardModel.has_transition_rewards