From bcfd5cf8a74c77c8827f4f6bbd351af4e96934a5 Mon Sep 17 00:00:00 2001
From: keyis2 <keyis2@illinois.edu>
Date: Tue, 24 Jan 2023 22:54:46 +0800
Subject: [PATCH] init parver
---
requirements.txt | 1 +
verse/analysis/verifier.py | 24 ++++++++++++++++++++----
2 files changed, 21 insertions(+), 4 deletions(-)
diff --git a/requirements.txt b/requirements.txt
index 4fef8f4a..aaec776d 100644
--- a/requirements.txt
+++ b/requirements.txt
@@ -15,3 +15,4 @@ torch
tqdm
intervaltree
Pympler
+ray
\ No newline at end of file
diff --git a/verse/analysis/verifier.py b/verse/analysis/verifier.py
index f19cb6d1..89f575d7 100644
--- a/verse/analysis/verifier.py
+++ b/verse/analysis/verifier.py
@@ -1,8 +1,5 @@
-import functools
-import itertools
-import pprint
+import copy, itertools, functools, pprint, ray
from typing import List
-import copy
import numpy as np
@@ -100,6 +97,25 @@ class Verifier:
)
return res_tube.tolist()
+ @ray.remote
+ def compute_full_reachtube_step(
+ self,
+ init_list: List[float],
+ init_mode_list: List[str],
+ static_list: List[str],
+ uncertain_param_list: List[float],
+ agent_list,
+ transition_graph,
+ time_horizon,
+ time_step,
+ lane_map,
+ init_seg_length,
+ reachability_method,
+ run_num,
+ past_runs,
+ params = {},
+ ):
+ return
def compute_full_reachtube(
self,
--
GitLab