change package name to verse

dryvr_plus_plus/example/example_agent/ball_agent.py → verse/example/example_agent/ball_agent.py

@@ -4,8 +4,8 @@ from typing import Tuple, List
 import numpy as np
 from scipy.integrate import ode
 
-from dryvr_plus_plus import BaseAgent
-from dryvr_plus_plus import LaneMap
+from verse import BaseAgent
+from verse import LaneMap
 
 
 class BallAgent(BaseAgent):

dryvr_plus_plus/example/example_agent/car_agent.py → verse/example/example_agent/car_agent.py

@@ -4,9 +4,9 @@ from typing import Tuple, List
 import numpy as np 
 from scipy.integrate import ode
 
-from dryvr_plus_plus import BaseAgent
-from dryvr_plus_plus import LaneMap
-from dryvr_plus_plus.code_parser import ControllerIR
+from verse import BaseAgent
+from verse import LaneMap
+from verse.code_parser import ControllerIR
 
 class NPCAgent(BaseAgent):
     def __init__(self, id):

dryvr_plus_plus/example/example_agent/sign_agent.py → verse/example/example_agent/sign_agent.py

-from dryvr_plus_plus import BaseAgent
+from verse import BaseAgent
 import numpy as np
-from dryvr_plus_plus.code_parser import ControllerIR
+from verse.code_parser import ControllerIR
 
 class SignAgent(BaseAgent):
     def __init__(self, id):

dryvr_plus_plus/example/example_map/simple_map.py → verse/example/example_map/simple_map.py

-from dryvr_plus_plus import LaneMap, LaneSegment
+from verse import LaneMap, LaneSegment
 
 class SimpleMap(LaneMap):
     def __init__(self):

dryvr_plus_plus/example/example_map/simple_map2.py → verse/example/example_map/simple_map2.py

-from dryvr_plus_plus import LaneMap, LaneSegment, StraightLane, CircularLane, Lane
+from verse import LaneMap, LaneSegment, StraightLane, CircularLane, Lane
 
 import numpy as np
 

dryvr_plus_plus/map/lane.py → verse/map/lane.py

@@ -2,7 +2,7 @@ from typing import List
 
 import numpy as np
 
-from dryvr_plus_plus.map.lane_segment import AbstractLane
+from verse.map.lane_segment import AbstractLane
 
 class Lane():
     COMPENSATE = 3

dryvr_plus_plus/map/lane_map.py → verse/map/lane_map.py

@@ -4,8 +4,8 @@ from enum import Enum
 
 import numpy as np
 
-from dryvr_plus_plus.map.lane_segment import AbstractLane
-from dryvr_plus_plus.map.lane import Lane
+from verse.map.lane_segment import AbstractLane
+from verse.map.lane import Lane
 
 class LaneMap:
     def __init__(self, lane_seg_list:List[Lane] = []):

dryvr_plus_plus/map/lane_segment.py → verse/map/lane_segment.py

@@ -3,7 +3,7 @@ from abc import ABCMeta, abstractmethod
 from typing import Tuple, List, Optional
 import copy
 
-from dryvr_plus_plus.reachability_engine.utils import wrap_to_pi, Vector, get_class_path, to_serializable
+from verse.reachability_engine.utils import wrap_to_pi, Vector, get_class_path, to_serializable
 
 class LineType:
 

dryvr_plus_plus/map/opendrive_parser.py → verse/map/opendrive_parser.py

@@ -6,9 +6,9 @@ from bs4 import BeautifulSoup #Beautiful Soup library for parsing data in python
 ###############################################################################################
 
 #Import all the lane objects needed to generate all the lane map objects for the controllers
-from dryvr_plus_plus.map.lane import Lane
-from dryvr_plus_plus.map.lane_map import LaneMap
-from dryvr_plus_plus.map.lane_segment import *
+from verse.map.lane import Lane
+from verse.map.lane_map import LaneMap
+from verse.map.lane_segment import *
 ###############################################################################################
 
 ###############################ASAM OPEN DRIVE PARSING FUNCTION################################

dryvr_plus_plus/plotter/plotter2D.py → verse/plotter/plotter2D.py

@@ -7,7 +7,7 @@ import numpy as np
 import plotly.graph_objects as go
 from typing import List, Tuple, Union
 from plotly.graph_objs.scatter import Marker
-from dryvr_plus_plus.analysis.analysis_tree import AnalysisTree, AnalysisTreeNode
+from verse.analysis.analysis_tree import AnalysisTree, AnalysisTreeNode
 
 colors = [['#CC0000', '#FF0000', '#FF3333', '#FF6666', '#FF9999', '#FFCCCC'],
           ['#CCCC00', '#FFFF00', '#FFFF33', '#FFFF66', '#FFFF99', '#FFE5CC'],
@@ -37,7 +37,7 @@ API
 These 5 functions share the same API.
 
 - root: the root node of the trace, should be the return value of Scenario.verify() or Scenario.simulate().
-- map: the map of the scenario, templates are in dryvr_plus_plus.example.example_map.simple_map2.py.
+- map: the map of the scenario, templates are in verse.example.example_map.simple_map2.py.
 - fig: the object of the figure, its type should be plotly.graph_objects.Figure().
 - x_dim: the dimension of x coordinate in the trace list of every time step. The default value is 1.
 - y_dim: the dimension of y coordinate in the trace list of every time step. The default value is 2.

dryvr_plus_plus/reachability_engine/dryvr.py → verse/reachability_engine/dryvr.py

@@ -221,7 +221,7 @@ def calc_bloated_tube(
         bloating_method (str): determine the bloating method for reach tube, either GLOBAL or PW
         sim_trace_num (int): number of simulations used to calculate the discrepancy
         kvalue (list): list of float used when bloating method set to PW
-        guard_checker (dryvr_plus_plus.core.guard.Guard or None): guard check object
+        guard_checker (verse.core.guard.Guard or None): guard check object
         guard_str (str): guard string
        
     Returns: