From 7174787abafe80437892b55a53f994da85a37342 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Tue, 5 Feb 2008 08:01:00 -0800 Subject: Version abc80205 --- src/aig/fra/fraInd.c | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) (limited to 'src/aig/fra/fraInd.c') 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 { -- cgit v1.2.3