Searched refs:Abc_NtkToBdd (Results 1 – 9 of 9) sorted by relevance
72 Abc_NtkToBdd( pNtk ); in Io_WriteCnf()
308 if ( !Abc_NtkToBdd(pNtk) ) in Io_ReadBenchNetwork()
444 if ( !Abc_NtkToBdd(pNtk) ) in Abc_NtkEliminate()736 if ( !Abc_NtkToBdd(pNtk) ) in Abc_NtkEliminateSpecial()783 if ( !Abc_NtkToBdd(pNtk) ) in Abc_NtkEliminateSpecial()
967 if ( !Abc_NtkToBdd(pNtk) ) in Abc_NtkConvertToBlifMv()
1208 int Abc_NtkToBdd( Abc_Ntk_t * pNtk ) in Abc_NtkToBdd() function
682 extern ABC_DLL int Abc_NtkToBdd( Abc_Ntk_t * pNtk );
613 if ( !Abc_NtkToBdd(pNtk) ) in Abc_NtkSweep()
748 Abc_NtkToBdd( pNtkNew ); in Abc_NtkLutmin()
2422 Abc_NtkToBdd(pNtk); in Abc_CommandPrintKMap()10702 if ( !Abc_NtkToBdd(pNtk) ) in Abc_CommandBdd()25025 Abc_NtkToBdd( pNtk ); in Abc_CommandSat()