TOPP2¶
TOPP2-related Python APIs follow the Rust solver-module layout.
Reach Set¶
TOPP2 reachable-set construction.
- copp_py.solver.reach_set2.Problem¶
alias of
Topp2Problem
- copp_py.solver.reach_set2.Options¶
alias of
ReachSet2Options
- copp_py.solver.reach_set2.ReachSet¶
alias of
ReachSet2
- copp_py.solver.reach_set2.backward(problem, options=None)¶
Compute backward-only TOPP2 reachable intervals.
- Parameters:
problem (Topp2Problem)
options (ReachSet2Options | None)
- Return type:
ReachSet2
- copp_py.solver.reach_set2.bidirectional(problem, options=None)¶
Compute bidirectional TOPP2 reachable intervals.
- Parameters:
problem (Topp2Problem)
options (ReachSet2Options | None)
- Return type:
ReachSet2
Reachability Analysis¶
TOPP2 reachability-analysis solver.
- copp_py.solver.topp2_ra.Problem¶
alias of
Topp2Problem
- copp_py.solver.topp2_ra.Options¶
alias of
ReachSet2Options
- copp_py.solver.topp2_ra.ReachSet¶
alias of
ReachSet2
- copp_py.solver.topp2_ra.solve(problem, options=None)¶
Solve a TOPP2 problem with reachability analysis.
- Parameters:
problem (Topp2Problem)
options (ReachSet2Options | None)
- Return type:
ndarray[tuple[Any, …], dtype[float64]]