diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-03-11 00:15:13 +0900 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-03-11 00:15:13 +0900 |
| commit | 22a5ab19c828b83abb3bd300f1ecd1ee60b4e535 (patch) | |
| tree | fa25ba40265ccfbccddf829c62182cb4926e73f2 /src/map/mio/mio.h | |
| parent | 74328f52da31d827840c972d7c55a257831b22fe (diff) | |
| download | abc-22a5ab19c828b83abb3bd300f1ecd1ee60b4e535.tar.gz abc-22a5ab19c828b83abb3bd300f1ecd1ee60b4e535.tar.bz2 abc-22a5ab19c828b83abb3bd300f1ecd1ee60b4e535.zip | |
Adding API to convert Genlib into a simple Liberty.
Diffstat (limited to 'src/map/mio/mio.h')
| -rw-r--r-- | src/map/mio/mio.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/map/mio/mio.h b/src/map/mio/mio.h index 63246d91..3f5df736 100644 --- a/src/map/mio/mio.h +++ b/src/map/mio/mio.h @@ -148,6 +148,7 @@ extern double Mio_GateReadDelayMax ( Mio_Gate_t * pGate ); extern char * Mio_GateReadSop ( Mio_Gate_t * pGate ); extern Vec_Int_t * Mio_GateReadExpr ( Mio_Gate_t * pGate ); extern word Mio_GateReadTruth ( Mio_Gate_t * pGate ); +extern word * Mio_GateReadTruthP ( Mio_Gate_t * pGate ); extern int Mio_GateReadValue ( Mio_Gate_t * pGate ); extern int Mio_GateReadCell ( Mio_Gate_t * pGate ); extern int Mio_GateReadProfile ( Mio_Gate_t * pGate ); |