| (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; |
