Searched refs:tempLtlStore (Results 1 – 1 of 1) sorted by relevance
217 void updateLtlStoreOfNtk( Abc_Ntk_t *pNtk, Vec_Ptr_t *tempLtlStore ) in updateLtlStoreOfNtk() argument222 assert( tempLtlStore != NULL ); in updateLtlStoreOfNtk()223 Vec_PtrForEachEntry( char *, tempLtlStore, pFormula, i ) in updateLtlStoreOfNtk()