Choice¶

Warning

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

class Choice[ValueType]¶

Choice of a state during state space exploration

Template arguments:

ValueType (type)

Available specializations:

Choice[float]

Members¶

Choice.get_action_index(self: stormpy.developer.Choice[ValueType]) → int¶: Get the index of the action of this choice

Choice.get_labels(self: stormpy.developer.Choice[ValueType]) → set[str]¶: Get the labels of this choice (empty if the choice is not labeled)

Choice.get_rewards(self: stormpy.developer.Choice[ValueType]) → list[float]¶: Get the rewards of this choice

Choice.get_total_mass(self: stormpy.developer.Choice[ValueType]) → float¶: Get the total probability mass of this choice

Choice.has_labels(self: stormpy.developer.Choice[ValueType]) → bool¶: Whether this choice is labeled

Choice.is_markovian(self: stormpy.developer.Choice[ValueType]) → bool¶: Whether this choice is Markovian

Choice.size(self: stormpy.developer.Choice[ValueType]) → int¶: Get the number of successor states