Searched refs:fTryConf (Results 1 – 2 of 2) sorted by relevance
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/pdr/ |
H A D | pdrSat.c | 290 …n_t * p, int k, Pdr_Set_t * pCube, Pdr_Set_t ** ppPred, int nConfLimit, int fTryConf, int fUseLit ) in Pdr_ManCheckCube() argument 336 …e( pSat, Vec_IntArray(vLits), Vec_IntArray(vLits) + Vec_IntSize(vLits), fTryConf ? p->pPars->nConf… in Pdr_ManCheckCube() 340 if ( fTryConf && p->pPars->nConfGenLimit ) in Pdr_ManCheckCube()
|
H A D | pdrInt.h | 228 …_t * p, int k, Pdr_Set_t * pCube, Pdr_Set_t ** ppPred, int nConfLimit, int fTryConf, int fUseLit );
|