diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2018-08-01 19:09:54 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2018-08-01 19:09:54 -0800 |
| commit | b90528ab1ee586d64124460dc359998f44f56842 (patch) | |
| tree | 306afbcf3b1ed244c15e890c2a67e3c699695c42 /src | |
| parent | 9c81dac95fd39a6be5c8a8193222d9c24a1c0181 (diff) | |
| download | abc-b90528ab1ee586d64124460dc359998f44f56842.tar.gz abc-b90528ab1ee586d64124460dc359998f44f56842.tar.bz2 abc-b90528ab1ee586d64124460dc359998f44f56842.zip | |
Experiments with function enumeration.
Diffstat (limited to 'src')
| -rw-r--r-- | src/opt/dau/dauNpn.c | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/src/opt/dau/dauNpn.c b/src/opt/dau/dauNpn.c index 2b3725dc..7767f596 100644 --- a/src/opt/dau/dauNpn.c +++ b/src/opt/dau/dauNpn.c @@ -28,7 +28,7 @@ ABC_NAMESPACE_IMPL_START /// DECLARATIONS /// //////////////////////////////////////////////////////////////////////// -//#define USE4VARS 1 +#define USE4VARS 1 //////////////////////////////////////////////////////////////////////// /// FUNCTION DEFINITIONS /// @@ -162,6 +162,7 @@ void Dau_AddFunction( word tCur, int nVars, unsigned * pTable, Vec_Int_t * vNpns void Dau_NetworkEnum() { abctime clk = Abc_Clock(); + int Limit = 1; #ifdef USE4VARS int nVars = 4; int nSizeW = 1 << 14; @@ -189,7 +190,7 @@ void Dau_NetworkEnum() { word Cof0 = Abc_Tt6Cofactor0( uTruth, nVars-1-v ); word Cof1 = Abc_Tt6Cofactor1( uTruth, nVars-1-v ); - for ( g = 0; g < 2; g++ ) + for ( g = 0; g < Limit; g++ ) { if ( nSupp < nVars ) { @@ -198,7 +199,7 @@ void Dau_NetworkEnum() Dau_AddFunction( tCur, nVars, pTable, vNpns ); } } - for ( g = 0; g < 2; g++ ) + for ( g = 0; g < Limit; g++ ) { // add one cross bar for ( k = 0; k < nSupp; k++ ) if ( k != v ) @@ -214,7 +215,7 @@ void Dau_NetworkEnum() } } } - for ( g = 0; g < 2; g++ ) + for ( g = 0; g < Limit; g++ ) { // add two cross bars for ( k = 0; k < nSupp; k++ ) if ( k != v ) |