Download Jar. Libraryless. Click here for Pure Java version (6295L/41K).
1 | !7 |
2 | |
3 | p { |
4 | Collection<Web> webs = websMadeByProgram(#1010745); |
5 | Pair<L<Web>> p = webs_tripelizable_nonTripelizable(webs); |
6 | File file = getProgramFile("triples.gz"); |
7 | PrintWriter out = newPrintWriter(newGZIPOutputStream(file)); |
8 | webs_toTripleFile(p.a, out); |
9 | out.close(); |
10 | print("Stored " + nWeb(p.a) + " in " + f2s(file) + ", skipped " + nWeb(p.b)); |
11 | |
12 | L<Web> read = webs_readTripleFile(file); |
13 | print("Read back " + nWebs(read)); |
14 | print("Random web:"); |
15 | printWeb(random(read)); |
16 | } |
download show line numbers debug dex old transpilations
Travelled to 13 computer(s): aoiabmzegqzx, bhatertpkbcr, cbybwowwnfue, cfunsshuasjs, gwrvuhgaqvyk, ishqpsrjomds, lpdgvwnxivlt, mqqgnosmbjvj, pyentgdyhuwx, pzhvpgtvlbxg, tslmcundralx, tvejysmllsmz, vouqrxazstgt
No comments. add comment
Snippet ID: | #1011767 |
Snippet name: | Test writing & reading triple file [probably OK] |
Eternal ID of this version: | #1011767/12 |
Text MD5: | 8c2fc6ca19a0ce745001587b782c6647 |
Transpilation MD5: | ed0799b9b2cb8dac3f60de07c0528f12 |
Author: | stefan |
Category: | javax / a.i. |
Type: | JavaX source code (desktop) |
Public (visible to everyone): | Yes |
Archived (hidden from active list): | No |
Created/modified: | 2017-11-05 03:43:22 |
Source code size: | 504 bytes / 16 lines |
Pitched / IR pitched: | No / No |
Views / Downloads: | 509 / 1086 |
Version history: | 11 change(s) |
Referenced in: | [show references] |