diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-02-02 08:01:00 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-02-02 08:01:00 -0800 |
| commit | 3b790eb17e54cd922440a1a3b18a5cfdd5cbcadb (patch) | |
| tree | 67eca47f6d2a8acbcc51566c801620827544c3ff /src/aig/fra/fraCore.c | |
| parent | 0c6505a26a537dc911b6566f82d759521e527c08 (diff) | |
| download | abc-3b790eb17e54cd922440a1a3b18a5cfdd5cbcadb.tar.gz abc-3b790eb17e54cd922440a1a3b18a5cfdd5cbcadb.tar.bz2 abc-3b790eb17e54cd922440a1a3b18a5cfdd5cbcadb.zip | |
Version abc80202
Diffstat (limited to 'src/aig/fra/fraCore.c')
| -rw-r--r-- | src/aig/fra/fraCore.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/aig/fra/fraCore.c b/src/aig/fra/fraCore.c index 95d65e25..0157421b 100644 --- a/src/aig/fra/fraCore.c +++ b/src/aig/fra/fraCore.c @@ -378,6 +378,7 @@ clk = clock(); // call back the procedure to check implications if ( pManAig->pImpFunc ) pManAig->pImpFunc( p, pManAig->pImpData ); + // no need to filter one-hot clauses because they satisfy base case by construction // finalize the fraiged manager Fra_ManFinalizeComb( p ); if ( p->pPars->fChoicing ) |