TMDL-to-LOTOS Compiler, version 0.9. Symbol Tables.


MAP STRUCTURE:
   TestInteractions      TYPEGROUP  3 Event2
      Gr1                   TYPEGROUP  2 Event1, Event3
         TT4                   TYPETT     0 
         Gr3                   TYPEGROUP  1 
            TT5                   TYPETT     0 
      TT2                   TYPETT     0 
      Gr2                   TYPEGROUP  2 
         TT1                   TYPETT     0 
         TT3                   TYPETT     0 
****************************************************************************

TIMETHREAD SYMBOL TABLE:
17:	TT1                                 DEFINED      USED        
14:	TT2                                 DEFINED      USED        
17:	TT3                                 DEFINED      USED        
21:	TT4                                 DEFINED      USED        
24:	TT5                                 DEFINED      USED        
****************************************************************************

GROUP SYMBOL TABLE:
14:	Gr1                                 DEFINED      USED        
14:	Gr2                                 DEFINED      USED        
21:	Gr3                                 DEFINED      USED        
****************************************************************************

TAG VALUE SYMBOL TABLE:
****************************************************************************

GLOBAL ACTIVITY SYMBOL TABLE:
13:	Event1                             
32:	Event2                             
11:	Event3                             
37:	R1                                 
49:	R3                                 
44:	R5                                 
31:	Tr2                                
53:	Tr4                                
41:	Tr5                                
****************************************************************************

MAP INTERNALS:
13:	Event1                             
11:	Event3                             
****************************************************************************

MAP EXTERNALS:
59:	Event2                             
59:	R1                                 
59:	R3                                 
59:	R5                                 
59:	Tr2                                
59:	Tr4                                
59:	Tr5                                
****************************************************************************

TIMETHREAD tt2 INTERNALS:
****************************************************************************

TIMETHREAD tt2 EXTERNALS:
32:	Event2                              RESULT       0 PARAMETER.
31:	Tr2                                 TRIGGER      0 PARAMETER.
****************************************************************************

TIMETHREAD tt2 TAG IDENTIFIERS:
****************************************************************************

TIMETHREAD tt1 INTERNALS:
****************************************************************************

TIMETHREAD tt1 EXTERNALS:
36:	Event2                              TRIGGER      0 PARAMETER.
37:	R1                                  RESULT       0 PARAMETER.
****************************************************************************

TIMETHREAD tt1 TAG IDENTIFIERS:
****************************************************************************

TIMETHREAD tt5 INTERNALS:
****************************************************************************

TIMETHREAD tt5 EXTERNALS:
42:	Event1                              SYNC         0 PARAMETER.
43:	Event3                              SYNC         0 PARAMETER.
44:	R5                                  RESULT       0 PARAMETER.
41:	Tr5                                 TRIGGER      0 PARAMETER.
****************************************************************************

TIMETHREAD tt5 TAG IDENTIFIERS:
****************************************************************************

TIMETHREAD tt3 INTERNALS:
****************************************************************************

TIMETHREAD tt3 EXTERNALS:
48:	Event2                              TRIGGER      0 PARAMETER.
49:	R3                                  RESULT       0 PARAMETER.
****************************************************************************

TIMETHREAD tt3 TAG IDENTIFIERS:
****************************************************************************

TIMETHREAD tt4 INTERNALS:
****************************************************************************

TIMETHREAD tt4 EXTERNALS:
54:	Event1                              SYNC         0 PARAMETER.
56:	Event2                              RESULT       0 PARAMETER.
55:	Event3                              SYNC         0 PARAMETER.
53:	Tr4                                 TRIGGER      0 PARAMETER.
****************************************************************************

TIMETHREAD tt4 TAG IDENTIFIERS:
****************************************************************************