StateValuationFunctionMask¶
Warning
The stormpy developer API is internal and can be subject to change.
- class StateValuationFunctionMask[ValueType](
- f: collections.abc.Callable[[stormpy.models.SimpleValuation, int], bool],
Action mask based on state valuations
Template arguments:
ValueType(type)
Available specializations:
StateValuationFunctionMask[float]
Construction
The default specialization is
StateValuationFunctionMask[float].