From 44d9c7e54307f64cbcdc7c8cd17ff6e219e13b55 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Mon, 23 Jun 2014 13:11:59 -0700 Subject: Improvements to CNF generation. --- src/sat/cnf/cnf.h | 1 + 1 file changed, 1 insertion(+) (limited to 'src/sat/cnf/cnf.h') diff --git a/src/sat/cnf/cnf.h b/src/sat/cnf/cnf.h index ba41ef4e..ca08a146 100644 --- a/src/sat/cnf/cnf.h +++ b/src/sat/cnf/cnf.h @@ -178,6 +178,7 @@ extern Vec_Ptr_t * Cnf_ManScanMapping( Cnf_Man_t * p, int fCollect, int fPre extern Vec_Int_t * Cnf_DataCollectCiSatNums( Cnf_Dat_t * pCnf, Aig_Man_t * p ); extern Vec_Int_t * Cnf_DataCollectCoSatNums( Cnf_Dat_t * pCnf, Aig_Man_t * p ); extern unsigned char * Cnf_DataDeriveLitPolarities( Cnf_Dat_t * p ); +extern Cnf_Dat_t * Cnf_DataReadFromFile( char * pFileName ); /*=== cnfWrite.c ========================================================*/ extern Vec_Int_t * Cnf_ManWriteCnfMapping( Cnf_Man_t * p, Vec_Ptr_t * vMapped ); extern void Cnf_SopConvertToVector( char * pSop, int nCubes, Vec_Int_t * vCover ); -- cgit v1.2.3