Go to the documentation of this file.
82 #define ISEEML_CHECK_PRECOND
83 #define ISEEML_CHECK_POSTCOND
84 #define ISEEML_CHECK_POINTERS
88 #ifdef ISEEML_CHECK_PRECOND
89 #define ISEEML_CHECK_BASIC_PRECOND
90 #define ISEEML_CHECK_GEOM_PRECOND
91 #define ISEEML_CHECK_ROB_PRECOND
95 #ifdef ISEEML_CHECK_BASIC_PRECOND
96 #define ISEEML_CHECK_OBJECT_PRECOND
97 #define ISEEML_CHECK_ARRAY_PRECOND
101 #ifdef ISEEML_CHECK_GEOM_PRECOND
102 #define ISEEML_CHECK_GEOM_VECT_PRECOND
103 #define ISEEML_CHECK_GEOM_POINT_PRECOND
107 #ifdef ISEEML_CHECK_ROB_PRECOND
108 #define ISEEML_CHECK_CONFIG_PRECOND
109 #define ISEEML_CHECK_PATH_PRECOND
113 #ifdef ISEEML_CHECK_CONFIG_PRECOND
114 #define ISEEML_CHECK_ORPT_CONFIG_PRECOND
115 #define ISEEML_CHECK_CURV_CONFIG_PRECOND
119 #ifdef ISEEML_CHECK_PATH_PRECOND
120 #define ISEEML_CHECK_LIN_PATH_PRECOND
121 #define ISEEML_CHECK_COMP_PATH_PRECOND
125 #ifdef ISEEML_CHECK_COMP_PATH_PRECOND
126 #define ISEEML_CHECK_DLIKE_PATH_PRECOND
130 #ifdef ISEEML_CHECK_DLIKE_PATH_PRECOND
131 #define ISEEML_CHECK_DUBINS_PATH_PRECOND
132 #define ISEEML_CHECK_FSC_PATH_PRECOND
136 #ifdef ISEEML_CHECK_POSTCOND
137 #define ISEEML_CHECK_PATH_POSTCOND
141 #ifdef ISEEML_CHECK_PATH_POSTCOND
142 #define ISEEML_CHECK_COMP_PATH_POSTCOND
146 #ifdef ISEEML_CHECK_COMP_PATH_POSTCOND
147 #define ISEEML_CHECK_DLIKE_PATH_POSTCOND
151 #ifdef ISEEML_CHECK_DLIKE_PATH_POSTCOND
152 #define ISEEML_CHECK_DUBINS_PATH_POSTCOND
153 #define ISEEML_CHECK_FSC_PATH_POSTCOND
157 #ifdef ISEEML_CHECK_POINTERS
158 #define ISEEML_CHECK_NULL_POINTER
159 #define ISEEML_CHECK_ARRAY_ELEMT