diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2008-02-05 08:01:00 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2008-02-05 08:01:00 -0800 |
| commit | 7174787abafe80437892b55a53f994da85a37342 (patch) | |
| tree | 0df4c6f35d99111d757aa9b8091853b8f88ee762 /src/aig/fra/fraInd.c | |
| parent | 3b790eb17e54cd922440a1a3b18a5cfdd5cbcadb (diff) | |
| download | abc-7174787abafe80437892b55a53f994da85a37342.tar.gz abc-7174787abafe80437892b55a53f994da85a37342.tar.bz2 abc-7174787abafe80437892b55a53f994da85a37342.zip | |
Version abc80205
Diffstat (limited to 'src/aig/fra/fraInd.c')
| -rw-r--r-- | src/aig/fra/fraInd.c | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/src/aig/fra/fraInd.c b/src/aig/fra/fraInd.c index f345b6d1..07044b52 100644 --- a/src/aig/fra/fraInd.c +++ b/src/aig/fra/fraInd.c @@ -470,8 +470,16 @@ clk2 = clock(); clk2 = clock(); if ( p->pPars->fWriteImps && p->vOneHots && Fra_OneHotCount(p, p->vOneHots) ) { + extern void Ioa_WriteAiger( Aig_Man_t * pMan, char * pFileName, int fWriteSymbols, int fCompact ); + char Buffer[500]; + Aig_Man_t * pNew; pManAigNew = Aig_ManDup( pManAig, 1 ); - pManAigNew->pManExdc = Fra_OneHotCreateExdc( p, p->vOneHots ); +// pManAigNew->pManExdc = Fra_OneHotCreateExdc( p, p->vOneHots ); + pNew = Fra_OneHotCreateExdc( p, p->vOneHots ); + sprintf( Buffer, "%s_care.aig", p->pManAig->pName ); + printf( "Care one-hotness clauses are written into file \"%s\".\n", Buffer ); + Ioa_WriteAiger( pNew, Buffer, 0, 1 ); + Aig_ManStop( pNew ); } else { |