irafhy
Interval arithmetic based Reachability Analysis Framework for Hybrid Automaton
enum.h File Reference
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces

 irafhy
 

Enumerations

enum  irafhy::VIEW_TYPE { irafhy::POINT, irafhy::LINE, irafhy::PLANE }
 style of viewing geometry objects More...
 
enum  irafhy::UNARY {
  irafhy::OPPOSITE, irafhy::SIN, irafhy::ASIN, irafhy::COS,
  irafhy::ACOS, irafhy::TAN, irafhy::ATAN, irafhy::COT,
  irafhy::ACOT, irafhy::LN, irafhy::LOG, irafhy::NEXP,
  irafhy::SINH, irafhy::ASINH, irafhy::COSH, irafhy::ACOSH,
  irafhy::TANH, irafhy::ATANH, irafhy::COTH, irafhy::ACOTH,
  irafhy::SQR, irafhy::SQRT
}
 supported unary math functions More...
 
enum  irafhy::BINARY {
  irafhy::PLUS, irafhy::MINUS, irafhy::MULTIPLY, irafhy::DIVIDE,
  irafhy::POWER
}
 supported binary math functions More...
 
enum  irafhy::ITEM_T { irafhy::CONSTANT_T, irafhy::VARIABLE_T, irafhy::UNARY_T, irafhy::BINARY_T }
 type of the item assembling a formula More...
 
enum  irafhy::ANALYSIS { irafhy::FORWARD, irafhy::BACKWARD }
 direction of the integration respect to the direction of vector filed More...
 
enum  irafhy::GEOMETRY { irafhy::INTERVAL_HULL, irafhy::POLYTOPE }
 supported geometry object More...
 
enum  irafhy::LINEPROG_DIRECTION { irafhy::MAX, irafhy::MIN }
 optimization direction of the linear programming More...
 
enum  irafhy::LINEPROG_SOLUTION {
  irafhy::UNDEFINED, irafhy::FEASIBLE, irafhy::INFEASIBLE, irafhy::NO_FEASIBLE,
  irafhy::OPTIMAL, irafhy::UNBOUNDED
}
 status of the solution return by glpk More...
 
enum  irafhy::RELATION {
  irafhy::LESS_THAN, irafhy::LESS_THAN_OR_EQUAL_TO, irafhy::EQUAL_TO, irafhy::UNEQUAL_TO,
  irafhy::GREATER_THAN_OR_EQUAL_TO, irafhy::GREATER_THAN
}
 relation between two expressions More...
 
enum  irafhy::CONSTRAINTS_SOLUTION { irafhy::ALL_SATISFIED, irafhy::PARTIAL_SATISFIED, irafhy::ALL_UNSATISFIED }
 flag which indicates the statue of the constraints system More...