check_dim(num_dim[, x_dim, y_dim, z_dim, ...])
|
|
draw_map_3d(map[, fig, fill_type, color])
|
|
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])
|
|