irafhy
Interval arithmetic based Reachability Analysis Framework for Hybrid Automaton
enum.h
Go to the documentation of this file.
1 #ifndef UTILITY_DEFINITION_ENUM_H
2 #define UTILITY_DEFINITION_ENUM_H
3 
4 namespace irafhy
5 {
9  enum VIEW_TYPE
10  {
14  };
18  enum UNARY
19  {
21  SIN,
23  COS,
25  TAN,
27  COT,
29  LN,
30  LOG,
40  SQR,
42  };
46  enum BINARY
47  {
53  };
57  enum ITEM_T
58  {
63  };
67  enum ANALYSIS
68  {
71  };
75  enum GEOMETRY
76  {
79  };
84  {
85  MAX,
87  };
92  {
99  };
103  enum RELATION
104  {
111  };
116  {
120  };
121 } // namespace irafhy
122 #endif //UTILITY_DEFINITION_ENUM_H
Definition: enum.h:78
ITEM_T
type of the item assembling a formula
Definition: enum.h:57
Definition: enum.h:38
LINEPROG_DIRECTION
optimization direction of the linear programming
Definition: enum.h:83
Definition: enum.h:86
Definition: enum.h:52
Definition: enum.h:109
GEOMETRY
supported geometry object
Definition: enum.h:75
Definition: enum.h:24
Definition: enum.h:32
VIEW_TYPE
style of viewing geometry objects
Definition: enum.h:9
Definition: enum.h:105
Definition: enum.h:107
Definition: enum.h:108
Definition: enum.h:12
Definition: enum.h:51
Definition: enum.h:33
Definition: enum.h:119
Definition: enum.h:29
Definition: enum.h:117
Definition: enum.h:95
Definition: enum.h:31
CONSTRAINTS_SOLUTION
flag which indicates the statue of the constraints system
Definition: enum.h:115
Definition: enum.h:40
Definition: enum.h:50
Definition: enum.h:59
Definition: enum.h:27
Definition: enum.h:13
Definition: enum.h:36
UNARY
supported unary math functions
Definition: enum.h:18
ANALYSIS
direction of the integration respect to the direction of vector filed
Definition: enum.h:67
Definition: enum.h:85
Definition: enum.h:49
Definition: enum.h:28
Definition: enum.h:61
Definition: enum.h:97
Definition: enum.h:94
LINEPROG_SOLUTION
status of the solution return by glpk
Definition: enum.h:91
Definition: enum.h:39
Definition: enum.h:22
Definition: enum.h:21
Definition: enum.h:26
Definition: enum.h:48
Definition: enum.h:77
Definition: enum.h:41
Definition: condition.cpp:3
Definition: enum.h:93
RELATION
relation between two expressions
Definition: enum.h:103
Definition: enum.h:25
Definition: enum.h:37
Definition: enum.h:35
Definition: enum.h:98
Definition: enum.h:118
Definition: enum.h:96
Definition: enum.h:106
Definition: enum.h:34
Definition: enum.h:70
Definition: enum.h:60
Definition: enum.h:20
Definition: enum.h:30
Definition: enum.h:23
Definition: enum.h:69
Definition: enum.h:62
Definition: enum.h:110
Definition: enum.h:11
BINARY
supported binary math functions
Definition: enum.h:46