verse.stars.starset.check_unsat
verse.stars.starset.
check_unsat
(
old_star
:
StarSet
,
derived_basis
:
ndarray
,
point
:
ndarray
,
ncenter
:
ndarray
=
None
)
→
bool
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
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
verse.stars.starset.StarSet
verse.utils
Related Topics
Documentation overview
verse
verse.stars
verse.stars.starset
Previous:
verse.stars.starset
Next:
verse.stars.starset.containment_poly