verse.analysis.dryvr

Functions

all_sensitivities_calc(training_traces, ...)
calcCenterPoint(lower, upper)	Calculate the center point between the lower and upper bound The function only supports list since we assue initial set is always list
calcDelta(lower, upper)	Calculate the delta value between the lower and upper bound The function only supports list since we assue initial set is always list
calc_bloated_tube(mode_label, initial_set, ...)	This function calculate the reach tube for single given mode
get_reachtube_segment(training_traces, ...)
randomPoint(lower, upper[, seed])	Pick a random point between lower and upper bound This function supports both int or list
trimTraces(traces)	trim all traces to the same length