Searched refs:Acb_NtkComputePaths (Results 1 – 1 of 1) sorted by relevance
285 int Acb_NtkComputePaths( Acb_Ntk_t * p ) in Acb_NtkComputePaths() function305 printf( "Computed %d paths.\n", Acb_NtkComputePaths(pNtk) ); in Abc_NtkComputePaths()