Searched refs:Abc_NtkGetLatchValues (Results 1 – 1 of 1) sorted by relevance
1354 Vec_Int_t * Abc_NtkGetLatchValues( Abc_Ntk_t * pNtk ) in Abc_NtkGetLatchValues() function4076 vInits = Abc_NtkGetLatchValues(pNtk); in Abc_NtkPhaseAbstract()4109 vInits = Abc_NtkGetLatchValues(pNtk); in Abc_NtkPhaseFrameNum()