diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2022-10-09 23:51:40 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2022-10-09 23:51:40 -0700 |
| commit | 813a0f1ff1ae7512cb7947f54cd3f2ab252848c8 (patch) | |
| tree | f2feba384a1cbfaa2c18c7d00c31335f2a97c73b /src/map/if/ifDec07.c | |
| parent | 5fb4912559380dfcb55e76c23d3fa69c0da454f8 (diff) | |
| download | abc-813a0f1ff1ae7512cb7947f54cd3f2ab252848c8.tar.gz abc-813a0f1ff1ae7512cb7947f54cd3f2ab252848c8.tar.bz2 abc-813a0f1ff1ae7512cb7947f54cd3f2ab252848c8.zip | |
Updating features of &if mapper.
Diffstat (limited to 'src/map/if/ifDec07.c')
| -rw-r--r-- | src/map/if/ifDec07.c | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/src/map/if/ifDec07.c b/src/map/if/ifDec07.c index 1f3fea3e..b8851e50 100644 --- a/src/map/if/ifDec07.c +++ b/src/map/if/ifDec07.c @@ -1116,6 +1116,36 @@ int If_CutPerformCheck07( If_Man_t * p, unsigned * pTruth, int nVars, int nLeave return 0; } +/**Function************************************************************* + + Synopsis [] + + Description [] + + SideEffects [] + + SeeAlso [] + +***********************************************************************/ +int If_MatchCheck1( If_Man_t * p, unsigned * pTruth, int nVars, int nLeaves, char * pStr ) +{ + if ( nLeaves < nVars ) + return 1; + assert( nLeaves == nVars ); + if ( Abc_Tt6Check1( ((word *)pTruth)[0], nLeaves ) ) + return 1; + return 0; +} +int If_MatchCheck2( If_Man_t * p, unsigned * pTruth, int nVars, int nLeaves, char * pStr ) +{ + if ( nLeaves < nVars ) + return 1; + assert( nLeaves == nVars ); + if ( Abc_Tt6Check2( ((word *)pTruth)[0], nLeaves ) ) + return 1; + return 0; +} + //////////////////////////////////////////////////////////////////////// /// END OF FILE /// //////////////////////////////////////////////////////////////////////// |