diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2005-08-07 08:01:00 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2005-08-07 08:01:00 -0700 |
commit | bd640142e0fe2260e3d28e187f21a36d3cc8e08f (patch) | |
tree | 1d834271b729e18017519631edc73335b6d32553 /src/opt/fxu/fxu.h | |
parent | d0e834d1a615f8e0e9d04c2ac97811f63562bd0b (diff) | |
download | abc-bd640142e0fe2260e3d28e187f21a36d3cc8e08f.tar.gz abc-bd640142e0fe2260e3d28e187f21a36d3cc8e08f.tar.bz2 abc-bd640142e0fe2260e3d28e187f21a36d3cc8e08f.zip |
Version abc50807
Diffstat (limited to 'src/opt/fxu/fxu.h')
-rw-r--r-- | src/opt/fxu/fxu.h | 34 |
1 files changed, 4 insertions, 30 deletions
diff --git a/src/opt/fxu/fxu.h b/src/opt/fxu/fxu.h index 5bc1e75f..e9f63ea3 100644 --- a/src/opt/fxu/fxu.h +++ b/src/opt/fxu/fxu.h @@ -48,37 +48,8 @@ struct FxuDataStruct bool fUse0; // set to 1 to have 0-weight also extracted bool fUseCompl; // set to 1 to have complement taken into account bool fVerbose; // set to 1 to have verbose output - int nPairsMax; // the maximum number of cube pairs to consider -/* - // parameters of the network - int fMvNetwork; // the network has some MV nodes - // the information about nodes - int nNodesCi; // the number of CI nodes of the network - int nNodesInt; // the number of internal nodes of the network - int nNodesOld; // the number of CI and int nodes - int nNodesNew; // the number of added nodes - int nNodesExt; // the max number of (binary) nodes to be added by FX - int nNodesAlloc; // the total number of all nodes - int * pNode2Value; // for each node, the number of its first value - // the information about values - int nValuesCi; // the total number of values of CI nodes - int nValuesInt; // the total number of values of int nodes - int nValuesOld; // the number of CI and int values - int nValuesNew; // the number of values added nodes - int nValuesExt; // the total number of values of the added nodes - int nValuesAlloc; // the total number of all values of all nodes - int * pValue2Node; // for each value, the number of its node - // the information about covers - Mvc_Cover_t ** ppCovers; // for each value, the corresponding cover - Mvc_Cover_t ** ppCoversNew; // for each value, the corresponding cover after FX - // the MVC manager - Mvc_Manager_t * pManMvc; -*/ - // statistics - int nNodesOld; // the old number of nodes int nNodesExt; // the number of divisors to extract - int nNodesNew; // the number of divisors extracted - + int nPairsMax; // the maximum number of cube pairs to consider // the input information Vec_Ptr_t * vSops; // the SOPs for each node in the network Vec_Ptr_t * vFanins; // the fanins of each node in the network @@ -87,6 +58,9 @@ struct FxuDataStruct Vec_Ptr_t * vFaninsNew; // the fanins of each node in the network after extraction // the SOP manager Extra_MmFlex_t * pManSop; + // statistics + int nNodesOld; // the old number of nodes + int nNodesNew; // the number of divisors actually extracted }; //////////////////////////////////////////////////////////////////////// |