(1) | ( Standard priorities ) |
(2) | val P_MAX = 10; |
(3) | val P_HIGH = 100; |
(4) | val P_NORMAL = 1000; |
(5) | val P_LOW = 10000; |
(6) | val P_MIN = 20000; |
(7) | ( Standard declarations ) |
(8) | colset INT = int; |
(9) | colset STRING = string; |
(10) | colset REAL = real; |
(11) | colset BOOL = bool; |
(12) | colset UNIT = unit; |
(13) | colset TIME = time; |
(14) | colset INTINF = intinf; |
(15) | ( Declarations for domain: SBS_CO ) |
(16) | colset CO = product INT INT INT STRING REAL; |
(17) | ( vars_for_event: CO ) |
(18) | var var_timestamp: INT; |
(19) | var var_classroomId: STRING; |
(20) | var var_value: REAL; |
(21) | var n, t, t1: INT; |
(22) | ( Declarations for complex events domain: SBS_CO ) |
(23) | colset CO_Avg = product INT INT INT STRING REAL; |
(24) | ( vars_for_complexevent: CO_Avg ) |
(25) | var var_avg: REAL; |
(26) | colset CO_Unhealthy = product INT INT INT STRING REAL; |
(27) | ( vars_for_complexevent: CO_Unhealthy ) |
(28) | var var_unhealthy_value: REAL; |
(29) | ( Total color set for: CO_Avg ) |
(30) | colset Totals_CO_Avg = product INT INT STRING REAL REAL INT REAL REAL; |
(31) | ( Pattern auxiliary variables ) |
(32) | var m, sq, k, tt, x, m1, m2, c, sm: INT; |
(33) | var M1, M2, SM, av: REAL; |
(34) | ( Sliding time interval declarations: ) |
(35) | val tP_CO_Avg = 12; |
(36) | ( Pattern auxiliary variables ) |
(37) | ( Declarations initial marking ) |
(38) | colset INT3 = product INT INT INT; |
(39) | var xx:REAL; |
(40) | val co0 = 3.0; |
(41) | val f1 = 0.5; |
(42) | val f2 = 0.5; |