Searched refs:fCheckTargets (Results 1 – 2 of 2) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/ssw/ |
| H A D | sswSemi.c | 177 int Ssw_ManFilterBmc( Ssw_Sem_t * pBmc, int iPat, int fCheckTargets ) in Ssw_ManFilterBmc() argument
229 if ( fCheckTargets && Ssw_SemCheckTargets( pBmc ) ) in Ssw_ManFilterBmc()
261 int Ssw_FilterUsingSemi( Ssw_Man_t * pMan, int fCheckTargets, int nConfMax, int fVerbose ) in Ssw_FilterUsingSemi() argument
267 if ( fCheckTargets && Ssw_SemCheckTargets( p ) ) in Ssw_FilterUsingSemi()
284 Frames = Ssw_ManFilterBmc( p, Iter, fCheckTargets ); in Ssw_FilterUsingSemi()
294 if ( fCheckTargets && Ssw_SemCheckTargets( p ) ) in Ssw_FilterUsingSemi()
|
| H A D | sswInt.h | 259 extern int Ssw_FilterUsingSemi( Ssw_Man_t * pMan, int fCheckTargets, int nConfMax, int fV…
|