diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-10-27 10:48:40 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-10-27 10:48:40 -0700 |
commit | 35143e830b9a05ed5f4c6f522a609f88ef726708 (patch) | |
tree | 32e745eee9539880284d60b4d2d259d1a17d8323 /src/map/mio/mio.h | |
parent | bd586dd3558e4b967a2e3f569b89c9c35a8f548b (diff) | |
download | abc-35143e830b9a05ed5f4c6f522a609f88ef726708.tar.gz abc-35143e830b9a05ed5f4c6f522a609f88ef726708.tar.bz2 abc-35143e830b9a05ed5f4c6f522a609f88ef726708.zip |
Experiments with precomputation and matching.
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 7db93dd8..1e3e4d43 100644 --- a/src/map/mio/mio.h +++ b/src/map/mio/mio.h @@ -154,6 +154,7 @@ extern int Mio_GateReadValue ( Mio_Gate_t * pGate ); extern char * Mio_GateReadPinName ( Mio_Gate_t * pGate, int iPin ); extern float Mio_GateReadPinDelay ( Mio_Gate_t * pGate, int iPin ); extern void Mio_GateSetValue ( Mio_Gate_t * pGate, int Value ); +extern int Mio_GateIsInv ( Mio_Gate_t * pGate ); extern char * Mio_PinReadName ( Mio_Pin_t * pPin ); extern Mio_PinPhase_t Mio_PinReadPhase ( Mio_Pin_t * pPin ); extern double Mio_PinReadInputLoad ( Mio_Pin_t * pPin ); |