HyPro  20.11
A Toolbox for the Reachability Analysis of Hybrid Systems using Geometric Approximations
Class List
Here are the classes, structs, unions and interfaces with brief descriptions:
[detail level 1234]
 Nbetter_enums
 NEigen
 NhyproGeneral context interface to set up a reachability worker
 Nsmtrat
 NstdSTL namespace
 CClock