#include <mioInt.h>
Data Fields | |
char * | pName |
int | nGates |
Mio_Gate_t * | pGates |
Mio_Gate_t * | pGate0 |
Mio_Gate_t * | pGate1 |
Mio_Gate_t * | pGateBuf |
Mio_Gate_t * | pGateInv |
Mio_Gate_t * | pGateNand2 |
Mio_Gate_t * | pGateAnd2 |
st_table * | tName2Gate |
DdManager * | dd |
Extra_MmFlex_t * | pMmFlex |
Vec_Str_t * | vCube |
STRUCTURE DEFINITIONS ///
Definition at line 53 of file mioInt.h.