verse.plotter.plotter2D

This file contains plotter code simulations and reachtubes

Module Attributes

duration

The next 4 functions are the main functions to be used by users

Functions

check_dim(num_dim[, x_dim, y_dim, ...])
create_anime_dict([duration])
draw_map(map[, color, fig, fill_type])	It draws the the map
get_text_pos(veh_mode)
num_digits(val)
reachtube_anime(root[, map, fig, x_dim, ...])	It gives the animation of the verfication.
reachtube_tree(root[, map, fig, x_dim, ...])	It statically shows all the traces of the verfication.
reachtube_tree_single(root, agent_id[, fig, ...])	It statically shows the verfication traces of one given agent.
reachtube_tree_single_slice(root, agent_id)	It statically shows the verfication traces of one given agent.
reachtube_tree_slice(root[, map, fig, ...])	It statically shows all the traces of the verfication.
sample_trace(root[, sample_rate])
simulation_anime(root[, map, fig, x_dim, ...])	Normal: It gives the animation of the simulation without trail but is faster.
simulation_tree(root[, map, fig, x_dim, ...])	This function adds the traces of a simulation as a 2D plot to a plotly graph object. Parameters: root (Union[AnalysisTree, AnalysisTreeNode]): Root of the simulation tree to be plotted. map (Map): Map to be plotted in the background. fig (plotly.graph_objects): Input figure object in which the plot is added. x_dim (int): The state dimension to be plotted along x-axis. y_dim (int): The state dimension to be plotted in y-axis. scale_type (string): Only allowed value is "trace". label_mode (string): Only allowed value is "None". Returns: fig (plotly.graph_objects): Figure which includes the plots.
simulation_tree_single(root, agent_id[, ...])	It statically shows the simulation traces of one given agent.
update_style([fig])