diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2019-10-05 17:30:56 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2019-10-05 17:30:56 -0700 |
| commit | 52a8ebb451b060673e68319c43a0e499700c7212 (patch) | |
| tree | 2f11678f63ea71bb60d1c5bcba89c70b34f5d912 /src/base/wlc/wlc.h | |
| parent | 4dc569c1348275e0049fa461b300992078eab4c8 (diff) | |
| download | abc-52a8ebb451b060673e68319c43a0e499700c7212.tar.gz abc-52a8ebb451b060673e68319c43a0e499700c7212.tar.bz2 abc-52a8ebb451b060673e68319c43a0e499700c7212.zip | |
Adding bit-blasting of sqrt using non-restoring algorithm (Parhami, 2nd ed, p. 452)
Diffstat (limited to 'src/base/wlc/wlc.h')
| -rw-r--r-- | src/base/wlc/wlc.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/base/wlc/wlc.h b/src/base/wlc/wlc.h index 5dbf190c..27ce427a 100644 --- a/src/base/wlc/wlc.h +++ b/src/base/wlc/wlc.h @@ -214,6 +214,7 @@ struct Wlc_BstPar_t_ int fAddOutputs; int fMulti; int fBooth; + int fNonRest; int fCla; int fNoCleanup; int fCreateMiter; |