DataMuseum.dk

top - metrics - download

    Length: 1019 (0x3fb)
    Types: TextFile
    Names: »sector5.h«

└─⟦3d0c2be1b⟧ Bits:30001254 ISODE-5.0 Tape
    └─⟦eba4602b1⟧ »./isode-5.0.tar.Z« 
        └─⟦d3ac74d73⟧ 
            └─⟦this⟧ »isode-5.0/vt/sector5.h« 

TextFile

/* sector5.h - VTPM: FSM sector 5 definitions */

/* 
 * $Header: /f/osi/vt/RCS/sector5.h,v 6.0 89/03/18 23:46:15 mrose Rel $
 *
 *
 * $Log:	sector5.h,v $
 * Revision 6.0  89/03/18  23:46:15  mrose
 * Release 5.0
 * 
 */

/*
 *				  NOTICE
 *
 *    Acquisition, use, and distribution of this module and related
 *    materials are subject to the restrictions of a license agreement.
 *    Consult the Preface in the User's Manual for the full terms of
 *    this agreement.
 *
 */


typedef struct expl_ptr {
#define NULLCOORD  -1
	int xval;	/* if they don't exist = NULLCOORD */
	int yval;
	int zval;
} EXPL_PTR;

#define NOBKTOK	   -1  		/* for token in S mode */

typedef struct bkq_content {
	int token_val; /* 0 initiator, 1 acceptor, 2 accChoice or nobktok */
	EXPL_PTR ExplPtr;
} BKQ_content;


typedef struct bkr_content {
	int token_val; /* 0 initiator, 1 acceptor or nobktok */
	EXPL_PTR ExplPtr;
} BKR_content;

typedef struct br_cnt {
	BKQ_content	BKQcont;
	BKR_content	BKRcont;
	EXPL_PTR 	ExPtr;
} BRcnt;