Searched refs:Abc_SopGetPhase (Results 1 – 7 of 7) sorted by relevance
272 if ( Abc_SopGetPhase(pSop) == 0 ) in Abc_AttachComputeTruth()304 if ( Abc_SopGetPhase(pSop) == 0 ) in Abc_AttachComputeTruth()
117 if ( !Abc_SopGetPhase(pSop) ) in Abc_ObjSopSimulate()
375 if ( iNode < pData->nNodesOld && Abc_SopGetPhase( (char *)pData->vSops->pArray[iNode] ) == 0 ) in Fxu_CreateCoversNode()
599 int Abc_SopGetPhase( char * pSop ) in Abc_SopGetPhase() function
102 bSum = Cudd_NotCond( bSum, !Abc_SopGetPhase(pSop) ); in Abc_ConvertSopToBdd()
907 extern ABC_DLL int Abc_SopGetPhase( char * pSop );
472 if ( !Abc_SopGetPhase(pSop) ) in Abc_FlowRetime_SimulateSop()