ABC_NAMESPACE_IMPL_START
////////////////////////////////////////////////////////////////////////
/// DECLARATIONS ///
////////////////////////////////////////////////////////////////////////
////////////////////////////////////////////////////////////////////////
/// FUNCTION DEFINITIONS ///
////////////////////////////////////////////////////////////////////////
/**Function*************************************************************
Synopsis [Collects the supergate.]
Description []
SideEffects []
SeeAlso []
***********************************************************************/
void Gia_CollectSuper_rec( Gia_Man_t * p, Gia_Obj_t * pObj, Vec_Int_t * vSuper )
{
// if the new node is complemented or a PI, another gate begins
if ( Gia_IsComplement(pObj) || Gia_ObjIsCi(pObj) )
{
Vec_IntPushUnique( vSuper, Gia_ObjId(p, Gia_Regular(pObj)) );
return;
}
assert( Gia_ObjIsAnd(pObj) );
// go through the branches
Gia_CollectSuper_rec( p, Gia_ObjChild0(pObj), vSuper );
Gia_CollectSuper_rec( p, Gia_ObjChild1(pObj), vSuper );
}
/**Function*************************************************************
Synopsis [Prints stats for the AIG.]
Description []
SideEffects []
SeeAlso []
***********************************************************************/
void Gia_ManPrintMiterStatus( Gia_Man_t * p )
{
Gia_Obj_t * pObj, * pChild;
int i, nSat = 0, nUnsat = 0, nUndec = 0, iOut = -1;
Gia_ManForEachPo( p, pObj, i )
{
pChild = Gia_ObjChild0(pObj);
// check if the output is constant 0
if ( pChild == Gia_ManConst0(p) )
nUnsat++;
// check if the output is constant 1
else if ( pChild == Gia_ManConst1(p) )
{
nSat++;
if ( iOut == -1 )
iOut = i;
}
// check if the output is a primary input
else if ( Gia_ObjIsPi(p, Gia_Regular(pChild)) )
{
nSat++;
if ( iOut == -1 )
iOut = i;
}
/*
// check if the output is 1 for the 0000 pattern
else if ( Gia_Regular(pChild)->fPhase != (unsigned)Gia_IsComplement(pChild) )
{
nSat++;
if ( iOut == -1 )
iOut = i;
}
*/
else
nUndec++;
}
