summaryrefslogtreecommitdiffstats
path: root/src/aig/miniaig/abcOper.h
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2019-04-05 21:08:46 -1000
committerAlan Mishchenko <alanmi@berkeley.edu>2019-04-05 21:08:46 -1000
commit362b2d9d08f4dbc8dfc751b68ddf7bd3f9c4ed54 (patch)
tree1b530ec6aaf1242abc6f94022106a547c91381ff /src/aig/miniaig/abcOper.h
parent0739bd7f03eacdb11034d166e5b799f2e59796fc (diff)
downloadabc-362b2d9d08f4dbc8dfc751b68ddf7bd3f9c4ed54.tar.gz
abc-362b2d9d08f4dbc8dfc751b68ddf7bd3f9c4ed54.tar.bz2
abc-362b2d9d08f4dbc8dfc751b68ddf7bd3f9c4ed54.zip
Supporting LUT in NDR and WLC.
Diffstat (limited to 'src/aig/miniaig/abcOper.h')
-rw-r--r--src/aig/miniaig/abcOper.h1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/aig/miniaig/abcOper.h b/src/aig/miniaig/abcOper.h
index d5537aab..2fd7ab24 100644
--- a/src/aig/miniaig/abcOper.h
+++ b/src/aig/miniaig/abcOper.h
@@ -226,6 +226,7 @@ static inline const char * Abc_OperName( int Type )
if ( Type == ABC_OPER_CONST ) return "const";
if ( Type == ABC_OPER_TABLE ) return "table";
+ if ( Type == ABC_OPER_LUT ) return "lut";
if ( Type == ABC_OPER_LAST ) return NULL;
assert( 0 );
return NULL;