From c0ac159888963dae8dabeb2ee9215f3efdf48a1a Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 14 Jul 2013 15:04:25 -0700 Subject: New technology mapper. --- src/misc/util/utilTruth.h | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'src/misc/util') 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; -- cgit v1.2.3