Searched refs:CtgRetValue (Results 1 – 1 of 1) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/pdr/ |
| H A D | pdrCore.c | 376 int RetValue = 0, CtgRetValue, i, ctgAttempts, l, micResult; in ZPdr_ManDown() local
398 CtgRetValue = Pdr_ManCheckCube( p, k-1, pCtg, NULL, p->pPars->nConfLimit, 0, 1 ); in ZPdr_ManDown()
399 if ( CtgRetValue != 1 ) in ZPdr_ManDown()
|