abc/src/bool/rpo/literal.h
/**Function*************************************************************

  Synopsis    [Compute the positive transition]

  Description [The inputs are a function, the number of variables and a variable index and the output is a function]
               
  SideEffects [Should this function be in kitTruth.c ?]

  SeeAlso     []
//
***********************************************************************/
Function
Synopsis    [Compute the positive transition]

Description [The inputs are a function, the number of variables and a variable index and the output is a function]

SideEffects [Should this function be in kitTruth.c ?]


Function Synopsis [ Compute the positive transition ] Description [ The inputs are a function the number of variables and a variable index and the output is a function ] SideEffects [ Should this function be in kitTruth . c ? ]
static inline void Lit_TruthPositiveTransition( unsigned * pIn, unsigned * pOut, int nVars, int varIdx )
{
    unsigned * cof0 = ABC_ALLOC (unsigned, Kit_TruthWordNum(nVars) );
    unsigned * cof1 = ABC_ALLOC (unsigned, Kit_TruthWordNum(nVars) );
    unsigned * ncof0;
    Kit_TruthCofactor0New(cof0, pIn,nVars,varIdx);
    Kit_TruthCofactor1New(cof1, pIn,nVars,varIdx);
    ncof0 = ABC_ALLOC (unsigned, Kit_TruthWordNum(nVars) );
    Kit_TruthNot(ncof0,cof0,nVars);
    Kit_TruthAnd(pOut,ncof0,cof1, nVars);
    ABC_FREE(cof0);
    ABC_FREE(ncof0);
    ABC_FREE(cof1);
}
static inline void Lit_TruthPositiveTransition ( unsigned * pIn , unsigned * pOut , int nVars , int varIdx ) { unsigned * cof0 = ABC_ALLOC ( unsigned , Kit_TruthWordNum ( nVars ) ) ; unsigned * cof1 = ABC_ALLOC ( unsigned , Kit_TruthWordNum ( nVars ) ) ; unsigned * ncof0 ; Kit_TruthCofactor0New ( cof0 , pIn , nVars , varIdx ) ; Kit_TruthCofactor1New ( cof1 , pIn , nVars , varIdx ) ; ncof0 = ABC_ALLOC ( unsigned , Kit_TruthWordNum ( nVars ) ) ; Kit_TruthNot ( ncof0 , cof0 , nVars ) ; Kit_TruthAnd ( pOut , ncof0 , cof1 , nVars ) ; ABC_FREE ( cof0 ) ; ABC_FREE ( ncof0 ) ; ABC_FREE ( cof1 ) ; }
Function
Synopsis    [Compute the positive transition]
Function Synopsis [ Compute the positive transition ]