From b8dea8ff0510ee7be465f5fe50994ecb58b9b30a Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sat, 2 Aug 2008 20:01:00 -0700 Subject: Version abc80802_2 --- src/aig/dch/dch.h | 18 +++++++++++------- 1 file changed, 11 insertions(+), 7 deletions(-) (limited to 'src/aig/dch/dch.h') diff --git a/src/aig/dch/dch.h b/src/aig/dch/dch.h index 9f6cfdca..f1718a78 100644 --- a/src/aig/dch/dch.h +++ b/src/aig/dch/dch.h @@ -1,6 +1,6 @@ /**CFile**************************************************************** - FileName [dch.h] + FileName [dch.h] SystemName [ABC: Logic synthesis and verification system.] @@ -41,12 +41,16 @@ extern "C" { typedef struct Dch_Pars_t_ Dch_Pars_t; struct Dch_Pars_t_ { - int nWords; // the number of simulation words - int nBTLimit; // conflict limit at a node - int nSatVarMax; // the max number of SAT variables - int fSynthesis; // set to 1 to perform synthesis - int fVerbose; // verbose stats - int timeSynth; // synthesis runtime + int nWords; // the number of simulation words + int nBTLimit; // conflict limit at a node + int nSatVarMax; // the max number of SAT variables + int fSynthesis; // set to 1 to perform synthesis + int fPolarFlip; // uses polarity adjustment + int fSimulateTfo; // uses simulatin of TFO classes + int fVerbose; // verbose stats + int timeSynth; // synthesis runtime + int nNodesAhead; // the lookahead in terms of nodes + int nCallsRecycle; // calls to perform before recycling SAT solver }; //////////////////////////////////////////////////////////////////////// -- cgit v1.2.3