verse.ScenarioConfig

class verse.ScenarioConfig(incremental: bool = False, unsafe_continue: bool = False, init_seg_length: int = 1000, reachability_method: ReachabilityMethod = ReachabilityMethod.DRYVR, parallel_sim_ahead: int = 8, parallel_ver_ahead: int = 8, parallel: bool = True, try_local: bool = False, print_level: int = 1, pca: bool = True)

Configuration for how simulation/verification is performed for a scenario. Properties are immutable so that incremental verification works correctly.

__init__(incremental: bool = False, unsafe_continue: bool = False, init_seg_length: int = 1000, reachability_method: ReachabilityMethod = ReachabilityMethod.DRYVR, parallel_sim_ahead: int = 8, parallel_ver_ahead: int = 8, parallel: bool = True, try_local: bool = False, print_level: int = 1, pca: bool = True) → None

Methods

__delattr__(name, /)	Implement delattr(self, name).
__dir__(/)	Default dir() implementation.
__eq__(other)	Return self==value.
__format__(format_spec, /)	Default object formatter.
__ge__(value, /)	Return self>=value.
__getattribute__(name, /)	Return getattr(self, name).
__getstate__(/)	Helper for pickle.
__gt__(value, /)	Return self>value.
__init__([incremental, unsafe_continue, ...])
__init_subclass__	This method is called when a class is subclassed.
__le__(value, /)	Return self<=value.
__lt__(value, /)	Return self<value.
__ne__(value, /)	Return self!=value.
__new__(*args, **kwargs)
__reduce__(/)	Helper for pickle.
__reduce_ex__(protocol, /)	Helper for pickle.
__repr__()	Return repr(self).
__setattr__(name, value, /)	Implement setattr(self, name, value).
__sizeof__(/)	Size of object in memory, in bytes.
__str__(/)	Return str(self).
__subclasshook__	Abstract classes can override this to customize issubclass().

Attributes

__annotations__
__dataclass_fields__
__dataclass_params__
__dict__
__doc__
__hash__
__match_args__
__module__
__weakref__	list of weak references to the object
incremental	Enable incremental simulation/verification.
init_seg_length
parallel	Enable parallelization.
parallel_sim_ahead	The number of simulation tasks to dispatch before waiting.
parallel_ver_ahead	The number of verification tasks to dispatch before waiting.
pca	If true, uses the PCA algorithm to generate the starsets, otherwise, uses DryVR and rectangular overapproximations
print_level	Adjust print_level from 0 - 2 to print different information.
reachability_method	Method of performing reachability.
try_local	Heuristic.
unsafe_continue	Continue exploring the branch when an unsafe condition occurs.