Searched refs:Mio_GateReadSop (Results 1 – 9 of 9) sorted by relevance
304 pSopString = Abc_NtkPrintSop(Mio_GateReadSop((Mio_Gate_t *)pNode->pData)); in Io_WriteDotNtk()649 pSopString = Abc_NtkPrintSop(Mio_GateReadSop((Mio_Gate_t *)pNode->pData)); in Io_WriteDotSeq()
178 char * Mio_GateReadSop ( Mio_Gate_t * pGate ) { return pGate->pSop; … in Mio_GateReadSop() function
150 extern char * Mio_GateReadSop ( Mio_Gate_t * pGate );
418 Abc_FlowRetime_SimulateSop( pObj, (char *)Mio_GateReadSop((Mio_Gate_t*)pObj->pData) ); in Abc_FlowRetime_SimulateNode()791 pData = Mio_GateReadSop((Mio_Gate_t*)pOrigObj->pData); in Abc_FlowRetime_CopyNodeToInitNtk()
59 ppGraphs[i] = Dec_Factor( Mio_GateReadSop(pGate) ); in Bac_ManPrepareGates()
986 pSop = Mio_GateReadSop((Mio_Gate_t *)pNode->pData); in Abc_NodeStrashAig()
776 pNodeNew->pData = Abc_SopRegister( (Mem_Flex_t *)pNtkNew->pManFunc, Mio_GateReadSop(pRoot) ); in Abc_NodeFromMapSuperChoice_rec()
1415 pSop = Mio_GateReadSop((Mio_Gate_t *)pObj->pData); in Abc_NtkPrintGates()
1135 pSop = Mio_GateReadSop((Mio_Gate_t *)pNode->pData); in Abc_NtkMapToSop()