datadef.h

来自「Static Timing Analyzer」· C头文件 代码 · 共 55 行

#include <stdio.h>
#include <string.h>

#ifndef FALSE
#define FALSE  0
#endif
#ifndef TRUE
#define TRUE  1
#endif

/* define structure type */
typedef char Boolean;
typedef unsigned int GateId;

typedef enum GateType {
  Unknown,
  InGate,
  OutGate,
  InvGate,
  AndGate,
  OrGate,
  NandGate,
  NorGate,
  XorGate,
  XnorGate
} GateType;

struct GateList;
typedef struct Gate {
   GateId id;                // ID number of this gate
   GateType type;            // Gate type
   int inno;                 // number of inputs
   int outno;                // number of outputs
   struct GateList *fanout;  // link list of fanout gates
   int inready;              // number of inputs that have been evaluated
   int bdelay;               // maximum delay until now
   int sdelay;               // minimum delay until now
   struct Gate *bpath;       // the previous gate of maximum delay path
   struct Gate *spath;       // the previous gate of minimum delay path
} Gate;

typedef struct GateList {
   Gate *cgate;
   struct GateList *next;
} GateList;

/* define functions */
class idAVLTree;
Boolean readgate(FILE *fp, GateList **inlist, idAVLTree *pool);
void sdelay(GateList *inlist, Gate *outg);

/* define AVLTree */
#include "avltree.h"