From ea73401db5258da2311e6ad4d31a9a7e10437f33 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 20 Jul 2014 22:11:00 -0700 Subject: Updates and changes to several packages. --- src/aig/gia/giaUtil.c | 9 +++++++++ 1 file changed, 9 insertions(+) (limited to 'src/aig/gia/giaUtil.c') diff --git a/src/aig/gia/giaUtil.c b/src/aig/gia/giaUtil.c index e37022c3..7bf29b18 100644 --- a/src/aig/gia/giaUtil.c +++ b/src/aig/gia/giaUtil.c @@ -1052,6 +1052,15 @@ Gia_Obj_t * Gia_ObjRecognizeMux( Gia_Obj_t * pNode, Gia_Obj_t ** ppNodeT, Gia_Ob assert( 0 ); // this is not MUX return NULL; } +int Gia_ObjRecognizeMuxLits( Gia_Man_t * p, Gia_Obj_t * pNode, int * iLitT, int * iLitE ) +{ + Gia_Obj_t * pNodeT, * pNodeE; + Gia_Obj_t * pCtrl = Gia_ObjRecognizeMux( pNode, &pNodeT, &pNodeE ); + assert( pCtrl != NULL ); + *iLitT = Gia_Obj2Lit( p, pNodeT ); + *iLitE = Gia_Obj2Lit( p, pNodeE ); + return Gia_Obj2Lit( p, pCtrl ); +} /**Function************************************************************* -- cgit v1.2.3