| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/io/ |
| H A D | ioWriteAiger.c | 269 void Io_WriteAiger_old( Abc_Ntk_t * pNtk, char * pFileName, int fWriteSymbols, int fCompact ) in Io_WriteAiger_old() argument
284 if ( !fCompact ) in Io_WriteAiger_old()
311 fCompact? "2" : "", in Io_WriteAiger_old()
327 if ( !fCompact ) in Io_WriteAiger_old()
635 void Io_WriteAiger( Abc_Ntk_t * pNtk, char * pFileName, int fWriteSymbols, int fCompact, int fUniqu… in Io_WriteAiger() argument
649 fCompact = 0; in Io_WriteAiger()
659 if ( !fCompact ) in Io_WriteAiger()
708 fCompact? "2" : "", in Io_WriteAiger()
724 if ( !fCompact ) in Io_WriteAiger()
|
| H A D | ioAbc.h | 102 … Io_WriteAiger( Abc_Ntk_t * pNtk, char * pFileName, int fWriteSymbols, int fCompact, int fUnique );
|
| H A D | io.c | 1555 int fCompact; in IoCommandWriteAiger() local
1561 fCompact = 0; in IoCommandWriteAiger()
1573 fCompact ^= 1; in IoCommandWriteAiger()
1611 Io_WriteAiger( pTemp, pFileName, fWriteSymbols, fCompact, fUnique ); in IoCommandWriteAiger()
1615 Io_WriteAiger( pAbc->pNtkCur, pFileName, fWriteSymbols, fCompact, fUnique ); in IoCommandWriteAiger()
1622 …fprintf( pAbc->Err, "\t-c : toggle writing more compactly [default = %s]\n", fCompact? "yes" :… in IoCommandWriteAiger()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/ioa/ |
| H A D | ioaWriteAig.c | 405 void Ioa_WriteAigerBufferTest( Aig_Man_t * pMan, char * pFileName, int fWriteSymbols, int fCompact ) in Ioa_WriteAigerBufferTest() argument
446 void Ioa_WriteAiger( Aig_Man_t * pMan, char * pFileName, int fWriteSymbols, int fCompact ) in Ioa_WriteAiger() argument
487 fCompact? "2" : "", in Ioa_WriteAiger()
503 if ( !fCompact ) in Ioa_WriteAiger()
|
| H A D | ioa.h | 69 …id Ioa_WriteAiger( Aig_Man_t * pMan, char * pFileName, int fWriteSymbols, int fCompact );
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
| H A D | giaAiger.c | 1086 void Gia_AigerWrite( Gia_Man_t * pInit, char * pFileName, int fWriteSymbols, int fCompact, int fWri… in Gia_AigerWrite() argument
1127 fCompact? "2" : "", in Gia_AigerWrite()
1139 if ( !fCompact ) in Gia_AigerWrite()
|
| H A D | gia.h | 1215 …Gia_AigerWrite( Gia_Man_t * p, char * pFileName, int fWriteSymbols, int fCompact, int fWriteNewLin…
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/aig/ |
| H A D | aigPartReg.c | 415 … extern void Ioa_WriteAiger( Aig_Man_t * pMan, char * pFileName, int fWriteSymbols, int fCompact ); in Aig_ManRegPartitionSmart()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/fra/ |
| H A D | fraInd.c | 607 … extern void Ioa_WriteAiger( Aig_Man_t * pMan, char * pFileName, int fWriteSymbols, int fCompact ); in Fra_FraigInduction()
|
| H A D | fraClaus.c | 1542 … extern void Ioa_WriteAiger( Aig_Man_t * pMan, char * pFileName, int fWriteSymbols, int fCompact ); in Fra_ClausWriteIndClauses()
|