verse.analysis.verifier.combine_rect

verse.analysis.verifier.combine_rect(trace)

Combine a reachtube into one rect

Parameters:

trace – the reachtube (2d list) to be combined

Returns:

the combined rect (2d list)