diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-06-12 21:27:14 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-06-12 21:27:14 -0700 |
commit | fcdd9148b456e7efec1db8b4cf81adbb305401d7 (patch) | |
tree | 99b8147233b967ecba6ba18fcaf16fffb40801ba /src/aig/gia/giaUtil.c | |
parent | 865f6fd43fb55f4873275c2ceeae79d32f4f4d9b (diff) | |
download | abc-fcdd9148b456e7efec1db8b4cf81adbb305401d7.tar.gz abc-fcdd9148b456e7efec1db8b4cf81adbb305401d7.tar.bz2 abc-fcdd9148b456e7efec1db8b4cf81adbb305401d7.zip |
Various modifications.
Diffstat (limited to 'src/aig/gia/giaUtil.c')
-rw-r--r-- | src/aig/gia/giaUtil.c | 28 |
1 files changed, 0 insertions, 28 deletions
diff --git a/src/aig/gia/giaUtil.c b/src/aig/gia/giaUtil.c index 365a8539..e16ee44f 100644 --- a/src/aig/gia/giaUtil.c +++ b/src/aig/gia/giaUtil.c @@ -746,34 +746,6 @@ int * Gia_ManCreateMuxRefs( Gia_Man_t * p ) /**Function************************************************************* - Synopsis [Assigns references.] - - Description [] - - SideEffects [] - - SeeAlso [] - -***********************************************************************/ -void Gia_ManCountMuxXor( Gia_Man_t * p, int * pnMuxes, int * pnXors ) -{ - Gia_Obj_t * pObj, * pFan0, * pFan1; - int i; - *pnMuxes = 0; - *pnXors = 0; - Gia_ManForEachAnd( p, pObj, i ) - { - if ( !Gia_ObjIsMuxType(pObj) ) - continue; - if ( Gia_ObjRecognizeExor(pObj, &pFan0, &pFan1) ) - (*pnXors)++; - else - (*pnMuxes)++; - } -} - -/**Function************************************************************* - Synopsis [Computes the maximum frontier size.] Description [] |