diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-11-23 23:42:20 +0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-11-23 23:42:20 +0700 |
| commit | 56880eab5294d8a13e012eeca1e68255f0bf0e68 (patch) | |
| tree | 8dc6f8948253493ae7f4d6f46e8b3b2d6c164969 /src/proof/pdr/pdrInt.h | |
| parent | 63fcf25aead4055e260201a1820a190e8f2fbfab (diff) | |
| download | abc-56880eab5294d8a13e012eeca1e68255f0bf0e68.tar.gz abc-56880eab5294d8a13e012eeca1e68255f0bf0e68.tar.bz2 abc-56880eab5294d8a13e012eeca1e68255f0bf0e68.zip | |
New command %psinv.
Diffstat (limited to 'src/proof/pdr/pdrInt.h')
| -rw-r--r-- | src/proof/pdr/pdrInt.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/proof/pdr/pdrInt.h b/src/proof/pdr/pdrInt.h index 0eb6bd81..bd9fe87c 100644 --- a/src/proof/pdr/pdrInt.h +++ b/src/proof/pdr/pdrInt.h @@ -163,6 +163,7 @@ extern sat_solver * Pdr_ManNewSolver( sat_solver * pSat, Pdr_Man_t * p, int k /*=== pdrCore.c ==========================================================*/ extern int Pdr_ManCheckContainment( Pdr_Man_t * p, int k, Pdr_Set_t * pSet ); /*=== pdrInv.c ==========================================================*/ +extern Vec_Int_t * Pdr_ManCountFlopsInv( Pdr_Man_t * p ); extern void Pdr_ManPrintProgress( Pdr_Man_t * p, int fClose, abctime Time ); extern void Pdr_ManPrintClauses( Pdr_Man_t * p, int kStart ); extern void Pdr_ManDumpClauses( Pdr_Man_t * p, char * pFileName, int fProved ); |