verse.stars.starset.HalfSpace
class
verse.stars.starset.
HalfSpace
(
H
,
g
)
Bases:
object
Parameters
:
H
vector in R^n
g
value in R
__init__
(
H
,
g
)
verse
Navigation
Contents:
Installation
A First Look at Verse
Troubleshooting Verse
Agent
Map
Sensor
Scenario
Parser
Analysis
Reachtubes
Visualization
Contributors
Verse Publications
verse
verse.agents
verse.analysis
verse.automaton
verse.map
verse.parser
verse.plotter
verse.scenario
verse.sensor
verse.stars
verse.stars.starset
verse.stars.starset.check_unsat
verse.stars.starset.containment_poly
verse.stars.starset.gen_starset
verse.stars.starset.gen_starsets_post_sim
verse.stars.starset.gen_starsets_post_sim_vis
verse.stars.starset.gen_starsets_post_sim_vis_nonit
verse.stars.starset.gen_starsets_post_sim_vis_nonit_nd
verse.stars.starset.new_pred
verse.stars.starset.plot_stars_points
verse.stars.starset.plot_stars_points_nonit
verse.stars.starset.plot_stars_points_nonit_nd
verse.stars.starset.post_cont_pca
verse.stars.starset.sample_star
verse.stars.starset.sim_star
verse.stars.starset.sim_star_vis
verse.stars.starset.HalfSpace
HalfSpace
HalfSpace.__init__()
verse.stars.starset.StarSet
verse.utils
Related Topics
Documentation overview
verse
verse.stars
verse.stars.starset
Previous:
verse.stars.starset.sim_star_vis
Next:
verse.stars.starset.StarSet