diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-08-02 20:01:00 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-08-02 20:01:00 -0700 |
commit | b8dea8ff0510ee7be465f5fe50994ecb58b9b30a (patch) | |
tree | bfa6f6d88e01d51a9b1224a03e199c0efd199898 /src/aig/dch/dch.h | |
parent | cbb7ff8642236fbc21576dec7b57b9e4cb7e60ef (diff) | |
download | abc-b8dea8ff0510ee7be465f5fe50994ecb58b9b30a.tar.gz abc-b8dea8ff0510ee7be465f5fe50994ecb58b9b30a.tar.bz2 abc-b8dea8ff0510ee7be465f5fe50994ecb58b9b30a.zip |
Version abc80802_2
Diffstat (limited to 'src/aig/dch/dch.h')
-rw-r--r-- | src/aig/dch/dch.h | 18 |
1 files changed, 11 insertions, 7 deletions
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 }; //////////////////////////////////////////////////////////////////////// |