abc/src/base/abci/abcExact.c
// computes top decomposition of variables wrt. to AND and OR
computes top decomposition of variables wrt. to AND and OR
computes top decomposition of variables wrt . to AND and OR
static inline void Ses_ManComputeTopDec( Ses_Man_t * pSes )
{
    int l;
    word pMask[4];
    Abc_TtMask( pMask, pSes->nSpecWords, pSes->nSpecWords * 64 );
    for ( l = 0; l < pSes->nSpecVars; ++l )
        if ( Abc_TtIsTopDecomposable( pSes->pSpec, pMask, pSes->nSpecWords, l ) )
            pSes->pDecVars |= ( 1 << l );
}
static inline void Ses_ManComputeTopDec ( Ses_Man_t * pSes ) { int l ; word pMask [ 4 ] ; Abc_TtMask ( pMask , pSes -> nSpecWords , pSes -> nSpecWords * 64 ) ; for ( l = 0 ; l < pSes -> nSpecVars ; ++ l ) if ( Abc_TtIsTopDecomposable ( pSes -> pSpec , pMask , pSes -> nSpecWords , l ) ) pSes -> pDecVars |= ( 1 << l ) ; }
computes top decomposition of variables wrt.
computes top decomposition of variables wrt .