diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-03-27 17:21:08 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-03-27 17:21:08 -0700 |
| commit | 7a2132b237745d04a904350424c12c2afdfd0d42 (patch) | |
| tree | c7711e6a9a0b6d5d8e322338579ffcf1eeb6e9eb /src/sat/cnf/cnf.h | |
| parent | 272089221a530f61bceee07378cb747c88471b70 (diff) | |
| download | abc-7a2132b237745d04a904350424c12c2afdfd0d42.tar.gz abc-7a2132b237745d04a904350424c12c2afdfd0d42.tar.bz2 abc-7a2132b237745d04a904350424c12c2afdfd0d42.zip | |
Added dumping QDIMACS files in command 'qbf'.
Diffstat (limited to 'src/sat/cnf/cnf.h')
| -rw-r--r-- | src/sat/cnf/cnf.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/sat/cnf/cnf.h b/src/sat/cnf/cnf.h index f4c96709..61fa7f14 100644 --- a/src/sat/cnf/cnf.h +++ b/src/sat/cnf/cnf.h @@ -157,7 +157,7 @@ extern void Cnf_DataFree( Cnf_Dat_t * p ); extern void Cnf_DataLift( Cnf_Dat_t * p, int nVarsPlus ); extern void Cnf_DataFlipLastLiteral( Cnf_Dat_t * p ); extern void Cnf_DataPrint( Cnf_Dat_t * p, int fReadable ); -extern void Cnf_DataWriteIntoFile( Cnf_Dat_t * p, char * pFileName, int fReadable ); +extern void Cnf_DataWriteIntoFile( Cnf_Dat_t * p, char * pFileName, int fReadable, Vec_Int_t * vForAlls, Vec_Int_t * vExists ); extern void * Cnf_DataWriteIntoSolver( Cnf_Dat_t * p, int nFrames, int fInit ); extern void * Cnf_DataWriteIntoSolverInt( void * pSat, Cnf_Dat_t * p, int nFrames, int fInit ); extern int Cnf_DataWriteOrClause( void * pSat, Cnf_Dat_t * pCnf ); |