diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-04-11 12:20:36 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-04-11 12:20:36 -0700 |
commit | 865526f88094140c458a244fc8bb279bfa154fc1 (patch) | |
tree | 79af4109829c87a5a20a8634ccf6084644baee16 /src/map/if/if.h | |
parent | e855eaa080c0ac1162ff8a8b5d227dce0c456997 (diff) | |
download | abc-865526f88094140c458a244fc8bb279bfa154fc1.tar.gz abc-865526f88094140c458a244fc8bb279bfa154fc1.tar.bz2 abc-865526f88094140c458a244fc8bb279bfa154fc1.zip |
New feature to optimize delay during mapping.
Diffstat (limited to 'src/map/if/if.h')
-rw-r--r-- | src/map/if/if.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/map/if/if.h b/src/map/if/if.h index 7e0edaf8..cd1f7b8f 100644 --- a/src/map/if/if.h +++ b/src/map/if/if.h @@ -413,6 +413,7 @@ static inline word * If_CutTruthWR( If_Man_t * p, If_Cut_t * pCut ) { r static inline unsigned * If_CutTruthUR( If_Man_t * p, If_Cut_t * pCut) { return (unsigned *)If_CutTruthWR(p, pCut); } static inline word * If_CutTruthW( If_Man_t * p, If_Cut_t * pCut ) { if ( p->vTtMem == NULL ) return NULL; assert( pCut->iCutFunc >= 0 ); Abc_TtCopy( p->puTempW, If_CutTruthWR(p, pCut), p->nTruth6Words[pCut->nLeaves], If_CutTruthIsCompl(pCut) ); return p->puTempW; } static inline unsigned * If_CutTruth( If_Man_t * p, If_Cut_t * pCut ) { return (unsigned *)If_CutTruthW(p, pCut); } + static inline int If_CutDsdLit( If_Man_t * p, If_Cut_t * pCut ) { return Abc_Lit2LitL( Vec_IntArray(p->vTtDsds[pCut->nLeaves]), If_CutTruthLit(pCut) ); } static inline int If_CutDsdIsCompl( If_Man_t * p, If_Cut_t * pCut ) { return Abc_LitIsCompl( If_CutDsdLit(p, pCut) ); } static inline char * If_CutDsdPerm( If_Man_t * p, If_Cut_t * pCut ) { return Vec_StrEntryP( p->vTtPerms[pCut->nLeaves], Abc_Lit2Var(pCut->iCutFunc) * Abc_MaxInt(6, pCut->nLeaves) ); } |