Searched refs:Abc_NtkSopToBdd (Results 1 – 6 of 6) sorted by relevance
118 int Abc_NtkSopToBdd( Abc_Ntk_t * pNtk ) in Abc_NtkSopToBdd() function790 int Abc_NtkSopToBdd( Abc_Ntk_t * pNtk ) { return 1; } in Abc_NtkSopToBdd() function1179 if ( !Abc_NtkSopToBdd(pNtk) ) in Abc_NtkToSop()1218 return Abc_NtkSopToBdd(pNtk); in Abc_NtkToBdd()
673 extern ABC_DLL int Abc_NtkSopToBdd( Abc_Ntk_t * pNtk );
418 Abc_NtkSopToBdd(pNtk); in Io_WriteDotNtk()788 Abc_NtkSopToBdd(pNtk); in Io_WriteDotSeq()
601 Abc_NtkSopToBdd( pManMR->pInitNtk ); in Abc_FlowRetime_SolveBackwardInit()
1445 Abc_NtkSopToBdd(pNtk); in Abc_NtkPrintGates()
10696 return !Abc_NtkSopToBdd(pNtk); in Abc_CommandBdd()