Data Fields | |
char * | pName |
int | nVarsMax |
int | nMints |
int | nLevels |
float | tDelayMax |
float | tAreaMax |
int | fSkipInv |
int | fWriteOldFormat |
int | fVerbose |
Super_Gate_t * | pInputs [10] |
int | nGates |
Super_Gate_t ** | pGates |
stmm_table * | tTable |
Extra_MmFixed_t * | pMem |
Extra_MmFlex_t * | pMemFlex |
int | nTried |
int | nAdded |
int | nRemoved |
int | nUnique |
int | nLookups |
int | nAliases |
int | Time |
int | TimeLimit |
int | TimeSec |
int | TimeStop |
int | TimePrint |
Definition at line 35 of file superGate.c.
Definition at line 44 of file superGate.c.
Definition at line 46 of file superGate.c.
Definition at line 45 of file superGate.c.
Definition at line 60 of file superGate.c.
Definition at line 64 of file superGate.c.
Definition at line 50 of file superGate.c.
Definition at line 41 of file superGate.c.
Definition at line 63 of file superGate.c.
Definition at line 40 of file superGate.c.
Definition at line 61 of file superGate.c.
Definition at line 59 of file superGate.c.
Definition at line 62 of file superGate.c.
Definition at line 39 of file superGate.c.
Definition at line 51 of file superGate.c.
Definition at line 49 of file superGate.c.
Definition at line 55 of file superGate.c.
Definition at line 56 of file superGate.c.
Definition at line 38 of file superGate.c.
Definition at line 43 of file superGate.c.
Definition at line 42 of file superGate.c.
Definition at line 67 of file superGate.c.
Definition at line 68 of file superGate.c.
Definition at line 71 of file superGate.c.
Definition at line 69 of file superGate.c.
Definition at line 70 of file superGate.c.
Definition at line 52 of file superGate.c.