Home
last modified time | relevance | path

Searched refs:fPrintClauses (Results 1 – 2 of 2) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/pdr/
H A DpdrIncr.c375 int fPrintClauses = 0; in IPdr_ManSolveInt() local
579 if ( fPrintClauses ) in IPdr_ManSolveInt()
683 if ( fPrintClauses ) in IPdr_ManSolveInt()
741 if ( fPrintClauses ) in IPdr_ManSolveInt()
755 if ( fPrintClauses ) in IPdr_ManSolveInt()
H A DpdrCore.c1042 int fPrintClauses = 0; in Pdr_ManSolveInt() local
1195 if ( fPrintClauses ) in Pdr_ManSolveInt()
1284 if ( fPrintClauses ) in Pdr_ManSolveInt()
1342 if ( fPrintClauses ) in Pdr_ManSolveInt()
1356 if ( fPrintClauses ) in Pdr_ManSolveInt()