verse.analysis.mixmonotone.compute_reachtube_mixmono_disc

verse.analysis.mixmonotone.compute_reachtube_mixmono_disc(initial_set, uncertain_var_bound, time_horizon, time_step, decomposition)