HyPro  20.11
A Toolbox for the Reachability Analysis of Hybrid Systems using Geometric Approximations
File List
Here is a list of all documented files with brief descriptions:
[detail level 1234567]
  examples
 INCOMPLETE_example_benchmarks.cpp
 INCOMPLETE_example_bouncingBall_Plotter.cpp
 INCOMPLETE_example_facetEnumeration.cpp
  src
  hypro
  algorithms
  convexHull
  eigendecomposition
  quantifierElimination
  quickhull
  reachability
  datastructures
  HybridAutomaton
  reachability
 Facet.h
 Halfspace.h
 Halfspace.tpp
 LRUCache.h
 Point.cpp
 Point.h
 Point.tpp
 Ridge.h
 Vertex.h
 VertexContainer.h
  representations
  Box
  ConstraintSet
  conversion
  DifferenceBounds
  Ellipsoids
  GeneralizedStar
  helperMethods
  OrthogonalPolyhedron
  Orthoplex
  Polytope
  Polytopes
  SupportFunction
  SupportFunctionNew
  TaylorModel
  TemplatePolyhedron
  Zonotope
 GeometricObjectBase.h
 types.h
 volumeApproximation.h
  util
  adaptions_carl
  adaptions_eigen
  linearOptimization
  logging
  multithreading
  plotting
  sampling
  sequenceGeneration
  statistics
  tuple_expansion
  type_handling
 combine.h
 convenienceOperators.h
 conversion.h
 convexHull.h
 pca.h
 pca.tpp
 Range.h
 templateDirections.h
 typetraits.h
 unreachable.h
 VariablePool.h
 carlTypes.h
 config.h
 flags.h
 types.h