manhattan(a, b)
|
|
over_approx_rectangle(trace, time_horizon, ...)
|
|
reach_star(traces[, t_l, t_u])
|
|
sim_traces_to_diameters(sim_traces)
|
|
sim_traces_to_dict_composed(sim_traces)
|
|
time_step_diameter(trace, time_horizon, ...)
|
|
time_step_diameter_rect(tree, time_horizon, ...)
|
|