HyPro  20.11
A Toolbox for the Reachability Analysis of Hybrid Systems using Geometric Approximations
Namespace List
Here is a list of all documented namespaces with brief descriptions:
 NhyproGeneral context interface to set up a reachability worker
 NparserNamespace holding parsing related code and structs
 NplottingNamespace holding plotting related code and structs
 NreachabilityNamespace for all reachabiltiy analysis algorithm related code
 NstatisticsNamespace encapsulating all statistics related code