summaryrefslogtreecommitdiffstats
path: root/src/misc/util
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2012-11-19 23:42:05 -0800
committerAlan Mishchenko <alanmi@berkeley.edu>2012-11-19 23:42:05 -0800
commitffbe3bc5767c597b3ca612a12e671749f23ca34f (patch)
tree5422b46e65aef95dea810fd82965a7301ba3397b /src/misc/util
parentd671adbb86b241a71e15bcd67831b267d0de6abf (diff)
downloadabc-ffbe3bc5767c597b3ca612a12e671749f23ca34f.tar.gz
abc-ffbe3bc5767c597b3ca612a12e671749f23ca34f.tar.bz2
abc-ffbe3bc5767c597b3ca612a12e671749f23ca34f.zip
DSD manager.
Diffstat (limited to 'src/misc/util')
-rw-r--r--src/misc/util/abc_global.h1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/misc/util/abc_global.h b/src/misc/util/abc_global.h
index 2b4e17a7..7535014b 100644
--- a/src/misc/util/abc_global.h
+++ b/src/misc/util/abc_global.h
@@ -257,6 +257,7 @@ static inline int Abc_LitIsCompl( int Lit ) { return Lit & 1;
static inline int Abc_LitNot( int Lit ) { return Lit ^ 1; }
static inline int Abc_LitNotCond( int Lit, int c ) { return Lit ^ (int)(c > 0); }
static inline int Abc_LitRegular( int Lit ) { return Lit & ~01; }
+static inline int Abc_Lit2Lit( int * pMap, int Lit ) { return Abc_Var2Lit( pMap[Abc_Lit2Var(Lit)], Abc_LitIsCompl(Lit) ); }
enum Abc_VerbLevel
{