verse.analysis.verifier.Verifier

class verse.analysis.verifier.Verifier(config)

Bases: object

Methods

calculate_full_bloated_tube_simple(agent_id, ...)	Get the full bloated tube.
calculate_full_bloated_tube_stars(agent_id, ...)	Get the full bloated tube.
check_cache_bloated_tube(agent_id, ...[, ...])	Check the bloated tubes cached already
check_cache_bloated_tube_stars(agent_id, ...)	Check the bloated tubes cached already

apply_cont_var_updater
apply_reset
apply_reset_stars
compute_full_reachtube
compute_full_reachtube_step
get_transition_verify_opt
proc_result

__init__(config)

static calculate_full_bloated_tube_simple(agent_id, cached_tube_info, incremental, mode_label, initial_set, time_horizon, time_step, sim_func, params, kvalue, sim_trace_num, combine_seg_length=1000, guard_checker=None, guard_str='', lane_map=None)

Get the full bloated tube. use cached tubes, calculate noncached tubes

:param TBA :return: the full bloated tube

cache to be updated

static calculate_full_bloated_tube_stars(agent_id, cached_tube_info, incremental, mode_label, initial_set, time_horizon, time_step, sim_func, params, kvalue, sim_trace_num, combine_seg_length=1000, guard_checker=None, guard_str='', lane_map=None, pca=True)

Get the full bloated tube. use cached tubes, calculate noncached tubes

:param TBA :return: the full bloated tube

cache to be updated

check_cache_bloated_tube(agent_id, mode_label, initial_set, combine_seg_length=1000)

Check the bloated tubes cached already

:param TBA :return: the combined bloated tube with all cached tube segs

a list of indexs of missing segs

check_cache_bloated_tube_stars(agent_id, mode_label, initial_set, combine_seg_length=1000)

Check the bloated tubes cached already

:param TBA :return: the combined bloated tube with all cached tube segs

a list of indexs of missing segs