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/mioApi.c | |
| 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/mioApi.c')
| -rw-r--r-- | src/map/mio/mioApi.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/map/mio/mioApi.c b/src/map/mio/mioApi.c index 6716bfb9..ba84c178 100644 --- a/src/map/mio/mioApi.c +++ b/src/map/mio/mioApi.c @@ -174,6 +174,7 @@ Mio_Gate_t * Mio_GateReadTwin ( Mio_Gate_t * pGate ) { return int Mio_GateReadPinNum ( 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; } +Vec_Int_t * Mio_GateReadExpr ( Mio_Gate_t * pGate ) { return pGate->vExpr; } 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; } |