Not logged in.  Login/Logout/Register | List snippets | | Create snippet | Upload image | Upload data

14
LINES

< > BotCompany Repo | #1011915 // Check if all webs are there after tripelization

JavaX source code (desktop) [tags: use-pretranspiled] - run with: x30.jar

Download Jar. Libraryless. Click here for Pure Java version (5988L/39K).

1  
!7
2  
3  
p {
4  
  File tripelizedDir = programDir(#1010745, "tripelized");
5  
  new Set<S> ids;
6  
  File file = new File(tripelizedDir, "triples.new.gz");
7  
  printFileInfo(file);
8  
  ids.addAll(collect('globalID, webs_readTripleFile(file)));
9  
  
10  
  File file2 = new File(tripelizedDir, "webs-made.new.gz");
11  
  printFileInfo(file2);
12  
  ids.addAll(collect('globalID, readWebsLog(file2, null)));
13  
  print("Have " + n(ids, "id"));
14  
}

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: #1011915
Snippet name: Check if all webs are there after tripelization
Eternal ID of this version: #1011915/5
Text MD5: 6d4791c54cfa689bcbe7e9a88b798876
Transpilation MD5: 61fcf0df71a65dbcfe5a950a4c1a3a41
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-10 02:22:06
Source code size: 420 bytes / 14 lines
Pitched / IR pitched: No / No
Views / Downloads: 343 / 829
Version history: 4 change(s)
Referenced in: [show references]