Searched defs:Ssw_Sem_t_ (Results 1 – 1 of 1) sorted by relevance
32 struct Ssw_Sem_t_ struct35 int nConfMaxStart; // the starting conflict limit36 int nConfMax; // the intermediate conflict limit37 int nFramesSweep; // the number of frames to sweep38 int fVerbose; // prints output statistics40 Ssw_Man_t * pMan; // SAT sweeping manager41 Vec_Ptr_t * vTargets; // the nodes that are watched43 int nPatternsAlloc; // the max number of interesting states44 int nPatterns; // the number of patterns45 Vec_Ptr_t * vPatterns; // storage for the interesting states[all …]