NondeterministicBeliefTrackerOptions¶
Warning
The stormpy developer API is internal and can be subject to change.
- class NondeterministicBeliefTrackerOptions[ValueType]¶
Options for the nondeterministic belief tracker
Template arguments:
ValueType(type)
Available specializations:
NondeterministicBeliefTrackerOptions[float]NondeterministicBeliefTrackerOptions[stormpy.numbers.Rational]
Construction
The default specialization is
NondeterministicBeliefTrackerOptions[float].
Members¶
- property NondeterministicBeliefTrackerOptions.time_out¶
Timeout for the reduction in milliseconds, 0 for no timeout
- property NondeterministicBeliefTrackerOptions.track_time_out¶
Timeout for tracking in milliseconds, 0 for no timeout
- property NondeterministicBeliefTrackerOptions.wiggle¶
Tolerance used in the reduction