diff options
Diffstat (limited to 'src/map/mio/mioInt.h')
| -rw-r--r-- | src/map/mio/mioInt.h | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/map/mio/mioInt.h b/src/map/mio/mioInt.h index 3f90b625..654b7e19 100644 --- a/src/map/mio/mioInt.h +++ b/src/map/mio/mioInt.h @@ -54,6 +54,8 @@ struct Mio_LibraryStruct_t_ { char * pName; // the name of the library int nGates; // the number of the gates + Mio_Gate_t ** ppGates0; // the array of gates in the original order + Mio_Gate_t ** ppGatesName; // the array of gates sorted by name Mio_Gate_t * pGates; // the linked list of all gates in no particular order Mio_Gate_t * pGate0; // the constant zero gate Mio_Gate_t * pGate1; // the constant one gate @@ -84,7 +86,8 @@ struct Mio_GateStruct_t_ int nInputs; // the number of inputs double dDelayMax; // the maximum delay DdNode * bFunc; // the functionality - char * pSop; + char * pSop; // sum-of-products + int Value; // user's information }; struct Mio_PinStruct_t_ |