9 char *address
; } PREDICATE
;
11 char *address
; } ACTION
;
30 char *address
; int isevent
; } pcb
;
34 struct Object
*setnum
; } setlist
;
36 struct Object
*setnum
; } setlisttail
;
38 unsigned char type
; } part
;
40 unsigned char type
; } parttail
;
42 unsigned char type
; char *address
; } partrest
;
44 struct Object
*object
; } setstruct
;
46 unsigned char type
,keep
; char *address
; struct Object
*object
; } setdef
;
50 struct Object
*object
; } event
;
52 struct Object
*object
; } oldstate
;
54 struct Object
*object
; } newstate
;
56 char *string
; } predicatepart
;
58 char *string
; struct Object
*oldstate
; struct Object
*newstate
; } actionpart
;
79 #define T_TRANSITIONS 14
85 #define T_NULLACTION 20
87 #define T_ENDMARKER 22