Home
last modified time | relevance | path

Searched refs:Abc_NtkIsBddLogic (Results 1 – 16 of 16) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abc/
H A DabcMinBase.c57 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()
H A DabcShow.c96 assert( Abc_NtkIsBddLogic(pNode->pNtk) ); in Abc_NodeShowBdd()
H A DabcUtil.c252 assert( Abc_NtkIsBddLogic(pNtk) ); in Abc_NtkGetBddNodeNum()
311 assert( Abc_NtkIsBddLogic(pNtk) ); in Abc_NtkGetClauseNum()
H A Dabc.h267 static inline int Abc_NtkIsBddLogic( Abc_Ntk_t * pNtk ) { return pNtk->ntkFunc == ABC_… in Abc_NtkIsBddLogic() function
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/
H A DabcSat.c638 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()
H A DabcDsd.c329 assert( Abc_NtkIsBddLogic(pNtk) ); in Abc_NtkDsdLocal()
683 assert( Abc_NtkIsBddLogic(pNtk) ); in Abc_NtkSparsify()
H A DabcIvy.c92 if ( Abc_NtkIsBddLogic(pNtk) ) in Abc_NtkIvyBefore()
641 if ( Abc_NtkIsBddLogic(pNtk) ) in Abc_NtkIvy()
H A DabcCollapse.c63 assert( Abc_NtkIsBddLogic(pNode->pNtk) ); in Abc_NodeMinimumBase2()
95 assert( Abc_NtkIsBddLogic(pNtk) ); in Abc_NtkMinimumBase2()
H A DabcNtbdd.c173 assert( Abc_NtkIsBddLogic(pNtk) ); in Abc_NtkBddToMuxesPerform()
H A DabcSweep.c583 assert( Abc_NtkIsBddLogic(pNode->pNtk) ); in Abc_NodeConstantInput()
H A DabcLutmin.c747 if ( !Abc_NtkIsBddLogic(pNtkNew) ) in Abc_NtkLutmin()
H A DabcPrint.c1400 if ( (fHasBdds = Abc_NtkIsBddLogic(pNtk)) ) in Abc_NtkPrintGates()
H A Dabc.c3187 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()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/io/
H A DioWritePla.c543 else if ( Abc_NtkIsBddLogic(pNtk) ) in Io_WriteMoPlaOneM()
560 assert( Abc_NtkIsStrash(pNtk) || Abc_NtkIsBddLogic(pNtk) ); in Io_WriteMoPlaM()
H A DioWriteDot.c101 if ( (fHasBdds = Abc_NtkIsBddLogic(pNtk)) ) in Io_WriteDotNtk()
464 if ( (fHasBdds = Abc_NtkIsBddLogic(pNtk)) ) in Io_WriteDotSeq()
H A Dio.c2873 if ( Abc_NtkIsBddLogic(pAbc->pNtkCur) ) in IoCommandWritePla()