diff options
Diffstat (limited to 'src/aig/dch/dch.h')
| -rw-r--r-- | src/aig/dch/dch.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/aig/dch/dch.h b/src/aig/dch/dch.h index f1718a78..d0092a5f 100644 --- a/src/aig/dch/dch.h +++ b/src/aig/dch/dch.h @@ -47,6 +47,7 @@ struct Dch_Pars_t_ int fSynthesis; // set to 1 to perform synthesis int fPolarFlip; // uses polarity adjustment int fSimulateTfo; // uses simulatin of TFO classes + int fPower; // uses power-aware rewriting int fVerbose; // verbose stats int timeSynth; // synthesis runtime int nNodesAhead; // the lookahead in terms of nodes |