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/mioApi.c | |
| 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/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 ba84c178..551203ff 100644 --- a/src/map/mio/mioApi.c +++ b/src/map/mio/mioApi.c @@ -179,6 +179,7 @@ word Mio_GateReadTruth ( Mio_Gate_t * pGate ) { return 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; } +int Mio_GateIsInv ( Mio_Gate_t * pGate ) { return pGate->uTruth == ABC_CONST(0x5555555555555555); } /**Function************************************************************* |