verse.analysis.verifier.ReachConsts

class verse.analysis.verifier.ReachConsts(time_step: float, lane_map: verse.map.lane_map.LaneMap, init_seg_length: int, reachability_method: verse.analysis.verifier.ReachabilityMethod, run_num: int, past_runs: List[verse.analysis.analysis_tree.AnalysisTree], sensor: 'BaseSensor', agent_dict: Dict)

Bases: object

__init__(time_step: float, lane_map: LaneMap, init_seg_length: int, reachability_method: ReachabilityMethod, run_num: int, past_runs: List[AnalysisTree], sensor: BaseSensor, agent_dict: Dict) → None