[BACK]Return to pdutr.pre CVS log [TXT][DIR] Up to [Development] / linux-2.4-xfs / net / 802 / transit

File: [Development] / linux-2.4-xfs / net / 802 / transit / pdutr.pre (download)

Revision 1.1, Wed Dec 31 00:54:49 2003 UTC (13 years, 10 months ago) by cattelan
Branch: MAIN
CVS Tags: HEAD

Initial Import 2.4.24pre2

COMPILE pdutr INDEX
;
; Transition tables for incoming pdu events.
; translate this thing into C with
;  	awk -f ./compile.awk pdu.trans > pdutr.h
;
TABLE ADM
;Transition table for the ADM state:
;
;frame type   p bit     action    newstate
;received     in frame
;
I_CMD         0         ADM5      ADM
I_CMD         1         ADM4      ADM
RR_CMD        0         ADM5      ADM
RR_CMD        1         ADM4      ADM
RNR_CMD       0         ADM5      ADM
RNR_CMD       1         ADM4      ADM
REJ_CMD       0         ADM5      ADM
REJ_CMD       1         ADM4      ADM
DISC_CMD      0         ADM3      ADM
DISC_CMD      1         ADM3      ADM
SABME_CMD     0         ADM2      CONN  
SABME_CMD     1         ADM2      CONN  
I_RSP         0         ADM5      ADM
I_RSP         1         ADM5      ADM
RR_RSP        0         ADM5      ADM
RR_RSP        1         ADM5      ADM
RNR_RSP       0         ADM5      ADM
RNR_RSP       1         ADM5      ADM
REJ_RSP       0         ADM5      ADM
REJ_RSP       1         ADM5      ADM
UA_RSP        0         ADM5      ADM
UA_RSP        1         ADM5      ADM
DM_RSP        0         ADM5      ADM
DM_RSP        1         ADM5      ADM
FRMR_RSP      0         ADM5      ADM
FRMR_RSP      1         ADM5      ADM
;
TABLE CONN
;
;Transition table for the CONN state:
;
;frame type   action    newstate
;received     
;
I_CMD         CONN5     CONN
RR_CMD        CONN5     CONN
RNR_CMD       CONN5     CONN
REJ_CMD       CONN5     CONN
DISC_CMD      CONN5     CONN
SABME_CMD     CONN3     CONN  
I_RSP         CONN5     CONN
RR_RSP        CONN5     CONN
RNR_RSP       CONN5     CONN
REJ_RSP       CONN5     CONN
UA_RSP        CONN5     CONN
DM_RSP        CONN4     ADM
FRMR_RSP      CONN5     CONN
;
TABLE RESET_WAIT
;Transition table for the RESET_WAIT
;
;frame type   action    newstate
;received     
;
I_CMD         RESWAIT8  RESET_WAIT
RR_CMD        RESWAIT8  RESET_WAIT
RNR_CMD       RESWAIT8  RESET_WAIT
REJ_CMD       RESWAIT8  RESET_WAIT
DISC_CMD      RESWAIT7  RESET_WAIT
SABME_CMD     RESWAIT6  RESET_WAIT
I_RSP         RESWAIT8  RESET_WAIT
RR_RSP        RESWAIT8  RESET_WAIT
RNR_RSP       RESWAIT8  RESET_WAIT
REJ_RSP       RESWAIT8  RESET_WAIT
UA_RSP        RESWAIT8  RESET_WAIT
DM_RSP        RESWAIT5  ADM
FRMR_RSP      RESWAIT8  RESET_WAIT
;
;
TABLE RESET_CHECK
;Transition table for the RESET_CHECK state
;
;frame type   action    newstate
;received     
;
I_CMD         RESCHK6  RESET_CHECK
RR_CMD        RESCHK6  RESET_CHECK
RNR_CMD       RESCHK6  RESET_CHECK
REJ_CMD       RESCHK6  RESET_CHECK
DISC_CMD      RESCHK5  ADM
SABME_CMD     RESCHK4  RESET_CHECK
I_RSP         RESCHK6  RESET_CHECK
RR_RSP        RESCHK6  RESET_CHECK
RNR_RSP       RESCHK6  RESET_CHECK
REJ_RSP       RESCHK6  RESET_CHECK
UA_RSP        RESCHK6  RESET_CHECK
DM_RSP        RESCHK3  ADM
FRMR_RSP      RESCHK6  RESET_CHECK
;
;
TABLE SETUP
;Transition table for the SETUP state
;
;frame type   p flag    action    newstate
;received     = f
;
I_CMD         0         SETUP6      SETUP
I_CMD         1         SETUP6      SETUP
RR_CMD        0         SETUP6      SETUP
RR_CMD        1         SETUP6      SETUP
RNR_CMD       0         SETUP6      SETUP
RNR_CMD       1         SETUP6      SETUP
REJ_CMD       0         SETUP6      SETUP
REJ_CMD       1         SETUP6      SETUP
DISC_CMD      0         SETUP4      ADM
DISC_CMD      1         SETUP4      ADM  
SABME_CMD     0         SETUP1      SETUP 
SABME_CMD     1         SETUP1      SETUP 
I_RSP         0         SETUP6      SETUP
I_RSP         1         SETUP6      SETUP
RR_RSP        0         SETUP6      SETUP
RR_RSP        1         SETUP6      SETUP
RNR_RSP       0         SETUP6      SETUP
RNR_RSP       1         SETUP6      SETUP
REJ_RSP       0         SETUP6      SETUP
REJ_RSP       1         SETUP6      SETUP
UA_RSP        0         SETUP6      SETUP
UA_RSP        1         SETUP2      NORMAL
DM_RSP        0         SETUP5      ADM  
DM_RSP        1         SETUP5      ADM  
FRMR_RSP      0         SETUP6      SETUP
FRMR_RSP      1         SETUP6      SETUP
;
;
TABLE RESET
;Transition table for the RESET state:
;
;frame type   p flag    action    newstate
;received     = f
;
I_CMD         0         RESET6      RESET
I_CMD         1         RESET6      RESET
RR_CMD        0         RESET6      RESET
RR_CMD        1         RESET6      RESET
RNR_CMD       0         RESET6      RESET
RNR_CMD       1         RESET6      RESET
REJ_CMD       0         RESET6      RESET
REJ_CMD       1         RESET6      RESET
DISC_CMD      0         RESET4      ADM
DISC_CMD      1         RESET4      ADM  
SABME_CMD     0         RESET1      RESET 
SABME_CMD     1         RESET1      RESET 
I_RSP         0         RESET6      RESET
I_RSP         1         RESET6      RESET
RR_RSP        0         RESET6      RESET
RR_RSP        1         RESET6      RESET
RNR_RSP       0         RESET6      RESET
RNR_RSP       1         RESET6      RESET
REJ_RSP       0         RESET6      RESET
REJ_RSP       1         RESET6      RESET
UA_RSP        0         RESET6      RESET
UA_RSP        1         RESET2      NORMAL
DM_RSP        0         RESET5      ADM  
DM_RSP        1         RESET5      ADM  
FRMR_RSP      0         RESET6      RESET
FRMR_RSP      1         RESET6      RESET
;
;
TABLE D_CONN
;Transition table for the D_CONN state:
;
;frame type   p bit     action    newstate
;received     in frame  
I_CMD         0         D_CONN5      D_CONN
I_CMD         1         D_CONN5      D_CONN
RR_CMD        0         D_CONN5      D_CONN
RR_CMD        1         D_CONN5      D_CONN
RNR_CMD       0         D_CONN5      D_CONN
RNR_CMD       1         D_CONN5      D_CONN
REJ_CMD       0         D_CONN5      D_CONN
REJ_CMD       1         D_CONN5      D_CONN
DISC_CMD      0         D_CONN3      D_CONN
DISC_CMD      1         D_CONN3      D_CONN
SABME_CMD     0         D_CONN1      ADM  
SABME_CMD     1         D_CONN1      ADM    
I_RSP         0         D_CONN5      D_CONN
I_RSP         1         D_CONN5      D_CONN
RR_RSP        0         D_CONN5      D_CONN
RR_RSP        1         D_CONN5      D_CONN
RNR_RSP       0         D_CONN5      D_CONN
RNR_RSP       1         D_CONN5      D_CONN
REJ_RSP       0         D_CONN5      D_CONN
REJ_RSP       1         D_CONN5      D_CONN
UA_RSP        0         D_CONN5      D_CONN
UA_RSP        1         D_CONN4      ADM   
DM_RSP        0         D_CONN4      ADM  
DM_RSP        1         D_CONN5      ADM  
FRMR_RSP      0         D_CONN5      D_CONN
FRMR_RSP      1         D_CONN5      D_CONN
;
;
TABLE ERROR
;Transition table for the ERROR state:
;
;frame type   action    newstate
;received     
;
I_CMD         ERR5      ERROR
RR_CMD        ERR5      ERROR
RNR_CMD       ERR5      ERROR
REJ_CMD       ERR5      ERROR
DISC_CMD      ERR2      ADM
SABME_CMD     ERR1      RESET_CHECK
I_RSP         ERR6      ERROR
RR_RSP        ERR6      ERROR
RNR_RSP       ERR6      ERROR
REJ_RSP       ERR6      ERROR
UA_RSP        ERR6      ERROR
DM_RSP        ERR3      ADM
FRMR_RSP      ERR4      RESET_WAIT
;
TABLE NORMAL
;Transition table for the NORMAL state:
;
;frame type   uexpect   p bit     p_flag    
;received     N(S)      in frame            
;
I_CMD          	0	0	0	NORMAL8B	NORMAL
I_CMD          	0	0	1	NORMAL9		NORMAL
I_CMD          	0	1	0	NORMAL10	NORMAL
I_CMD          	0	1	1	NORMAL10	NORMAL
I_CMD          	1	0	0	NORMAL5		REJECT
I_CMD          	1	0	1	NORMAL6		REJECT
I_CMD          	1	1	0	NORMAL7		REJECT
I_CMD          	1	1	1	NORMAL7		REJECT
RR_CMD         	0	0	0	NORMAL11	NORMAL
RR_CMD         	0	0	1	NORMAL11	NORMAL
RR_CMD         	0	1	0	NORMAL12	NORMAL
RR_CMD         	0	1	1	NORMAL12	NORMAL
RR_CMD         	1	0	0	NORMAL11	NORMAL
RR_CMD         	1	0	1	NORMAL11	NORMAL
RR_CMD         	1	1	0	NORMAL12	NORMAL
RR_CMD         	1	1	1	NORMAL12	NORMAL
RNR_CMD        	0	0	0	NORMAL13	NORMAL
RNR_CMD        	0	0	1	NORMAL13	NORMAL
RNR_CMD        	0	1	0	NORMAL14	NORMAL
RNR_CMD        	0	1	1	NORMAL14	NORMAL
RNR_CMD        	1	0	0	NORMAL13	NORMAL
RNR_CMD        	1	0	1	NORMAL13	NORMAL
RNR_CMD        	1	1	0	NORMAL14	NORMAL
RNR_CMD        	1	1	1	NORMAL14	NORMAL
REJ_CMD        	0	0	0	NORMAL15	NORMAL
REJ_CMD        	0	0	1	NORMAL16	NORMAL
REJ_CMD        	0	1	0	NORMAL17	NORMAL 
REJ_CMD        	0	1	1	NORMAL17	NORMAL 
REJ_CMD        	1	0	0	NORMAL15	NORMAL
REJ_CMD        	1	0	1	NORMAL16	NORMAL
REJ_CMD        	1	1	0	NORMAL17	NORMAL 
REJ_CMD        	1	1	1	NORMAL17	NORMAL 
DISC_CMD       	0	0	0	SH4		ADM
DISC_CMD       	0	0	1	SH4		ADM
DISC_CMD       	0	1	0	SH4		ADM
DISC_CMD       	0	1	1	SH4		ADM
DISC_CMD       	1	0	0	SH4		ADM
DISC_CMD       	1	0	1	SH4		ADM
DISC_CMD       	1	1	0	SH4		ADM
DISC_CMD       	1	1	1	SH4		ADM
SABME_CMD      	0	0	0	SH3		RESET_CHECK
SABME_CMD      	0	0	1	SH3		RESET_CHECK
SABME_CMD      	0	1	0	SH3		RESET_CHECK
SABME_CMD      	0	1	1	SH3		RESET_CHECK
SABME_CMD      	1	0	0	SH3		RESET_CHECK
SABME_CMD      	1	0	1	SH3		RESET_CHECK
SABME_CMD      	1	1	0	SH3		RESET_CHECK
SABME_CMD      	1	1	1	SH3		RESET_CHECK
I_RSP          	0	0	0	NORMAL8B	NORMAL
I_RSP          	0	0	1	NORMAL9		NORMAL
I_RSP          	0	1	0	SH10		ERROR
I_RSP          	0	1	1	NORMAL8A	NORMAL
I_RSP          	1	0	0	NORMAL5		REJECT
I_RSP          	1	0	1	NORMAL6		REJECT
I_RSP          	1	1	0	SH10		ERROR
I_RSP          	1	1	1	NORMAL5		REJECT
RR_RSP         	0	0	0	NORMAL11	NORMAL
RR_RSP         	0	0	1	NORMAL11	NORMAL
RR_RSP         	0	1	0	SH10		ERROR
RR_RSP         	0	1	1	NORMAL11	NORMAL
RR_RSP         	1	0	0	NORMAL11	NORMAL
RR_RSP         	1	0	1	NORMAL11	NORMAL
RR_RSP         	1	1	0	SH10		ERROR
RR_RSP         	1	1	1	NORMAL11	NORMAL
RNR_RSP        	0	0	0	NORMAL13	NORMAL
RNR_RSP        	0	0	1	NORMAL13	NORMAL
RNR_RSP        	0	1	0	SH10		ERROR
RNR_RSP        	0	1	1	NORMAL13	NORMAL
RNR_RSP        	1	0	0	NORMAL13	NORMAL
RNR_RSP        	1	0	1	NORMAL13	NORMAL
RNR_RSP        	1	1	0	SH10		ERROR
RNR_RSP        	1	1	1	NORMAL13	NORMAL
REJ_RSP        	0	0	0	NORMAL15	NORMAL
REJ_RSP        	0	0	1	NORMAL16	NORMAL
REJ_RSP        	0	1	0	SH10		ERROR
REJ_RSP        	0	1	1	NORMAL15	NORMAL
REJ_RSP        	1	0	0	NORMAL15	NORMAL
REJ_RSP        	1	0	1	NORMAL16	NORMAL
REJ_RSP        	1	1	0	SH10		ERROR
REJ_RSP        	1	1	1	NORMAL15	NORMAL
UA_RSP         	0	0	0	SH9		ERROR
UA_RSP         	0	0	1	SH9		ERROR
UA_RSP         	0	1	0	SH9		ERROR
UA_RSP         	0	1	1	SH9		ERROR
UA_RSP         	1	0	0	SH9		ERROR
UA_RSP         	1	0	1	SH9		ERROR
UA_RSP         	1	1	0	SH9		ERROR
UA_RSP         	1	1	1	SH9		ERROR
DM_RSP         	0	0	0	SH6		ADM
DM_RSP         	0	0	1	SH6		ADM
DM_RSP         	0	1	0	SH6		ADM
DM_RSP         	0	1	1	SH6		ADM
DM_RSP         	1	0	0	SH6		ADM
DM_RSP         	1	0	1	SH6		ADM
DM_RSP         	1	1	0	SH6		ADM
DM_RSP         	1	1	1	SH6		ADM
FRMR_RSP       	0	0	0	SH5		RESET_WAIT
FRMR_RSP       	0	0	1	SH5		RESET_WAIT
FRMR_RSP       	0	1	0	SH5		RESET_WAIT
FRMR_RSP       	0	1	1	SH5		RESET_WAIT
FRMR_RSP       	1	0	0	SH5		RESET_WAIT
FRMR_RSP       	1	0	1	SH5		RESET_WAIT
FRMR_RSP       	1	1	0	SH5		RESET_WAIT
FRMR_RSP       	1	1	1	SH5		RESET_WAIT
BAD_FRAME      	0	0	0	SH7		ERROR
BAD_FRAME      	0	0	1	SH7		ERROR
BAD_FRAME      	0	1	0	SH7		ERROR
BAD_FRAME      	0	1	1	SH7		ERROR
BAD_FRAME      	1	0	0	SH7		ERROR
BAD_FRAME      	1	0	1	SH7		ERROR
BAD_FRAME      	1	1	0	SH7		ERROR
BAD_FRAME      	1	1	1	SH7		ERROR
;
;112 entries in table, 8 modified by tredit4 SABME_CMD x x x SH3 RESET_CHECK
;112 entries in table, 8 modified by tredit4 DISC_CMD x x x SH4 ADM
;112 entries in table, 8 modified by tredit4 FRMR_RSP x x x SH5 RESET_WAIT
;112 entries in table, 8 modified by tredit4 DM_RSP x x x SH6 ADM
;112 entries in table, 8 modified by tredit4 BAD_FRAME x x x SH7 ERROR
;112 entries in table, 8 modified by tredit4 UA_RSP x x x SH9 ERROR
;112 entries in table, 8 modified by tredit4 anyrsp x 1 0 SH10 ERROR
;112 entries in table, 1 modified by tredit4 I_CMD 1 0 0 NORMAL5 REJECT
;112 entries in table, 1 modified by tredit4 I_RSP 1 0 0 NORMAL5 REJECT
;112 entries in table, 1 modified by tredit4 I_RSP 1 1 1 NORMAL5 REJECT
;112 entries in table, 1 modified by tredit4 I_CMD 1 0 1 NORMAL6 REJECT
;112 entries in table, 1 modified by tredit4 I_RSP 1 0 1 NORMAL6 REJECT
;112 entries in table, 2 modified by tredit4 I_CMD 1 1 x NORMAL7 REJECT
;112 entries in table, 1 modified by tredit4 I_RSP x 1 1 NORMAL8A NORMAL
;112 entries in table, 1 modified by tredit4 I_RSP x 0 0 NORMAL8B NORMAL
;112 entries in table, 1 modified by tredit4 I_CMD x 0 0 NORMAL8B NORMAL
;112 entries in table, 1 modified by tredit4 I_RSP x 0 1 NORMAL9 NORMAL
;112 entries in table, 1 modified by tredit4 I_CMD x 0 1 NORMAL9 NORMAL
;112 entries in table, 2 modified by tredit4 I_CMD x 1 x NORMAL10 NORMAL
;112 entries in table, 4 modified by tredit4 RR_CMD x 0 x NORMAL11 NORMAL
;112 entries in table, 4 modified by tredit4 RR_RSP x 0 x NORMAL11 NORMAL
;112 entries in table, 2 modified by tredit4 RR_RSP x 1 1 NORMAL11 NORMAL
;112 entries in table, 4 modified by tredit4 RR_CMD x 1 x NORMAL12 NORMAL
;112 entries in table, 4 modified by tredit4 RNR_CMD x 0 x NORMAL13 NORMAL
;112 entries in table, 4 modified by tredit4 RNR_RSP x 0 x NORMAL13 NORMAL
;112 entries in table, 2 modified by tredit4 RNR_RSP x 1 1 NORMAL13 NORMAL
;112 entries in table, 4 modified by tredit4 RNR_CMD x 1 x NORMAL14 NORMAL
;112 entries in table, 2 modified by tredit4 REJ_CMD x 0 0 NORMAL15 NORMAL
;112 entries in table, 2 modified by tredit4 REJ_RSP x 1 1 NORMAL15 NORMAL
;112 entries in table, 2 modified by tredit4 REJ_RSP x 0 0 NORMAL15 NORMAL
;112 entries in table, 2 modified by tredit4 REJ_CMD x 0 1 NORMAL16 NORMAL
;112 entries in table, 2 modified by tredit4 REJ_RSP x 0 1 NORMAL16 NORMAL
;112 entries in table, 4 modified by tredit4 REJ_CMD x 1 x NORMAL17 NORMAL
;
TABLE BUSY
;Transition table for the BUSY state:
;
;frame type   uexpect   p bit     p_flag    
;received     N(S)      in frame            
;
I_CMD          	0	0	0	BUSY13	BUSY
I_CMD          	0	0	1	BUSY14	BUSY
I_CMD          	0	1	0	BUSY12	BUSY
I_CMD          	0	1	1	BUSY12	BUSY
I_CMD          	1	0	0	BUSY9	BUSY
I_CMD          	1	0	1	BUSY10	BUSY
I_CMD          	1	1	0	BUSY11	BUSY
I_CMD          	1	1	1	BUSY11	BUSY
RR_CMD         	0	0	0	BUSY15	BUSY
RR_CMD         	0	0	1	BUSY15	BUSY
RR_CMD         	0	1	0	BUSY16	BUSY
RR_CMD         	0	1	1	BUSY16	BUSY
RR_CMD         	1	0	0	BUSY15	BUSY
RR_CMD         	1	0	1	BUSY15	BUSY
RR_CMD         	1	1	0	BUSY16	BUSY
RR_CMD         	1	1	1	BUSY16	BUSY
RNR_CMD        	0	0	0	BUSY17	BUSY
RNR_CMD        	0	0	1	BUSY17	BUSY
RNR_CMD        	0	1	0	BUSY18	BUSY
RNR_CMD        	0	1	1	BUSY18	BUSY
RNR_CMD        	1	0	0	BUSY17	BUSY
RNR_CMD        	1	0	1	BUSY17	BUSY
RNR_CMD        	1	1	0	BUSY18	BUSY
RNR_CMD        	1	1	1	BUSY18	BUSY
REJ_CMD        	0	0	0	BUSY19	BUSY
REJ_CMD        	0	0	1	BUSY20	BUSY
REJ_CMD        	0	1	0	BUSY21	BUSY 
REJ_CMD        	0	1	1	BUSY21	BUSY 
REJ_CMD        	1	0	0	BUSY19	BUSY
REJ_CMD        	1	0	1	BUSY20	BUSY
REJ_CMD        	1	1	0	BUSY21	BUSY 
REJ_CMD        	1	1	1	BUSY21	BUSY 
DISC_CMD       	0	0	0	SH4	ADM
DISC_CMD       	0	0	1	SH4	ADM
DISC_CMD       	0	1	0	SH4	ADM
DISC_CMD       	0	1	1	SH4	ADM
DISC_CMD       	1	0	0	SH4	ADM
DISC_CMD       	1	0	1	SH4	ADM
DISC_CMD       	1	1	0	SH4	ADM
DISC_CMD       	1	1	1	SH4	ADM
SABME_CMD      	0	0	0	SH3	RESET_CHECK
SABME_CMD      	0	0	1	SH3	RESET_CHECK
SABME_CMD      	0	1	0	SH3	RESET_CHECK
SABME_CMD      	0	1	1	SH3	RESET_CHECK
SABME_CMD      	1	0	0	SH3	RESET_CHECK
SABME_CMD      	1	0	1	SH3	RESET_CHECK
SABME_CMD      	1	1	0	SH3	RESET_CHECK
SABME_CMD      	1	1	1	SH3	RESET_CHECK
I_RSP          	0	0	0	BUSY13	BUSY
I_RSP          	0	0	1	BUSY14	BUSY
I_RSP          	0	1	0	SH10	ERROR
I_RSP          	0	1	1	BUSY13	BUSY
I_RSP          	1	0	0	BUSY9	BUSY
I_RSP          	1	0	1	BUSY10	BUSY
I_RSP          	1	1	0	SH10	ERROR
I_RSP          	1	1	1	BUSY9	BUSY
RR_RSP         	0	0	0	BUSY15	BUSY
RR_RSP         	0	0	1	BUSY15	BUSY
RR_RSP         	0	1	0	SH10	ERROR
RR_RSP         	0	1	1	BUSY15	BUSY
RR_RSP         	1	0	0	BUSY15	BUSY
RR_RSP         	1	0	1	BUSY15	BUSY
RR_RSP         	1	1	0	SH10	ERROR
RR_RSP         	1	1	1	BUSY15	BUSY
RNR_RSP        	0	0	0	BUSY17	BUSY
RNR_RSP        	0	0	1	BUSY17	BUSY
RNR_RSP        	0	1	0	SH10	ERROR
RNR_RSP        	0	1	1	BUSY17	BUSY
RNR_RSP        	1	0	0	BUSY17	BUSY
RNR_RSP        	1	0	1	BUSY17	BUSY
RNR_RSP        	1	1	0	SH10	ERROR
RNR_RSP        	1	1	1	BUSY17	BUSY
REJ_RSP        	0	0	0	BUSY19	BUSY
REJ_RSP        	0	0	1	BUSY20	BUSY
REJ_RSP        	0	1	0	SH10	ERROR
REJ_RSP        	0	1	1	BUSY19	BUSY
REJ_RSP        	1	0	0	BUSY19	BUSY
REJ_RSP        	1	0	1	BUSY20	BUSY
REJ_RSP        	1	1	0	SH10	ERROR
REJ_RSP        	1	1	1	BUSY19	BUSY
UA_RSP         	0	0	0	SH9	ERROR
UA_RSP         	0	0	1	SH9	ERROR
UA_RSP         	0	1	0	SH9	ERROR
UA_RSP         	0	1	1	SH9	ERROR
UA_RSP         	1	0	0	SH9	ERROR
UA_RSP         	1	0	1	SH9	ERROR
UA_RSP         	1	1	0	SH9	ERROR
UA_RSP         	1	1	1	SH9	ERROR
DM_RSP         	0	0	0	SH6	ADM
DM_RSP         	0	0	1	SH6	ADM
DM_RSP         	0	1	0	SH6	ADM
DM_RSP         	0	1	1	SH6	ADM
DM_RSP         	1	0	0	SH6	ADM
DM_RSP         	1	0	1	SH6	ADM
DM_RSP         	1	1	0	SH6	ADM
DM_RSP         	1	1	1	SH6	ADM
FRMR_RSP       	0	0	0	SH5	RESET_WAIT
FRMR_RSP       	0	0	1	SH5	RESET_WAIT
FRMR_RSP       	0	1	0	SH5	RESET_WAIT
FRMR_RSP       	0	1	1	SH5	RESET_WAIT
FRMR_RSP       	1	0	0	SH5	RESET_WAIT
FRMR_RSP       	1	0	1	SH5	RESET_WAIT
FRMR_RSP       	1	1	0	SH5	RESET_WAIT
FRMR_RSP       	1	1	1	SH5	RESET_WAIT
BAD_FRAME      	0	0	0	SH7	ERROR
BAD_FRAME      	0	0	1	SH7	ERROR
BAD_FRAME      	0	1	0	SH7	ERROR
BAD_FRAME      	0	1	1	SH7	ERROR
BAD_FRAME      	1	0	0	SH7	ERROR
BAD_FRAME      	1	0	1	SH7	ERROR
BAD_FRAME      	1	1	0	SH7	ERROR
BAD_FRAME      	1	1	1	SH7	ERROR
;
;112 entries in table, 8 modified by tredit4 SABME_CMD x x x SH3 RESET_CHECK
;112 entries in table, 8 modified by tredit4 DISC_CMD x x x SH4 ADM
;112 entries in table, 8 modified by tredit4 FRMR_RSP x x x SH5 RESET_WAIT
;112 entries in table, 8 modified by tredit4 DM_RSP x x x SH6 ADM
;112 entries in table, 8 modified by tredit4 BAD_FRAME x x x SH7 ERROR
;112 entries in table, 8 modified by tredit4 UA_RSP x x x SH9 ERROR
;112 entries in table, 8 modified by tredit4 anyrsp x 1 0 SH10 ERROR
;112 entries in table, 1 modified by tredit4 I_RSP 1 0 0 BUSY9 BUSY
;112 entries in table, 1 modified by tredit4 I_RSP 1 1 1 BUSY9 BUSY
;112 entries in table, 1 modified by tredit4 I_CMD 1 0 0 BUSY9 BUSY
;112 entries in table, 1 modified by tredit4 I_RSP 1 0 1 BUSY10 BUSY
;112 entries in table, 1 modified by tredit4 I_CMD 1 0 1 BUSY10 BUSY
;112 entries in table, 2 modified by tredit4 I_CMD 1 1 x BUSY11 BUSY
;112 entries in table, 2 modified by tredit4 I_CMD x 1 x BUSY12 BUSY
;112 entries in table, 1 modified by tredit4 I_RSP x 0 0 BUSY13 BUSY
;112 entries in table, 1 modified by tredit4 I_RSP x 1 1 BUSY13 BUSY
;112 entries in table, 1 modified by tredit4 I_CMD x 0 0 BUSY13 BUSY
;112 entries in table, 1 modified by tredit4 I_RSP x 0 1 BUSY14 BUSY
;112 entries in table, 1 modified by tredit4 I_CMD x 0 1 BUSY14 BUSY
;112 entries in table, 4 modified by tredit4 RR_CMD x 0 x BUSY15 BUSY
;112 entries in table, 4 modified by tredit4 RR_RSP x 0 x BUSY15 BUSY
;112 entries in table, 2 modified by tredit4 RR_RSP x 1 1 BUSY15 BUSY
;112 entries in table, 4 modified by tredit4 RR_CMD x 1 x BUSY16 BUSY
;112 entries in table, 4 modified by tredit4 RNR_CMD x 0 x BUSY17 BUSY
;112 entries in table, 4 modified by tredit4 RNR_RSP x 0 x BUSY17 BUSY
;112 entries in table, 2 modified by tredit4 RNR_RSP x 1 1 BUSY17 BUSY
;112 entries in table, 4 modified by tredit4 RNR_CMD x 1 x BUSY18 BUSY
;112 entries in table, 2 modified by tredit4 REJ_CMD x 0 0 BUSY19 BUSY
;112 entries in table, 2 modified by tredit4 REJ_RSP x 0 0 BUSY19 BUSY
;112 entries in table, 2 modified by tredit4 REJ_RSP x 1 1 BUSY19 BUSY
;112 entries in table, 2 modified by tredit4 REJ_CMD x 0 1 BUSY20 BUSY
;112 entries in table, 2 modified by tredit4 REJ_RSP x 0 1 BUSY20 BUSY
;112 entries in table, 4 modified by tredit4 REJ_CMD x 1 x BUSY21 BUSY
;
TABLE REJECT
;Transition table for the REJECT state:
;
;frame type   uexpect   p bit     p_flag    
;received     N(S)      in frame            
;
I_CMD          	0	0	0	REJECT7		REJECT
I_CMD          	0	0	1	REJECT8		REJECT
I_CMD          	0	1	0	REJECT9		REJECT
I_CMD          	0	1	1	REJECT9		REJECT
I_CMD          	1	0	0	REJECT5		REJECT
I_CMD          	1	0	1	REJECT5		REJECT
I_CMD          	1	1	0	REJECT6		REJECT
I_CMD          	1	1	1	REJECT6		REJECT
RR_CMD         	0	0	0	REJECT10	REJECT
RR_CMD         	0	0	1	REJECT10	REJECT
RR_CMD         	0	1	0	REJECT11	REJECT
RR_CMD         	0	1	1	REJECT11	REJECT
RR_CMD         	1	0	0	REJECT10	REJECT
RR_CMD         	1	0	1	REJECT10	REJECT
RR_CMD         	1	1	0	REJECT11	REJECT
RR_CMD         	1	1	1	REJECT11	REJECT
RNR_CMD        	0	0	0	REJECT12	REJECT
RNR_CMD        	0	0	1	REJECT12	REJECT
RNR_CMD        	0	1	0	REJECT13	REJECT
RNR_CMD        	0	1	1	REJECT13	REJECT
RNR_CMD        	1	0	0	REJECT12	REJECT
RNR_CMD        	1	0	1	REJECT12	REJECT
RNR_CMD        	1	1	0	REJECT13	REJECT
RNR_CMD        	1	1	1	REJECT13	REJECT
REJ_CMD        	0	0	0	REJECT14	REJECT
REJ_CMD        	0	0	1	REJECT15	REJECT
REJ_CMD        	0	1	0	REJECT16	REJECT 
REJ_CMD        	0	1	1	REJECT16	REJECT 
REJ_CMD        	1	0	0	REJECT14	REJECT
REJ_CMD        	1	0	1	REJECT15	REJECT
REJ_CMD        	1	1	0	REJECT16	REJECT 
REJ_CMD        	1	1	1	REJECT16	REJECT 
DISC_CMD       	0	0	0	SH4		ADM
DISC_CMD       	0	0	1	SH4		ADM
DISC_CMD       	0	1	0	SH4		ADM
DISC_CMD       	0	1	1	SH4		ADM
DISC_CMD       	1	0	0	SH4		ADM
DISC_CMD       	1	0	1	SH4		ADM
DISC_CMD       	1	1	0	SH4		ADM
DISC_CMD       	1	1	1	SH4		ADM
SABME_CMD      	0	0	0	SH3		RESET_CHECK
SABME_CMD      	0	0	1	SH3		RESET_CHECK
SABME_CMD      	0	1	0	SH3		RESET_CHECK
SABME_CMD      	0	1	1	SH3		RESET_CHECK
SABME_CMD      	1	0	0	SH3		RESET_CHECK
SABME_CMD      	1	0	1	SH3		RESET_CHECK
SABME_CMD      	1	1	0	SH3		RESET_CHECK
SABME_CMD      	1	1	1	SH3		RESET_CHECK
I_RSP          	0	0	0	REJECT7		REJECT
I_RSP          	0	0	1	REJECT8		REJECT
I_RSP          	0	1	0	SH10		ERROR
I_RSP          	0	1	1	REJECT7		REJECT
I_RSP          	1	0	0	REJECT5		REJECT
I_RSP          	1	0	1	REJECT5		REJECT
I_RSP          	1	1	0	SH10		ERROR
I_RSP          	1	1	1	REJECT5		REJECT
RR_RSP         	0	0	0	REJECT10	REJECT
RR_RSP         	0	0	1	REJECT10	REJECT
RR_RSP         	0	1	0	SH10		ERROR
RR_RSP         	0	1	1	REJECT10	REJECT
RR_RSP         	1	0	0	REJECT10	REJECT
RR_RSP         	1	0	1	REJECT10	REJECT
RR_RSP         	1	1	0	SH10		ERROR
RR_RSP         	1	1	1	REJECT10	REJECT
RNR_RSP        	0	0	0	REJECT12	REJECT
RNR_RSP        	0	0	1	REJECT12	REJECT
RNR_RSP        	0	1	0	SH10		ERROR
RNR_RSP        	0	1	1	REJECT12	REJECT
RNR_RSP        	1	0	0	REJECT12	REJECT
RNR_RSP        	1	0	1	REJECT12	REJECT
RNR_RSP        	1	1	0	SH10		ERROR
RNR_RSP        	1	1	1	REJECT12	REJECT
REJ_RSP        	0	0	0	REJECT14	REJECT
REJ_RSP        	0	0	1	REJECT15	REJECT
REJ_RSP        	0	1	0	SH10		ERROR
REJ_RSP        	0	1	1	REJECT14	REJECT
REJ_RSP        	1	0	0	REJECT14	REJECT
REJ_RSP        	1	0	1	REJECT15	REJECT
REJ_RSP        	1	1	0	SH10		ERROR
REJ_RSP        	1	1	1	REJECT14	REJECT
UA_RSP         	0	0	0	SH9		ERROR
UA_RSP         	0	0	1	SH9		ERROR
UA_RSP         	0	1	0	SH9		ERROR
UA_RSP         	0	1	1	SH9		ERROR
UA_RSP         	1	0	0	SH9		ERROR
UA_RSP         	1	0	1	SH9		ERROR
UA_RSP         	1	1	0	SH9		ERROR
UA_RSP         	1	1	1	SH9		ERROR
DM_RSP         	0	0	0	SH6		ADM
DM_RSP         	0	0	1	SH6		ADM
DM_RSP         	0	1	0	SH6		ADM
DM_RSP         	0	1	1	SH6		ADM
DM_RSP         	1	0	0	SH6		ADM
DM_RSP         	1	0	1	SH6		ADM
DM_RSP         	1	1	0	SH6		ADM
DM_RSP         	1	1	1	SH6		ADM
FRMR_RSP       	0	0	0	SH5		RESET_WAIT
FRMR_RSP       	0	0	1	SH5		RESET_WAIT
FRMR_RSP       	0	1	0	SH5		RESET_WAIT
FRMR_RSP       	0	1	1	SH5		RESET_WAIT
FRMR_RSP       	1	0	0	SH5		RESET_WAIT
FRMR_RSP       	1	0	1	SH5		RESET_WAIT
FRMR_RSP       	1	1	0	SH5		RESET_WAIT
FRMR_RSP       	1	1	1	SH5		RESET_WAIT
BAD_FRAME      	0	0	0	SH7		ERROR
BAD_FRAME      	0	0	1	SH7		ERROR
BAD_FRAME      	0	1	0	SH7		ERROR
BAD_FRAME      	0	1	1	SH7		ERROR
BAD_FRAME      	1	0	0	SH7		ERROR
BAD_FRAME      	1	0	1	SH7		ERROR
BAD_FRAME      	1	1	0	SH7		ERROR
BAD_FRAME      	1	1	1	SH7		ERROR
;
;112 entries in table, 8 modified by tredit4 SABME_CMD x x x SH3 RESET_CHECK
;112 entries in table, 8 modified by tredit4 DISC_CMD x x x SH4 ADM
;112 entries in table, 8 modified by tredit4 FRMR_RSP x x x SH5 RESET_WAIT
;112 entries in table, 8 modified by tredit4 DM_RSP x x x SH6 ADM
;112 entries in table, 8 modified by tredit4 BAD_FRAME x x x SH7 ERROR
;112 entries in table, 8 modified by tredit4 UA_RSP x x x SH9 ERROR
;112 entries in table, 8 modified by tredit4 anyrsp x 1 0 SH10 ERROR
;112 entries in table, 2 modified by tredit4 I_CMD 1 0 x REJECT5 REJECT
;112 entries in table, 2 modified by tredit4 I_RSP 1 0 x REJECT5 REJECT
;112 entries in table, 1 modified by tredit4 I_RSP 1 1 1 REJECT5 REJECT
;112 entries in table, 2 modified by tredit4 I_CMD 1 1 x REJECT6 REJECT
;112 entries in table, 1 modified by tredit4 I_RSP x 1 1 REJECT7 REJECT
;112 entries in table, 1 modified by tredit4 I_RSP x 0 0 REJECT7 REJECT
;112 entries in table, 1 modified by tredit4 I_CMD x 0 0 REJECT7 REJECT
;112 entries in table, 1 modified by tredit4 I_RSP x 0 1 REJECT8 REJECT
;112 entries in table, 1 modified by tredit4 I_CMD x 0 1 REJECT8 REJECT
;112 entries in table, 2 modified by tredit4 I_CMD x 1 x REJECT9 REJECT
;112 entries in table, 4 modified by tredit4 RR_CMD x 0 x REJECT10 REJECT
;112 entries in table, 4 modified by tredit4 RR_RSP x 0 x REJECT10 REJECT
;112 entries in table, 2 modified by tredit4 RR_RSP x 1 1 REJECT10 REJECT
;112 entries in table, 4 modified by tredit4 RR_CMD x 1 x REJECT11 REJECT
;112 entries in table, 4 modified by tredit4 RNR_CMD x 0 x REJECT12 REJECT
;112 entries in table, 4 modified by tredit4 RNR_RSP x 0 x REJECT12 REJECT
;112 entries in table, 2 modified by tredit4 RNR_RSP x 1 1 REJECT12 REJECT
;112 entries in table, 4 modified by tredit4 RNR_CMD x 1 x REJECT13 REJECT
;112 entries in table, 2 modified by tredit4 REJ_CMD x 0 0 REJECT14 REJECT
;112 entries in table, 2 modified by tredit4 REJ_RSP x 0 0 REJECT14 REJECT
;112 entries in table, 2 modified by tredit4 REJ_RSP x 1 1 REJECT14 REJECT
;112 entries in table, 2 modified by tredit4 REJ_CMD x 0 1 REJECT15 REJECT
;112 entries in table, 2 modified by tredit4 REJ_RSP x 0 1 REJECT15 REJECT
;112 entries in table, 4 modified by tredit4 REJ_CMD x 1 x REJECT16 REJECT
;
TABLE AWAIT
;Transition table for the AWAIT state:
;
;frame type   uexpect   p bit     p_flag    
;received     N(S)      in frame            
;
I_CMD          	0	0	0	AWAIT6	AWAIT
I_CMD          	0	0	1	AWAIT6	AWAIT
I_CMD          	0	1	0	AWAIT7	AWAIT
I_CMD          	0	1	1	AWAIT7	AWAIT
I_CMD          	1	0	0	AWAIT3	AWAIT_REJECT
I_CMD          	1	0	1	AWAIT3	AWAIT_REJECT
I_CMD          	1	1	0	AWAIT4	AWAIT_REJECT
I_CMD          	1	1	1	AWAIT4	AWAIT_REJECT
RR_CMD         	0	0	0	AWAIT9	AWAIT
RR_CMD         	0	0	1	AWAIT9	AWAIT
RR_CMD         	0	1	0	AWAIT10	AWAIT
RR_CMD         	0	1	1	AWAIT10	AWAIT
RR_CMD         	1	0	0	AWAIT9	AWAIT
RR_CMD         	1	0	1	AWAIT9	AWAIT
RR_CMD         	1	1	0	AWAIT10	AWAIT
RR_CMD         	1	1	1	AWAIT10	AWAIT
RNR_CMD        	0	0	0	AWAIT12	AWAIT
RNR_CMD        	0	0	1	AWAIT12	AWAIT
RNR_CMD        	0	1	0	AWAIT13	AWAIT 
RNR_CMD        	0	1	1	AWAIT13	AWAIT 
RNR_CMD        	1	0	0	AWAIT12	AWAIT
RNR_CMD        	1	0	1	AWAIT12	AWAIT
RNR_CMD        	1	1	0	AWAIT13	AWAIT 
RNR_CMD        	1	1	1	AWAIT13	AWAIT 
REJ_CMD        	0	0	0	AWAIT9	AWAIT
REJ_CMD        	0	0	1	AWAIT9	AWAIT
REJ_CMD        	0	1	0	AWAIT10	AWAIT
REJ_CMD        	0	1	1	AWAIT10	AWAIT
REJ_CMD        	1	0	0	AWAIT9	AWAIT
REJ_CMD        	1	0	1	AWAIT9	AWAIT
REJ_CMD        	1	1	0	AWAIT10	AWAIT
REJ_CMD        	1	1	1	AWAIT10	AWAIT
DISC_CMD       	0	0	0	SH4	ADM
DISC_CMD       	0	0	1	SH4	ADM
DISC_CMD       	0	1	0	SH4	ADM
DISC_CMD       	0	1	1	SH4	ADM
DISC_CMD       	1	0	0	SH4	ADM
DISC_CMD       	1	0	1	SH4	ADM
DISC_CMD       	1	1	0	SH4	ADM
DISC_CMD       	1	1	1	SH4	ADM
SABME_CMD      	0	0	0	SH3	RESET_CHECK
SABME_CMD      	0	0	1	SH3	RESET_CHECK
SABME_CMD      	0	1	0	SH3	RESET_CHECK
SABME_CMD      	0	1	1	SH3	RESET_CHECK
SABME_CMD      	1	0	0	SH3	RESET_CHECK
SABME_CMD      	1	0	1	SH3	RESET_CHECK
SABME_CMD      	1	1	0	SH3	RESET_CHECK
SABME_CMD      	1	1	1	SH3	RESET_CHECK
I_RSP          	0	0	0	AWAIT6	AWAIT
I_RSP          	0	0	1	AWAIT6	AWAIT
I_RSP          	0	1	0	SH10	ERROR
I_RSP          	0	1	1	AWAIT5	NORMAL
I_RSP          	1	0	0	AWAIT3	AWAIT_REJECT
I_RSP          	1	0	1	AWAIT3	AWAIT_REJECT
I_RSP          	1	1	0	SH10	ERROR
I_RSP          	1	1	1	AWAIT2	REJECT
RR_RSP         	0	0	0	AWAIT9	AWAIT
RR_RSP         	0	0	1	AWAIT9	AWAIT
RR_RSP         	0	1	0	SH10	ERROR
RR_RSP         	0	1	1	AWAIT8	AWAIT
RR_RSP         	1	0	0	AWAIT9	AWAIT
RR_RSP         	1	0	1	AWAIT9	AWAIT
RR_RSP         	1	1	0	SH10	ERROR
RR_RSP         	1	1	1	AWAIT8	AWAIT
RNR_RSP        	0	0	0	AWAIT12	AWAIT
RNR_RSP        	0	0	1	AWAIT12	AWAIT
RNR_RSP        	0	1	0	SH10	ERROR
RNR_RSP        	0	1	1	AWAIT11	AWAIT
RNR_RSP        	1	0	0	AWAIT12	AWAIT
RNR_RSP        	1	0	1	AWAIT12	AWAIT
RNR_RSP        	1	1	0	SH10	ERROR
RNR_RSP        	1	1	1	AWAIT11	AWAIT
REJ_RSP        	0	0	0	AWAIT9	AWAIT
REJ_RSP        	0	0	1	AWAIT9	AWAIT
REJ_RSP        	0	1	0	SH10	ERROR
REJ_RSP        	0	1	1	AWAIT8	AWAIT
REJ_RSP        	1	0	0	AWAIT9	AWAIT
REJ_RSP        	1	0	1	AWAIT9	AWAIT
REJ_RSP        	1	1	0	SH10	ERROR
REJ_RSP        	1	1	1	AWAIT8	AWAIT
UA_RSP         	0	0	0	SH9	ERROR
UA_RSP         	0	0	1	SH9	ERROR
UA_RSP         	0	1	0	SH9	ERROR
UA_RSP         	0	1	1	SH9	ERROR
UA_RSP         	1	0	0	SH9	ERROR
UA_RSP         	1	0	1	SH9	ERROR
UA_RSP         	1	1	0	SH9	ERROR
UA_RSP         	1	1	1	SH9	ERROR
DM_RSP         	0	0	0	SH6	ADM
DM_RSP         	0	0	1	SH6	ADM
DM_RSP         	0	1	0	SH6	ADM
DM_RSP         	0	1	1	SH6	ADM
DM_RSP         	1	0	0	SH6	ADM
DM_RSP         	1	0	1	SH6	ADM
DM_RSP         	1	1	0	SH6	ADM
DM_RSP         	1	1	1	SH6	ADM
FRMR_RSP       	0	0	0	SH5	RESET_WAIT
FRMR_RSP       	0	0	1	SH5	RESET_WAIT
FRMR_RSP       	0	1	0	SH5	RESET_WAIT
FRMR_RSP       	0	1	1	SH5	RESET_WAIT
FRMR_RSP       	1	0	0	SH5	RESET_WAIT
FRMR_RSP       	1	0	1	SH5	RESET_WAIT
FRMR_RSP       	1	1	0	SH5	RESET_WAIT
FRMR_RSP       	1	1	1	SH5	RESET_WAIT
BAD_FRAME      	0	0	0	SH7	ERROR
BAD_FRAME      	0	0	1	SH7	ERROR
BAD_FRAME      	0	1	0	SH7	ERROR
BAD_FRAME      	0	1	1	SH7	ERROR
BAD_FRAME      	1	0	0	SH7	ERROR
BAD_FRAME      	1	0	1	SH7	ERROR
BAD_FRAME      	1	1	0	SH7	ERROR
BAD_FRAME      	1	1	1	SH7	ERROR
;
;112 entries in table, 8 modified by tredit4 SABME_CMD x x x SH3 RESET_CHECK
;112 entries in table, 8 modified by tredit4 DISC_CMD x x x SH4 ADM
;112 entries in table, 8 modified by tredit4 FRMR_RSP x x x SH5 RESET_WAIT
;112 entries in table, 8 modified by tredit4 DM_RSP x x x SH6 ADM
;112 entries in table, 8 modified by tredit4 BAD_FRAME x x x SH7 ERROR
;112 entries in table, 8 modified by tredit4 UA_RSP x x x SH9 ERROR
;112 entries in table, 8 modified by tredit4 anyrsp x 1 0 SH10 ERROR
;112 entries in table, 1 modified by tredit4 I_RSP 1 1 x AWAIT2 REJECT
;112 entries in table, 2 modified by tredit4 I_CMD 1 0 x AWAIT3 AWAIT_REJECT
;112 entries in table, 2 modified by tredit4 I_RSP 1 0 x AWAIT3 AWAIT_REJECT
;112 entries in table, 2 modified by tredit4 I_CMD 1 1 x AWAIT4 AWAIT_REJECT
;112 entries in table, 1 modified by tredit4 I_RSP x 1 x AWAIT5 NORMAL
;112 entries in table, 2 modified by tredit4 I_RSP x 0 x AWAIT6 AWAIT
;112 entries in table, 2 modified by tredit4 I_CMD x 0 x AWAIT6 AWAIT
;112 entries in table, 2 modified by tredit4 I_CMD x 1 x AWAIT7 AWAIT
;112 entries in table, 2 modified by tredit4 RR_RSP x 1 x AWAIT8 AWAIT
;112 entries in table, 2 modified by tredit4 REJ_RSP x 1 x AWAIT8 AWAIT
;112 entries in table, 4 modified by tredit4 RR_CMD x 0 x AWAIT9 AWAIT
;112 entries in table, 4 modified by tredit4 RR_RSP x 0 x AWAIT9 AWAIT
;112 entries in table, 4 modified by tredit4 REJ_CMD x 0 x AWAIT9 AWAIT
;112 entries in table, 4 modified by tredit4 REJ_RSP x 0 x AWAIT9 AWAIT
;112 entries in table, 4 modified by tredit4 RR_CMD x 1 x AWAIT10 AWAIT
;112 entries in table, 4 modified by tredit4 REJ_CMD x 1 x AWAIT10 AWAIT
;112 entries in table, 2 modified by tredit4 RNR_RSP x 1 x AWAIT11 AWAIT
;112 entries in table, 4 modified by tredit4 RNR_CMD x 0 x AWAIT12 AWAIT
;112 entries in table, 4 modified by tredit4 RNR_RSP x 0 x AWAIT12 AWAIT
;112 entries in table, 4 modified by tredit4 RNR_CMD x 1 x AWAIT13 AWAIT
;
TABLE AWAIT_BUSY
;Transition table for the AWAIT_BUSY state:
;
;frame type   uexpect   p bit     p_flag    
;received     N(S)      in frame            
;
I_CMD          	0	0	0	AWAIT_BUSY8	AWAIT_BUSY
I_CMD          	0	0	1	AWAIT_BUSY8	AWAIT_BUSY
I_CMD          	0	1	0	AWAIT_BUSY9	AWAIT_BUSY
I_CMD          	0	1	1	AWAIT_BUSY9	AWAIT_BUSY
I_CMD          	1	0	0	AWAIT_BUSY5	AWAIT_BUSY
I_CMD          	1	0	1	AWAIT_BUSY5	AWAIT_BUSY
I_CMD          	1	1	0	AWAIT_BUSY6	AWAIT_BUSY
I_CMD          	1	1	1	AWAIT_BUSY6	AWAIT_BUSY
RR_CMD         	0	0	0	AWAIT_BUSY11	AWAIT_BUSY
RR_CMD         	0	0	1	AWAIT_BUSY11	AWAIT_BUSY
RR_CMD         	0	1	0	AWAIT_BUSY12	AWAIT_BUSY
RR_CMD         	0	1	1	AWAIT_BUSY12	AWAIT_BUSY
RR_CMD         	1	0	0	AWAIT_BUSY11	AWAIT_BUSY
RR_CMD         	1	0	1	AWAIT_BUSY11	AWAIT_BUSY
RR_CMD         	1	1	0	AWAIT_BUSY12	AWAIT_BUSY
RR_CMD         	1	1	1	AWAIT_BUSY12	AWAIT_BUSY
RNR_CMD        	0	0	0	AWAIT_BUSY14	AWAIT_BUSY
RNR_CMD        	0	0	1	AWAIT_BUSY14	AWAIT_BUSY
RNR_CMD        	0	1	0	AWAIT_BUSY15	AWAIT_BUSY 
RNR_CMD        	0	1	1	AWAIT_BUSY15	AWAIT_BUSY 
RNR_CMD        	1	0	0	AWAIT_BUSY14	AWAIT_BUSY
RNR_CMD        	1	0	1	AWAIT_BUSY14	AWAIT_BUSY
RNR_CMD        	1	1	0	AWAIT_BUSY15	AWAIT_BUSY 
RNR_CMD        	1	1	1	AWAIT_BUSY15	AWAIT_BUSY 
REJ_CMD        	0	0	0	AWAIT_BUSY11	AWAIT_BUSY
REJ_CMD        	0	0	1	AWAIT_BUSY11	AWAIT_BUSY
REJ_CMD        	0	1	0	AWAIT_BUSY12	AWAIT_BUSY
REJ_CMD        	0	1	1	AWAIT_BUSY12	AWAIT_BUSY
REJ_CMD        	1	0	0	AWAIT_BUSY11	AWAIT_BUSY
REJ_CMD        	1	0	1	AWAIT_BUSY11	AWAIT_BUSY
REJ_CMD        	1	1	0	AWAIT_BUSY12	AWAIT_BUSY
REJ_CMD        	1	1	1	AWAIT_BUSY12	AWAIT_BUSY
DISC_CMD       	0	0	0	SH4		ADM
DISC_CMD       	0	0	1	SH4		ADM
DISC_CMD       	0	1	0	SH4		ADM
DISC_CMD       	0	1	1	SH4		ADM
DISC_CMD       	1	0	0	SH4		ADM
DISC_CMD       	1	0	1	SH4		ADM
DISC_CMD       	1	1	0	SH4		ADM
DISC_CMD       	1	1	1	SH4		ADM
SABME_CMD      	0	0	0	SH3		RESET_CHECK
SABME_CMD      	0	0	1	SH3		RESET_CHECK
SABME_CMD      	0	1	0	SH3		RESET_CHECK
SABME_CMD      	0	1	1	SH3		RESET_CHECK
SABME_CMD      	1	0	0	SH3		RESET_CHECK
SABME_CMD      	1	0	1	SH3		RESET_CHECK
SABME_CMD      	1	1	0	SH3		RESET_CHECK
SABME_CMD      	1	1	1	SH3		RESET_CHECK
I_RSP          	0	0	0	AWAIT_BUSY8	AWAIT_BUSY
I_RSP          	0	0	1	AWAIT_BUSY8	AWAIT_BUSY
I_RSP          	0	1	0	SH10		ERROR
I_RSP          	0	1	1	AWAIT_BUSY7	BUSY
I_RSP          	1	0	0	AWAIT_BUSY5	AWAIT_BUSY
I_RSP          	1	0	1	AWAIT_BUSY5	AWAIT_BUSY
I_RSP          	1	1	0	SH10		ERROR
I_RSP          	1	1	1	AWAIT_BUSY4	BUSY
RR_RSP         	0	0	0	AWAIT_BUSY11	AWAIT_BUSY
RR_RSP         	0	0	1	AWAIT_BUSY11	AWAIT_BUSY
RR_RSP         	0	1	0	SH10		ERROR
RR_RSP         	0	1	1	AWAIT_BUSY10	BUSY
RR_RSP         	1	0	0	AWAIT_BUSY11	AWAIT_BUSY
RR_RSP         	1	0	1	AWAIT_BUSY11	AWAIT_BUSY
RR_RSP         	1	1	0	SH10		ERROR
RR_RSP         	1	1	1	AWAIT_BUSY10	BUSY
RNR_RSP        	0	0	0	AWAIT_BUSY14	AWAIT_BUSY
RNR_RSP        	0	0	1	AWAIT_BUSY14	AWAIT_BUSY
RNR_RSP        	0	1	0	SH10		ERROR
RNR_RSP        	0	1	1	AWAIT_BUSY13	BUSY
RNR_RSP        	1	0	0	AWAIT_BUSY14	AWAIT_BUSY
RNR_RSP        	1	0	1	AWAIT_BUSY14	AWAIT_BUSY
RNR_RSP        	1	1	0	SH10		ERROR
RNR_RSP        	1	1	1	AWAIT_BUSY13	BUSY
REJ_RSP        	0	0	0	AWAIT_BUSY11	AWAIT_BUSY
REJ_RSP        	0	0	1	AWAIT_BUSY11	AWAIT_BUSY
REJ_RSP        	0	1	0	SH10		ERROR
REJ_RSP        	0	1	1	AWAIT_BUSY10	BUSY
REJ_RSP        	1	0	0	AWAIT_BUSY11	AWAIT_BUSY
REJ_RSP        	1	0	1	AWAIT_BUSY11	AWAIT_BUSY
REJ_RSP        	1	1	0	SH10		ERROR
REJ_RSP        	1	1	1	AWAIT_BUSY10	BUSY
UA_RSP         	0	0	0	SH9		ERROR
UA_RSP         	0	0	1	SH9		ERROR
UA_RSP         	0	1	0	SH9		ERROR
UA_RSP         	0	1	1	SH9		ERROR
UA_RSP         	1	0	0	SH9		ERROR
UA_RSP         	1	0	1	SH9		ERROR
UA_RSP         	1	1	0	SH9		ERROR
UA_RSP         	1	1	1	SH9		ERROR
DM_RSP         	0	0	0	SH6		ADM
DM_RSP         	0	0	1	SH6		ADM
DM_RSP         	0	1	0	SH6		ADM
DM_RSP         	0	1	1	SH6		ADM
DM_RSP         	1	0	0	SH6		ADM
DM_RSP         	1	0	1	SH6		ADM
DM_RSP         	1	1	0	SH6		ADM
DM_RSP         	1	1	1	SH6		ADM
FRMR_RSP       	0	0	0	SH5		RESET_WAIT
FRMR_RSP       	0	0	1	SH5		RESET_WAIT
FRMR_RSP       	0	1	0	SH5		RESET_WAIT
FRMR_RSP       	0	1	1	SH5		RESET_WAIT
FRMR_RSP       	1	0	0	SH5		RESET_WAIT
FRMR_RSP       	1	0	1	SH5		RESET_WAIT
FRMR_RSP       	1	1	0	SH5		RESET_WAIT
FRMR_RSP       	1	1	1	SH5		RESET_WAIT
BAD_FRAME      	0	0	0	SH7		ERROR
BAD_FRAME      	0	0	1	SH7		ERROR
BAD_FRAME      	0	1	0	SH7		ERROR
BAD_FRAME      	0	1	1	SH7		ERROR
BAD_FRAME      	1	0	0	SH7		ERROR
BAD_FRAME      	1	0	1	SH7		ERROR
BAD_FRAME      	1	1	0	SH7		ERROR
BAD_FRAME      	1	1	1	SH7		ERROR
;
;112 entries in table, 8 modified by tredit4 SABME_CMD x x x SH3 RESET_CHECK
;112 entries in table, 8 modified by tredit4 DISC_CMD x x x SH4 ADM
;112 entries in table, 8 modified by tredit4 FRMR_RSP x x x SH5 RESET_WAIT
;112 entries in table, 8 modified by tredit4 DM_RSP x x x SH6 ADM
;112 entries in table, 8 modified by tredit4 BAD_FRAME x x x SH7 ERROR
;112 entries in table, 8 modified by tredit4 UA_RSP x x x SH9 ERROR
;112 entries in table, 8 modified by tredit4 anyrsp x 1 0 SH10 ERROR
;112 entries in table, 1 modified by tredit4 I_RSP 1 1 x AWAIT_BUSY4 BUSY
;112 entries in table, 2 modified by tredit4 I_CMD 1 0 x AWAIT_BUSY5 AWAIT_BUSY
;112 entries in table, 2 modified by tredit4 I_RSP 1 0 x AWAIT_BUSY5 AWAIT_BUSY
;112 entries in table, 2 modified by tredit4 I_CMD 1 1 x AWAIT_BUSY6 AWAIT_BUSY
;112 entries in table, 1 modified by tredit4 I_RSP x 1 x AWAIT_BUSY7 BUSY
;112 entries in table, 2 modified by tredit4 I_RSP x 0 x AWAIT_BUSY8 AWAIT_BUSY
;112 entries in table, 2 modified by tredit4 I_CMD x 0 x AWAIT_BUSY8 AWAIT_BUSY
;112 entries in table, 2 modified by tredit4 I_CMD x 1 x AWAIT_BUSY9 AWAIT_BUSY
;112 entries in table, 2 modified by tredit4 RR_RSP x 1 x AWAIT_BUSY10 BUSY
;112 entries in table, 2 modified by tredit4 REJ_RSP x 1 x AWAIT_BUSY10 BUSY
;112 entries in table, 4 modified by tredit4 RR_CMD x 0 x AWAIT_BUSY11 AWAIT_BUSY
;112 entries in table, 4 modified by tredit4 RR_RSP x 0 x AWAIT_BUSY11 AWAIT_BUSY
;112 entries in table, 4 modified by tredit4 REJ_CMD x 0 x AWAIT_BUSY11 AWAIT_BUSY
;112 entries in table, 4 modified by tredit4 REJ_RSP x 0 x AWAIT_BUSY11 AWAIT_BUSY
;112 entries in table, 4 modified by tredit4 RR_CMD x 1 x AWAIT_BUSY12 AWAIT_BUSY
;112 entries in table, 4 modified by tredit4 REJ_CMD x 1 x AWAIT_BUSY12 AWAIT_BUSY
;112 entries in table, 2 modified by tredit4 RNR_RSP x 1 x AWAIT_BUSY13 BUSY
;112 entries in table, 4 modified by tredit4 RNR_CMD x 0 x AWAIT_BUSY14 AWAIT_BUSY
;112 entries in table, 4 modified by tredit4 RNR_RSP x 0 x AWAIT_BUSY14 AWAIT_BUSY
;112 entries in table, 4 modified by tredit4 RNR_CMD x 1 x AWAIT_BUSY15 AWAIT_BUSY
;
TABLE AWAIT_REJECT
;Transition table for the AWAIT_REJECT state:
;
;frame type   uexpect   p bit     p_flag    
;received     N(S)      in frame            
;
I_CMD          	0	0	0	AWAIT_REJECT5	AWAIT
I_CMD          	0	0	1	AWAIT_REJECT5	AWAIT
I_CMD          	0	1	0	AWAIT_REJECT6	AWAIT
I_CMD          	0	1	1	AWAIT_REJECT6	AWAIT
I_CMD          	1	0	0	AWAIT_REJECT2	AWAIT_REJECT
I_CMD          	1	0	1	AWAIT_REJECT2	AWAIT_REJECT
I_CMD          	1	1	0	AWAIT_REJECT3	AWAIT_REJECT
I_CMD          	1	1	1	AWAIT_REJECT3	AWAIT_REJECT
RR_CMD         	0	0	0	AWAIT_REJECT8	AWAIT_REJECT
RR_CMD         	0	0	1	AWAIT_REJECT8	AWAIT_REJECT
RR_CMD         	0	1	0	AWAIT_REJECT9	AWAIT_REJECT
RR_CMD         	0	1	1	AWAIT_REJECT9	AWAIT_REJECT
RR_CMD         	1	0	0	AWAIT_REJECT8	AWAIT_REJECT
RR_CMD         	1	0	1	AWAIT_REJECT8	AWAIT_REJECT
RR_CMD         	1	1	0	AWAIT_REJECT9	AWAIT_REJECT
RR_CMD         	1	1	1	AWAIT_REJECT9	AWAIT_REJECT
RNR_CMD        	0	0	0	AWAIT_REJECT11	AWAIT_REJECT
RNR_CMD        	0	0	1	AWAIT_REJECT11	AWAIT_REJECT
RNR_CMD        	0	1	0	AWAIT_REJECT12	AWAIT_REJECT
RNR_CMD        	0	1	1	AWAIT_REJECT12	AWAIT_REJECT
RNR_CMD        	1	0	0	AWAIT_REJECT11	AWAIT_REJECT
RNR_CMD        	1	0	1	AWAIT_REJECT11	AWAIT_REJECT
RNR_CMD        	1	1	0	AWAIT_REJECT12	AWAIT_REJECT
RNR_CMD        	1	1	1	AWAIT_REJECT12	AWAIT_REJECT
REJ_CMD        	0	0	0	AWAIT_REJECT8	AWAIT_REJECT
REJ_CMD        	0	0	1	AWAIT_REJECT8	AWAIT_REJECT
REJ_CMD        	0	1	0	AWAIT_REJECT9	AWAIT_REJECT
REJ_CMD        	0	1	1	AWAIT_REJECT9	AWAIT_REJECT
REJ_CMD        	1	0	0	AWAIT_REJECT8	AWAIT_REJECT
REJ_CMD        	1	0	1	AWAIT_REJECT8	AWAIT_REJECT
REJ_CMD        	1	1	0	AWAIT_REJECT9	AWAIT_REJECT
REJ_CMD        	1	1	1	AWAIT_REJECT9	AWAIT_REJECT
DISC_CMD       	0	0	0	SH4	ADM
DISC_CMD       	0	0	1	SH4	ADM
DISC_CMD       	0	1	0	SH4	ADM
DISC_CMD       	0	1	1	SH4	ADM
DISC_CMD       	1	0	0	SH4	ADM
DISC_CMD       	1	0	1	SH4	ADM
DISC_CMD       	1	1	0	SH4	ADM
DISC_CMD       	1	1	1	SH4	ADM
SABME_CMD      	0	0	0	SH3	RESET_CHECK
SABME_CMD      	0	0	1	SH3	RESET_CHECK
SABME_CMD      	0	1	0	SH3	RESET_CHECK
SABME_CMD      	0	1	1	SH3	RESET_CHECK
SABME_CMD      	1	0	0	SH3	RESET_CHECK
SABME_CMD      	1	0	1	SH3	RESET_CHECK
SABME_CMD      	1	1	0	SH3	RESET_CHECK
SABME_CMD      	1	1	1	SH3	RESET_CHECK
I_RSP          	0	0	0	AWAIT_REJECT5	AWAIT
I_RSP          	0	0	1	AWAIT_REJECT5	AWAIT
I_RSP          	0	1	0	SH10	ERROR
I_RSP          	0	1	1	AWAIT_REJECT4	NORMAL
I_RSP          	1	0	0	AWAIT_REJECT2	AWAIT_REJECT
I_RSP          	1	0	1	AWAIT_REJECT2	AWAIT_REJECT
I_RSP          	1	1	0	SH10	ERROR
I_RSP          	1	1	1	AWAIT_REJECT4	NORMAL
RR_RSP         	0	0	0	AWAIT_REJECT8	AWAIT_REJECT
RR_RSP         	0	0	1	AWAIT_REJECT8	AWAIT_REJECT
RR_RSP         	0	1	0	SH10	ERROR
RR_RSP         	0	1	1	AWAIT_REJECT7	REJECT
RR_RSP         	1	0	0	AWAIT_REJECT8	AWAIT_REJECT
RR_RSP         	1	0	1	AWAIT_REJECT8	AWAIT_REJECT
RR_RSP         	1	1	0	SH10	ERROR
RR_RSP         	1	1	1	AWAIT_REJECT7	REJECT
RNR_RSP        	0	0	0	AWAIT_REJECT11	AWAIT_REJECT
RNR_RSP        	0	0	1	AWAIT_REJECT11	AWAIT_REJECT
RNR_RSP        	0	1	0	SH10	ERROR
RNR_RSP        	0	1	1	AWAIT_REJECT10	REJECT
RNR_RSP        	1	0	0	AWAIT_REJECT11	AWAIT_REJECT
RNR_RSP        	1	0	1	AWAIT_REJECT11	AWAIT_REJECT
RNR_RSP        	1	1	0	SH10	ERROR
RNR_RSP        	1	1	1	AWAIT_REJECT10	REJECT
REJ_RSP        	0	0	0	AWAIT_REJECT8	AWAIT_REJECT
REJ_RSP        	0	0	1	AWAIT_REJECT8	AWAIT_REJECT
REJ_RSP        	0	1	0	SH10	ERROR
REJ_RSP        	0	1	1	AWAIT_REJECT7	REJECT
REJ_RSP        	1	0	0	AWAIT_REJECT8	AWAIT_REJECT
REJ_RSP        	1	0	1	AWAIT_REJECT8	AWAIT_REJECT
REJ_RSP        	1	1	0	SH10	ERROR
REJ_RSP        	1	1	1	AWAIT_REJECT7	REJECT
UA_RSP         	0	0	0	SH9	ERROR
UA_RSP         	0	0	1	SH9	ERROR
UA_RSP         	0	1	0	SH9	ERROR
UA_RSP         	0	1	1	SH9	ERROR
UA_RSP         	1	0	0	SH9	ERROR
UA_RSP         	1	0	1	SH9	ERROR
UA_RSP         	1	1	0	SH9	ERROR
UA_RSP         	1	1	1	SH9	ERROR
DM_RSP         	0	0	0	SH6	ADM
DM_RSP         	0	0	1	SH6	ADM
DM_RSP         	0	1	0	SH6	ADM
DM_RSP         	0	1	1	SH6	ADM
DM_RSP         	1	0	0	SH6	ADM
DM_RSP         	1	0	1	SH6	ADM
DM_RSP         	1	1	0	SH6	ADM
DM_RSP         	1	1	1	SH6	ADM
FRMR_RSP       	0	0	0	SH5	RESET_WAIT
FRMR_RSP       	0	0	1	SH5	RESET_WAIT
FRMR_RSP       	0	1	0	SH5	RESET_WAIT
FRMR_RSP       	0	1	1	SH5	RESET_WAIT
FRMR_RSP       	1	0	0	SH5	RESET_WAIT
FRMR_RSP       	1	0	1	SH5	RESET_WAIT
FRMR_RSP       	1	1	0	SH5	RESET_WAIT
FRMR_RSP       	1	1	1	SH5	RESET_WAIT
BAD_FRAME      	0	0	0	SH7	ERROR
BAD_FRAME      	0	0	1	SH7	ERROR
BAD_FRAME      	0	1	0	SH7	ERROR
BAD_FRAME      	0	1	1	SH7	ERROR
BAD_FRAME      	1	0	0	SH7	ERROR
BAD_FRAME      	1	0	1	SH7	ERROR
BAD_FRAME      	1	1	0	SH7	ERROR
BAD_FRAME      	1	1	1	SH7	ERROR
;
;112 entries in table, 8 modified by tredit4 SABME_CMD x x x SH3 RESET_CHECK
;112 entries in table, 8 modified by tredit4 DISC_CMD x x x SH4 ADM
;112 entries in table, 8 modified by tredit4 FRMR_RSP x x x SH5 RESET_WAIT
;112 entries in table, 8 modified by tredit4 DM_RSP x x x SH6 ADM
;112 entries in table, 8 modified by tredit4 BAD_FRAME x x x SH7 ERROR
;112 entries in table, 8 modified by tredit4 UA_RSP x x x SH9 ERROR
;112 entries in table, 8 modified by tredit4 anyrsp x 1 0 SH10 ERROR
;112 entries in table, 2 modified by tredit4 I_CMD 1 0 x AWAIT_REJECT2 AWAIT_REJECT
;112 entries in table, 2 modified by tredit4 I_RSP 1 0 x AWAIT_REJECT2 AWAIT_REJECT
;112 entries in table, 2 modified by tredit4 I_CMD 1 1 x AWAIT_REJECT3 AWAIT_REJECT
;112 entries in table, 2 modified by tredit4 I_RSP x 1 x AWAIT_REJECT4 NORMAL
;112 entries in table, 2 modified by tredit4 I_RSP x 0 x AWAIT_REJECT5 AWAIT
;112 entries in table, 2 modified by tredit4 I_CMD x 0 x AWAIT_REJECT5 AWAIT
;112 entries in table, 2 modified by tredit4 I_CMD x 1 x AWAIT_REJECT6 AWAIT
;112 entries in table, 2 modified by tredit4 RR_RSP x 1 x AWAIT_REJECT7 REJECT
;112 entries in table, 2 modified by tredit4 REJ_RSP x 1 x AWAIT_REJECT7 REJECT
;112 entries in table, 0 modified by tredit4 I_RSP 1 1 x AWAIT_REJECT7 REJECT
;112 entries in table, 4 modified by tredit4 RR_CMD x 0 x AWAIT_REJECT8 AWAIT_REJECT
;112 entries in table, 4 modified by tredit4 RR_RSP x 0 x AWAIT_REJECT8 AWAIT_REJECT
;112 entries in table, 4 modified by tredit4 REJ_CMD x 0 x AWAIT_REJECT8 AWAIT_REJECT
;112 entries in table, 4 modified by tredit4 REJ_RSP x 0 x AWAIT_REJECT8 AWAIT_REJECT
;112 entries in table, 4 modified by tredit4 RR_CMD x 1 x AWAIT_REJECT9 AWAIT_REJECT
;112 entries in table, 4 modified by tredit4 REJ_CMD x 1 x AWAIT_REJECT9 AWAIT_REJECT
;112 entries in table, 2 modified by tredit4 RNR_RSP x 1 x AWAIT_REJECT10 REJECT
;112 entries in table, 4 modified by tredit4 RNR_CMD x 0 x AWAIT_REJECT11 AWAIT_REJECT
;112 entries in table, 4 modified by tredit4 RNR_RSP x 0 x AWAIT_REJECT11 AWAIT_REJECT
;112 entries in table, 4 modified by tredit4 RNR_CMD x 1 x AWAIT_REJECT12 AWAIT_REJECT
;112 entries in table, 0 modified by tredit4 RNR_CMD x 1 x AWAIT_REJECT15 AWAIT_BUSY