summaryrefslogtreecommitdiffstats
path: root/src/map/mio/mioApi.c
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2011-03-30 21:02:29 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2011-03-30 21:02:29 -0700
commit1794bd37cddc9ba24b9b1f517ee813e238f62ae4 (patch)
tree47d2163e1a03f15c33c90682374c611e56426159 /src/map/mio/mioApi.c
parent02f7ede7c6d605ca58cbdd882d1818c7a274f5bc (diff)
downloadabc-1794bd37cddc9ba24b9b1f517ee813e238f62ae4.tar.gz
abc-1794bd37cddc9ba24b9b1f517ee813e238f62ae4.tar.bz2
abc-1794bd37cddc9ba24b9b1f517ee813e238f62ae4.zip
Made gate library package Mio independent of CUDD.
Diffstat (limited to 'src/map/mio/mioApi.c')
-rw-r--r--src/map/mio/mioApi.c6
1 files changed, 4 insertions, 2 deletions
diff --git a/src/map/mio/mioApi.c b/src/map/mio/mioApi.c
index 9b267c30..927a01ea 100644
--- a/src/map/mio/mioApi.c
+++ b/src/map/mio/mioApi.c
@@ -44,7 +44,7 @@ char * Mio_LibraryReadName ( Mio_Library_t * pLib ) { retur
int Mio_LibraryReadGateNum ( Mio_Library_t * pLib ) { return pLib->nGates; }
Mio_Gate_t * Mio_LibraryReadGates ( Mio_Library_t * pLib ) { return pLib->pGates; }
Mio_Gate_t ** Mio_LibraryReadGatesByName ( Mio_Library_t * pLib ) { return pLib->ppGatesName;}
-DdManager * Mio_LibraryReadDd ( Mio_Library_t * pLib ) { return pLib->dd; }
+//DdManager * Mio_LibraryReadDd ( Mio_Library_t * pLib ) { return pLib->dd; }
Mio_Gate_t * Mio_LibraryReadBuf ( Mio_Library_t * pLib ) { return pLib->pGateBuf; }
Mio_Gate_t * Mio_LibraryReadInv ( Mio_Library_t * pLib ) { return pLib->pGateInv; }
Mio_Gate_t * Mio_LibraryReadConst0 ( Mio_Library_t * pLib ) { return pLib->pGate0; }
@@ -145,7 +145,9 @@ Mio_Gate_t * Mio_GateReadNext ( Mio_Gate_t * pGate ) { return
int Mio_GateReadInputs ( Mio_Gate_t * pGate ) { return pGate->nInputs; }
double Mio_GateReadDelayMax( Mio_Gate_t * pGate ) { return pGate->dDelayMax; }
char * Mio_GateReadSop ( Mio_Gate_t * pGate ) { return pGate->pSop; }
-DdNode * Mio_GateReadFunc ( Mio_Gate_t * pGate ) { return pGate->bFunc; }
+//DdNode * Mio_GateReadFunc ( Mio_Gate_t * pGate ) { return pGate->bFunc; }
+word Mio_GateReadTruth ( Mio_Gate_t * pGate ) { return pGate->nInputs <= 6 ? pGate->uTruth : 0; }
+word * Mio_GateReadTruthP ( Mio_Gate_t * pGate ) { return pGate->nInputs <= 6 ? NULL: pGate->pTruth; }
int Mio_GateReadValue ( Mio_Gate_t * pGate ) { return pGate->Value; }
void Mio_GateSetValue ( Mio_Gate_t * pGate, int Value ) { pGate->Value = Value; }