Searched refs:Abc_NtkIsBddLogic (Results 1 – 16 of 16) sorted by relevance
57 assert( Abc_NtkIsBddLogic(pNtk) ); in Abc_NtkMinimumBase()82 assert( Abc_NtkIsBddLogic(pNode->pNtk) ); in Abc_NodeMinimumBase()125 assert( Abc_NtkIsBddLogic(pNtk) ); in Abc_NtkRemoveDupFanins()147 assert( Abc_NtkIsBddLogic(pNode->pNtk) ); in Abc_NodeRemoveDupFanins_int()414 assert( Abc_NtkIsBddLogic(pFanin->pNtk) ); in Abc_NodeCollapse()
96 assert( Abc_NtkIsBddLogic(pNode->pNtk) ); in Abc_NodeShowBdd()
252 assert( Abc_NtkIsBddLogic(pNtk) ); in Abc_NtkGetBddNodeNum()311 assert( Abc_NtkIsBddLogic(pNtk) ); in Abc_NtkGetClauseNum()
267 static inline int Abc_NtkIsBddLogic( Abc_Ntk_t * pNtk ) { return pNtk->ntkFunc == ABC_… in Abc_NtkIsBddLogic() function
638 assert( Abc_NtkIsStrash(pNtk) || Abc_NtkIsBddLogic(pNtk) ); in Abc_NtkMiterSatCreate()639 if ( Abc_NtkIsBddLogic(pNtk) ) in Abc_NtkMiterSatCreate()850 assert( Abc_NtkIsBddLogic(pNtk) ); in Abc_NtkMiterSatCreateLogic()
329 assert( Abc_NtkIsBddLogic(pNtk) ); in Abc_NtkDsdLocal()683 assert( Abc_NtkIsBddLogic(pNtk) ); in Abc_NtkSparsify()
92 if ( Abc_NtkIsBddLogic(pNtk) ) in Abc_NtkIvyBefore()641 if ( Abc_NtkIsBddLogic(pNtk) ) in Abc_NtkIvy()
63 assert( Abc_NtkIsBddLogic(pNode->pNtk) ); in Abc_NodeMinimumBase2()95 assert( Abc_NtkIsBddLogic(pNtk) ); in Abc_NtkMinimumBase2()
173 assert( Abc_NtkIsBddLogic(pNtk) ); in Abc_NtkBddToMuxesPerform()
583 assert( Abc_NtkIsBddLogic(pNode->pNtk) ); in Abc_NodeConstantInput()
747 if ( !Abc_NtkIsBddLogic(pNtkNew) ) in Abc_NtkLutmin()
1400 if ( (fHasBdds = Abc_NtkIsBddLogic(pNtk)) ) in Abc_NtkPrintGates()
3187 if ( !Abc_NtkIsBddLogic(pNtk) ) in Abc_CommandShowBdd()4760 if ( !Abc_NtkIsBddLogic( pNtk ) ) in Abc_CommandDisjoint()4772 if ( !Abc_NtkIsBddLogic( pNtk ) ) in Abc_CommandDisjoint()4847 if ( !Abc_NtkIsBddLogic( pNtk ) ) in Abc_CommandSparsify()10697 if ( Abc_NtkIsBddLogic(pNtk) ) in Abc_CommandBdd()10817 if ( !Abc_NtkIsBddLogic(pNtk) ) in Abc_CommandReorder()11033 if ( !Abc_NtkIsBddLogic(pNtk) ) in Abc_CommandMuxes()
543 else if ( Abc_NtkIsBddLogic(pNtk) ) in Io_WriteMoPlaOneM()560 assert( Abc_NtkIsStrash(pNtk) || Abc_NtkIsBddLogic(pNtk) ); in Io_WriteMoPlaM()
101 if ( (fHasBdds = Abc_NtkIsBddLogic(pNtk)) ) in Io_WriteDotNtk()464 if ( (fHasBdds = Abc_NtkIsBddLogic(pNtk)) ) in Io_WriteDotSeq()
2873 if ( Abc_NtkIsBddLogic(pAbc->pNtkCur) ) in IoCommandWritePla()