diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2017-03-26 14:38:04 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2017-03-26 14:38:04 -0700 |
| commit | d0ea4853ec8da057f76f7846d895c0207670cb11 (patch) | |
| tree | 8d852e1efe65fbf3f7b85ab7f38fd2f7435ccfa7 /src/proof/acec/acecMult.c | |
| parent | a34d8cbb364857fb6b5fad6ddfbcdaa6b275c512 (diff) | |
| download | abc-d0ea4853ec8da057f76f7846d895c0207670cb11.tar.gz abc-d0ea4853ec8da057f76f7846d895c0207670cb11.tar.bz2 abc-d0ea4853ec8da057f76f7846d895c0207670cb11.zip | |
Experiments with multipliers.
Diffstat (limited to 'src/proof/acec/acecMult.c')
| -rw-r--r-- | src/proof/acec/acecMult.c | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/src/proof/acec/acecMult.c b/src/proof/acec/acecMult.c index c63fdde2..66ee2fb7 100644 --- a/src/proof/acec/acecMult.c +++ b/src/proof/acec/acecMult.c @@ -189,6 +189,7 @@ unsigned Extra_TruthCanonNPN2( unsigned uTruth, int nVars, Vec_Int_t * vRes ) for ( k = 0; k < nPerms; k++ ) { uPerm = Extra_TruthPermute( uPhase, pPerms[k], nVars, 0 ); + if ( !(uPerm & 1) ) Vec_IntPushUnique( vRes, uPerm ); if ( uTruthMin > uPerm ) uTruthMin = uPerm; @@ -197,6 +198,7 @@ unsigned Extra_TruthCanonNPN2( unsigned uTruth, int nVars, Vec_Int_t * vRes ) for ( k = 0; k < nPerms; k++ ) { uPerm = Extra_TruthPermute( uPhase, pPerms[k], nVars, 0 ); + if ( !(uPerm & 1) ) Vec_IntPushUnique( vRes, uPerm ); if ( uTruthMin > uPerm ) uTruthMin = uPerm; @@ -233,8 +235,12 @@ void Acec_MultFuncTest4() Vec_Int_t * vRes = Vec_IntAlloc( 1000 ); int i, Entry; - unsigned Truth = 0x35C0; + unsigned Truth = 0xF3C0; +// unsigned Truth = 0xF335; +// unsigned Truth = 0xFD80; //unsigned Truth = 0xD728; + //unsigned Truth = 0x35C0; + //unsigned Truth = 0xACC0; unsigned Canon = Extra_TruthCanonNPN2( Truth, 4, vRes ); Extra_PrintHex( stdout, (unsigned*)&Truth, 4 ); printf( "\n" ); |