abc/src/aig/aig/aigFact.c
/**Function*************************************************************

  Synopsis    [Returns the nodes whose values are implied by pNode.]

  Description [Attention!  Both pNode and results can be complemented!
  Also important: Currently, this procedure only does backward propagation. 
  In general, it may find more implications if forward propagation is enabled.]
               
  SideEffects []

  SeeAlso     []

***********************************************************************/
Function
Synopsis    [Returns the nodes whose values are implied by pNode.]

Description [Attention.  Both pNode and results can be complemented.
Also important: Currently, this procedure only does backward propagation.
In general, it may find more implications if forward propagation is enabled.]




Function Synopsis [ Returns the nodes whose values are implied by pNode . ] Description [ Attention . Both pNode and results can be complemented . Also important : Currently this procedure only does backward propagation . In general it may find more implications if forward propagation is enabled . ]
Vec_Ptr_t * Aig_ManFindImplications( Aig_Man_t * p, Aig_Obj_t * pNode )
{
    Vec_Ptr_t * vImplics;
    vImplics = Vec_PtrAlloc( 100 );
    Aig_ManFindImplications_rec( pNode, vImplics );
    return vImplics;
}
Vec_Ptr_t * Aig_ManFindImplications ( Aig_Man_t * p , Aig_Obj_t * pNode ) { Vec_Ptr_t * vImplics ; vImplics = Vec_PtrAlloc ( 100 ) ; Aig_ManFindImplications_rec ( pNode , vImplics ) ; return vImplics ; }
Function
Synopsis    [Returns the nodes whose values are implied by pNode.]
Function Synopsis [ Returns the nodes whose values are implied by pNode . ]