Searched refs:Abc_NtkIsSopLogic (Results 1 – 17 of 17) sorted by relevance
138 assert( Abc_NtkIsSopLogic(pNtkCone) ); in Abc_NtkRetimeVerifyModel()319 assert( Abc_NtkIsSopLogic(pNtk) ); in Abc_NtkCycleInitStateSop()
61 assert( Abc_NtkIsSopLogic(pNtk) ); in Abc_NtkRetimeMinArea()
60 assert( Abc_NtkIsSopLogic(pNtk) ); in Bbl_ManFromAbc()
53 assert( Abc_NtkIsSopLogic(p) ); in Acb_NtkFromAbc2()79 assert( Abc_NtkIsSopLogic(p) ); in Acb_NtkFromAbc()
140 assert( Abc_NtkIsSopLogic(pNtk) ); in Abc_NtkExpandCubes()
236 assert( Abc_NtkIsSopLogic( pNtk ) ); in Abc_NtkFxchPerform()
88 if ( Abc_NtkIsSopLogic(pNtk) ) in Abc_NtkFastExtract()
69 assert( Abc_NtkIsSopLogic(pNtk) ); in Abc_NtkAttach()
147 assert( Abc_NtkIsSopLogic(pNtk) ); in Abc_NtkFxRetrieve()189 assert( Abc_NtkIsSopLogic(pNtk) ); in Abc_NtkFxInsert()310 assert( Abc_NtkIsSopLogic(pNtk) ); in Abc_NtkFxPerform()
1149 assert( Abc_NtkIsSopLogic(pNtk) || Abc_NtkIsMappedLogic(pNtk) ); in Abc_NtkDetectFinClasses()1150 if ( Abc_NtkIsSopLogic(pNtk) ) in Abc_NtkDetectFinClasses()
91 assert( Abc_NtkIsSopLogic(pNtk) ); in Abc_NtkSuperChoiceLut()
489 if ( !Abc_NtkIsSopLogic(pNtk) ) in Abc_NtkFraigTrust()
1078 assert( Abc_NtkIsSopLogic(pNtk) ); in Abc_NtkPrintFactor()1626 if ( Abc_ObjIsNode(pObj) && Abc_NtkIsSopLogic(pObj->pNtk) ) in Abc_ObjPrint()
62 assert( Abc_NtkIsSopLogic(pNtk) ); in Abc_ResBuildBdd()
1851 if ( !Abc_NtkIsSopLogic(pNtk) ) in Abc_CommandPrintFactor()4409 if ( !Abc_NtkIsSopLogic(pNtk) ) in Abc_CommandFastExtract()4520 if ( !Abc_NtkIsSopLogic( pNtk ) ) in Abc_CommandFxch()11101 if ( !Abc_NtkIsSopLogic(pNtk) ) in Abc_CommandCubes()11162 if ( !Abc_NtkIsSopLogic(pNtk) ) in Abc_CommandExpand()11260 if ( !Abc_NtkIsSopLogic(pNtk) ) in Abc_CommandSplitSop()13369 if ( !Abc_NtkIsSopLogic(pNtk) ) in Abc_CommandDouble()17991 if ( !Abc_NtkIsSopLogic(pNtk) ) in Abc_CommandAttach()22239 if ( !Abc_NtkIsStrash(pNtk) && !Abc_NtkIsSopLogic(pNtk) ) in Abc_CommandCycle()
2593 assert( Abc_NtkIsSopLogic(pNtk) ); in Abc_NtkSopToCubes()
266 static inline int Abc_NtkIsSopLogic( Abc_Ntk_t * pNtk ) { return pNtk->ntkFunc == ABC_… in Abc_NtkIsSopLogic() function