Searched refs:nPatternsAlloc (Results 1 – 1 of 1) sorted by relevance
43 int nPatternsAlloc; // the max number of interesting states member82 p->nPatternsAlloc = 512; in Ssw_SemManStart()84 …erns = Vec_PtrAllocSimInfo( Aig_ManRegNum(p->pMan->pAig), Abc_BitWordNum(p->nPatternsAlloc) ); in Ssw_SemManStart()85 Vec_PtrCleanSimInfo( p->vPatterns, 0, Abc_BitWordNum(p->nPatternsAlloc) ); in Ssw_SemManStart()155 if ( p->nPatterns >= p->nPatternsAlloc ) in Ssw_ManFilterBmcSavePattern()299 if ( p->nPatterns >= p->nPatternsAlloc ) in Ssw_FilterUsingSemi()