diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2019-04-14 20:45:24 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2019-04-14 20:45:24 -0700 |
commit | 812821554c0809b2a61d2c2882dbbbd8e8b1a784 (patch) | |
tree | 7ec584a4874ebd71e1dba7a10a972a7b80e7eaa2 /src/base/wlc/wlc.h | |
parent | bfefe96cad688693d68f9537f0a28fe65b7fcbb9 (diff) | |
download | abc-812821554c0809b2a61d2c2882dbbbd8e8b1a784.tar.gz abc-812821554c0809b2a61d2c2882dbbbd8e8b1a784.tar.bz2 abc-812821554c0809b2a61d2c2882dbbbd8e8b1a784.zip |
Adding miter construction with one bit-level output for each pair of word-level outputs.
Diffstat (limited to 'src/base/wlc/wlc.h')
-rw-r--r-- | src/base/wlc/wlc.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/base/wlc/wlc.h b/src/base/wlc/wlc.h index d39738a8..5dbf190c 100644 --- a/src/base/wlc/wlc.h +++ b/src/base/wlc/wlc.h @@ -217,6 +217,7 @@ struct Wlc_BstPar_t_ int fCla; int fNoCleanup; int fCreateMiter; + int fCreateWordMiter; int fDecMuxes; int fSaveFfNames; int fVerbose; @@ -236,6 +237,7 @@ static inline void Wlc_BstParDefault( Wlc_BstPar_t * pPar ) pPar->fBooth = 0; pPar->fCla = 0; pPar->fCreateMiter = 0; + pPar->fCreateWordMiter = 0; pPar->fDecMuxes = 0; pPar->fVerbose = 0; } |