Lines Matching refs:pFileOut
272 FILE * pFileOut = fopen( pFileNameOut[n], "wb" ); in Gia_ManDumpPlaFiles() local
274 fprintf( pFileOut, ".i %d\n", Gia_ManCiNum(p) ); in Gia_ManDumpPlaFiles()
275 fprintf( pFileOut, ".o %d\n", Gia_ManCoNum(p) ); in Gia_ManDumpPlaFiles()
276 fprintf( pFileOut, ".p %d\n", nSize[n]*64 ); in Gia_ManDumpPlaFiles()
277 fprintf( pFileOut, ".type fr\n" ); in Gia_ManDumpPlaFiles()
283 fprintf( pFileOut, "%d", Abc_TtGetBit(Gia_ManObjSim(p, Id), k) ); in Gia_ManDumpPlaFiles()
285 fprintf( pFileOut, " " ); in Gia_ManDumpPlaFiles()
289 fprintf( pFileOut, "%d", Abc_TtGetBit(Gia_ManObjSim(p, Id), k) ); in Gia_ManDumpPlaFiles()
291 fprintf( pFileOut, "\n" ); in Gia_ManDumpPlaFiles()
293 fprintf( pFileOut, ".e\n" ); in Gia_ManDumpPlaFiles()
295 fclose( pFileOut ); in Gia_ManDumpPlaFiles()