diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-10-15 15:32:36 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-10-15 15:32:36 -0700 |
commit | 15a86aefd2f5e27bb8789ce93a85544cdf6f0a72 (patch) | |
tree | c61f77b820bac79d6199ebd6f65064fc44c16df8 /src/map/mio/mio.h | |
parent | 01fc95695c56a5bfd25cd100945859a572a328b6 (diff) | |
download | abc-15a86aefd2f5e27bb8789ce93a85544cdf6f0a72.tar.gz abc-15a86aefd2f5e27bb8789ce93a85544cdf6f0a72.tar.bz2 abc-15a86aefd2f5e27bb8789ce93a85544cdf6f0a72.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 9dd72d93..ef1f4258 100644 --- a/src/map/mio/mio.h +++ b/src/map/mio/mio.h @@ -146,6 +146,7 @@ extern Mio_Gate_t * Mio_GateReadTwin ( Mio_Gate_t * pGate ); extern int Mio_GateReadPinNum ( Mio_Gate_t * pGate ); 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 int Mio_GateReadValue ( Mio_Gate_t * pGate ); extern char * Mio_GateReadPinName ( Mio_Gate_t * pGate, int iPin ); |