diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-07-05 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-07-05 08:01:00 -0700 |
| commit | 7b734f23fc23694ccffdb7e3cd31335ffe6cb272 (patch) | |
| tree | d6df566bac26ffb6af1eb01d215d6c4f9785dfa9 /src/aig/cnf/cnf.h | |
| parent | 17ab7c7135befeb4e1d33385496959a16bd55054 (diff) | |
| download | abc-7b734f23fc23694ccffdb7e3cd31335ffe6cb272.tar.gz abc-7b734f23fc23694ccffdb7e3cd31335ffe6cb272.tar.bz2 abc-7b734f23fc23694ccffdb7e3cd31335ffe6cb272.zip | |
Version abc80705
Diffstat (limited to 'src/aig/cnf/cnf.h')
| -rw-r--r-- | src/aig/cnf/cnf.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/aig/cnf/cnf.h b/src/aig/cnf/cnf.h index bf109b17..5c742f5d 100644 --- a/src/aig/cnf/cnf.h +++ b/src/aig/cnf/cnf.h @@ -140,6 +140,8 @@ 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_DataWriteIntoSolver( Cnf_Dat_t * p, int nFrames, int fInit ); extern int Cnf_DataWriteOrClause( void * pSat, Cnf_Dat_t * pCnf ); +extern int Cnf_DataWriteAndClauses( void * p, Cnf_Dat_t * pCnf ); +extern void Cnf_DataTranformPolarity( Cnf_Dat_t * pCnf ); /*=== cnfMap.c ========================================================*/ extern void Cnf_DeriveMapping( Cnf_Man_t * p ); extern int Cnf_ManMapForCnf( Cnf_Man_t * p ); |