SparseRewardModel

class SparseRewardModel[ValueType]

Reward structure for sparse models

Template arguments:

  • ValueType (type)

Available specializations:

  • SparseRewardModel[float]

  • SparseRewardModel[stormpy.numbers.Rational]

  • SparseRewardModel[stormpy.numbers.Interval]

  • SparseRewardModel[stormpy.numbers.RationalFunction]

  • SparseRewardModel[stormpy.numbers.RationalInterval]

Construction

The default specialization is SparseRewardModel[float].

Constructor signatures vary by specialization:

  • SparseRewardModel[float](optional_state_reward_vector: collections.abc.Sequence[typing.SupportsFloat | typing.SupportsIndex] | None = None, optional_state_action_reward_vector: collections.abc.Sequence[typing.SupportsFloat | typing.SupportsIndex] | None = None, optional_transition_reward_matrix = None)

  • SparseRewardModel[stormpy.numbers.Rational](optional_state_reward_vector: collections.abc.Sequence[stormpy.numbers.Rational] | None = None, optional_state_action_reward_vector: collections.abc.Sequence[stormpy.numbers.Rational] | None = None, optional_transition_reward_matrix = None)

  • SparseRewardModel[stormpy.numbers.Interval](optional_state_reward_vector: collections.abc.Sequence[stormpy.numbers.Interval] | None = None, optional_state_action_reward_vector: collections.abc.Sequence[stormpy.numbers.Interval] | None = None, optional_transition_reward_matrix = None)

  • SparseRewardModel[stormpy.numbers.RationalFunction](optional_state_reward_vector: collections.abc.Sequence[stormpy.numbers.RationalFunction] | None = None, optional_state_action_reward_vector: collections.abc.Sequence[stormpy.numbers.RationalFunction] | None = None, optional_transition_reward_matrix = None)

  • SparseRewardModel[stormpy.numbers.RationalInterval](optional_state_reward_vector: collections.abc.Sequence[stormpy.numbers.RationalInterval] | None = None, optional_state_action_reward_vector: collections.abc.Sequence[stormpy.numbers.RationalInterval] | None = None, optional_transition_reward_matrix = None)

Members

SparseRewardModel.get_state_action_reward(
self: stormpy.models.SparseRewardModel[ValueType],
arg0: SupportsInt | SupportsIndex,
) → ValueType
SparseRewardModel.get_state_reward(
self: stormpy.models.SparseRewardModel[ValueType],
arg0: SupportsInt | SupportsIndex,
) → ValueType
SparseRewardModel.get_states_with_zero_reward(
self: stormpy.models.SparseRewardModel[ValueType],
transition_matrix,
) → stormpy.datastructures.BitVector

get states where all rewards are zero

property SparseRewardModel.has_state_action_rewards
property SparseRewardModel.has_state_rewards
property SparseRewardModel.has_transition_rewards
SparseRewardModel.reduce_to_state_based_rewards(
self: stormpy.models.SparseRewardModel[ValueType],
transition_matrix,
only_state_rewards: bool,
) → None

Reduce to state-based rewards

SparseRewardModel.set_state_reward()

For SparseRewardModel[float]:

set_state_reward(self: stormpy.models.SparseRewardModel[ValueType], arg0: typing.SupportsInt | typing.SupportsIndex, arg1: typing.SupportsFloat | typing.SupportsIndex) -> None

For SparseRewardModel[stormpy.numbers.Rational], SparseRewardModel[stormpy.numbers.Interval], SparseRewardModel[stormpy.numbers.RationalFunction], SparseRewardModel[stormpy.numbers.RationalInterval]:

set_state_reward(self: stormpy.models.SparseRewardModel[ValueType], arg0: typing.SupportsInt | typing.SupportsIndex, arg1: ValueType) -> None
property SparseRewardModel.state_action_rewards
property SparseRewardModel.state_rewards
property SparseRewardModel.transition_rewards