diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-02-08 22:00:55 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-02-08 22:00:55 -0800 |
| commit | 0f9001c956749682e002cb229264dbd6c4882fc2 (patch) | |
| tree | 2b200b4ac6241ad6ff70393a5d4ddb5fc51fe51f /src/aig/gia/gia.h | |
| parent | db6afbea29b6f187eafb113652c18bfb92e2c940 (diff) | |
| download | abc-0f9001c956749682e002cb229264dbd6c4882fc2.tar.gz abc-0f9001c956749682e002cb229264dbd6c4882fc2.tar.bz2 abc-0f9001c956749682e002cb229264dbd6c4882fc2.zip | |
Adding switch '-p' to control pin-permutation in &nf.
Diffstat (limited to 'src/aig/gia/gia.h')
| -rw-r--r-- | src/aig/gia/gia.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/aig/gia/gia.h b/src/aig/gia/gia.h index d89888e0..bc7238d8 100644 --- a/src/aig/gia/gia.h +++ b/src/aig/gia/gia.h @@ -275,6 +275,7 @@ struct Jf_Par_t_ int nVerbLimit; int DelayTarget; int fAreaOnly; + int fPinPerm; int fOptEdge; int fUseMux7; int fPower; |