ActionMask

Warning

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

class ActionMask[ValueType]

Mask for actions during state space exploration

Template arguments:

• ValueType (type)

Available specializations:

• ActionMask[float]

Members