diff options
Diffstat (limited to 'src/sat/fraig/fraigUtil.c')
-rw-r--r-- | src/sat/fraig/fraigUtil.c | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/sat/fraig/fraigUtil.c b/src/sat/fraig/fraigUtil.c index 0930edbd..0d4cdfaf 100644 --- a/src/sat/fraig/fraigUtil.c +++ b/src/sat/fraig/fraigUtil.c @@ -19,6 +19,9 @@ #include "fraigInt.h" #include <limits.h> +ABC_NAMESPACE_IMPL_START + + //////////////////////////////////////////////////////////////////////// /// DECLARATIONS /// //////////////////////////////////////////////////////////////////////// @@ -237,7 +240,7 @@ int Fraig_CheckTfi2( Fraig_Man_t * pMan, Fraig_Node_t * pOld, Fraig_Node_t * pNe Description [This procedure collects the nodes reachable from the POs of the AIG and sets the type of fanout counter (none, one, or many) for each node. This procedure is useful to determine - fanout-ABC_FREE cones of AND-nodes, which is helpful for rebalancing + fanout-free cones of AND-nodes, which is helpful for rebalancing the AIG (see procedure Fraig_ManRebalance, or something like that).] SideEffects [] @@ -1032,3 +1035,5 @@ int Fraig_NodeIsTravIdPrevious( Fraig_Man_t * pMan, Fraig_Node_t * pNode ) //////////////////////////////////////////////////////////////////////// +ABC_NAMESPACE_IMPL_END + |