diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-11-08 11:44:37 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-11-08 11:44:37 -0800 |
| commit | 96d8f899d93dcf51d98a370deb5d4fcb67bb271c (patch) | |
| tree | b234898fecfab9d047338b58fe6715d47b4319c9 /src/map/mio/mioApi.c | |
| parent | e50fc467fd54420cf262bf5266959f6c02a65bf7 (diff) | |
| download | abc-96d8f899d93dcf51d98a370deb5d4fcb67bb271c.tar.gz abc-96d8f899d93dcf51d98a370deb5d4fcb67bb271c.tar.bz2 abc-96d8f899d93dcf51d98a370deb5d4fcb67bb271c.zip | |
Extending and improving timing manager.
Diffstat (limited to 'src/map/mio/mioApi.c')
| -rw-r--r-- | src/map/mio/mioApi.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/map/mio/mioApi.c b/src/map/mio/mioApi.c index 551203ff..8af85193 100644 --- a/src/map/mio/mioApi.c +++ b/src/map/mio/mioApi.c @@ -178,7 +178,9 @@ Vec_Int_t * Mio_GateReadExpr ( Mio_Gate_t * pGate ) { return 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; } +int Mio_GateReadCell ( Mio_Gate_t * pGate ) { return pGate->Cell; } void Mio_GateSetValue ( Mio_Gate_t * pGate, int Value ) { pGate->Value = Value; } +void Mio_GateSetCell ( Mio_Gate_t * pGate, int Cell ) { pGate->Value = Cell; } int Mio_GateIsInv ( Mio_Gate_t * pGate ) { return pGate->uTruth == ABC_CONST(0x5555555555555555); } /**Function************************************************************* |