diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2020-01-03 22:00:58 -0500 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2020-01-03 22:00:58 -0500 |
| commit | e1997b038a2d22abffa1215fbfb2209d6bf70c5c (patch) | |
| tree | 78766a81debcb0a7e0cccdd17559be5529ecd7ce /src/base/main | |
| parent | f6dc4a588c81177ac198723381b5459909357d01 (diff) | |
| download | abc-e1997b038a2d22abffa1215fbfb2209d6bf70c5c.tar.gz abc-e1997b038a2d22abffa1215fbfb2209d6bf70c5c.tar.bz2 abc-e1997b038a2d22abffa1215fbfb2209d6bf70c5c.zip | |
Adding commands 'save' and 'load' for mapped networks.
Diffstat (limited to 'src/base/main')
| -rw-r--r-- | src/base/main/mainInt.h | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/base/main/mainInt.h b/src/base/main/mainInt.h index 7317c36f..bc57ad2a 100644 --- a/src/base/main/mainInt.h +++ b/src/base/main/mainInt.h @@ -76,6 +76,13 @@ struct Abc_Frame_t_ int fAutoexac; // marks the autoexec mode int fBatchMode; // batch mode flag int fBridgeMode; // bridge mode flag + // save/load + Abc_Ntk_t * pNtkBest; // the current network + float nBestNtkArea; // best area + float nBestNtkDelay; // best delay + int nBestNtkNodes; // best nodes + int nBestNtkLevels; // best levels + // output streams FILE * Out; FILE * Err; |