verse.plotter.plotter3D_new

Functions

check_dim(num_dim[, x_dim, y_dim, z_dim, ...])

draw_map_3d(map[, fig, fill_type, color])

reachtube_anime_3d(root[, fig, x_dim, ...])

It gives the animation of the verification traces in 3D.

reachtube_tree_3d(root[, fig, x_dim, ...])

It statically shows all the traces of the verfication.

reachtube_tree_single_3d(root, agent_id[, ...])

It statically shows the verfication traces of one given agent.

sample_trace(root[, sample_rate])

simulation_tree_3d(root[, fig, x_dim, ...])

It statically shows all the traces of the simulation.

simulation_tree_single_3d(root, agent_id[, ...])

It statically shows the simulation traces of one given agent.

update_style([fig, x_title, y_title, z_title])