verse.stars.starset

Functions

check_unsat(old_star, derived_basis, point)

containment_poly(star, point)

gen_starset(points, old_star)

gen_starsets_post_sim(old_star, sim[, T, ...])

gen_starsets_post_sim_vis(old_star, sim[, ...])

gen_starsets_post_sim_vis_nonit(old_star, sim)

gen_starsets_post_sim_vis_nonit_nd(old_star, sim)

new_pred(old_star)

plot_stars_points(stars, points)

plot_stars_points_nonit(stars, points)

plot_stars_points_nonit_nd(stars, points, ...)

post_cont_pca(old_star, derived_basis, points)

sample_star(star, N[, tol])

sim_star(init_star, sim[, T, ts, N])

sim_star_vis(init_star, sim[, T, ts, N])

Classes

HalfSpace(H, g)

StarSet()

a one dimensional star set