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).

!7

p {
  File tripelizedDir = programDir(#1010745, "tripelized");
  new Set<S> ids;
  File file = new File(tripelizedDir, "triples.new.gz");
  printFileInfo(file);
  ids.addAll(collect('globalID, webs_readTripleFile(file)));
  
  File file2 = new File(tripelizedDir, "webs-made.new.gz");
  printFileInfo(file2);
  ids.addAll(collect('globalID, readWebsLog(file2, null)));
  print("Have " + n(ids, "id"));
}

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: 338 / 815
Version history: 4 change(s)
Referenced in: [show references]