diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-07-14 15:04:25 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-07-14 15:04:25 -0700 |
| commit | c0ac159888963dae8dabeb2ee9215f3efdf48a1a (patch) | |
| tree | d8f2d17b8d4fe30a3f0a53bee480a973440cb122 /src/misc/util/utilTruth.h | |
| parent | b3e0f5b2e94e5e0da72e1ec7a41f90a3f4d302d7 (diff) | |
| download | abc-c0ac159888963dae8dabeb2ee9215f3efdf48a1a.tar.gz abc-c0ac159888963dae8dabeb2ee9215f3efdf48a1a.tar.bz2 abc-c0ac159888963dae8dabeb2ee9215f3efdf48a1a.zip | |
New technology mapper.
Diffstat (limited to 'src/misc/util/utilTruth.h')
| -rw-r--r-- | src/misc/util/utilTruth.h | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/misc/util/utilTruth.h b/src/misc/util/utilTruth.h index 0072a808..65b646fa 100644 --- a/src/misc/util/utilTruth.h +++ b/src/misc/util/utilTruth.h @@ -128,6 +128,12 @@ static inline void Abc_TtFill( word * pOut, int nWords ) for ( w = 0; w < nWords; w++ ) pOut[w] = ~(word)0; } +static inline void Abc_TtUnit( word * pOut, int nWords ) +{ + int w; + for ( w = 0; w < nWords; w++ ) + pOut[w] = s_Truths6[0]; +} static inline void Abc_TtNot( word * pOut, int nWords ) { int w; |