diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-08-02 23:44:48 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-08-02 23:44:48 -0700 |
| commit | e9af6c3ceca2c5f7a5a2deab8d3e3ddb87e32112 (patch) | |
| tree | e81a6c47029823103a4bf65514441dac6af24b91 /src/aig/gia/gia.h | |
| parent | cb66aa429d9ff655559025c81678efd7afb763bf (diff) | |
| download | abc-e9af6c3ceca2c5f7a5a2deab8d3e3ddb87e32112.tar.gz abc-e9af6c3ceca2c5f7a5a2deab8d3e3ddb87e32112.tar.bz2 abc-e9af6c3ceca2c5f7a5a2deab8d3e3ddb87e32112.zip | |
Scalable gate-level abstraction.
Diffstat (limited to 'src/aig/gia/gia.h')
| -rw-r--r-- | src/aig/gia/gia.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/gia.h b/src/aig/gia/gia.h index 4f0fec42..91adcd5f 100644 --- a/src/aig/gia/gia.h +++ b/src/aig/gia/gia.h @@ -226,7 +226,7 @@ struct Gia_ParVta_t_ int fAddLayer; // refinement strategy by adding layers int fUseSkip; int fUseSimple; - int fUseHash; + int fSkipHash; int fDumpVabs; // dumps the abstracted model char * pFileVabs; // dumps the abstracted model into this file int fVerbose; // verbose flag |