static void ai_replaceTripleIndex(L<Web> webs) { tripleIndex().clear(); for (Web web : webs) tripleIndex().addWeb(web); }
Began life as a copy of #1012338
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: | #1012339 |
| Snippet name: | ai_replaceTripleIndex |
| Eternal ID of this version: | #1012339/1 |
| Text MD5: | 843b28e230c51eea0f06a4c2ccd1d468 |
| Author: | stefan |
| Category: | javax / a.i. |
| Type: | JavaX fragment (include) |
| Public (visible to everyone): | Yes |
| Archived (hidden from active list): | No |
| Created/modified: | 2017-11-28 15:03:26 |
| Source code size: | 133 bytes / 5 lines |
| Pitched / IR pitched: | No / No |
| Views / Downloads: | 349 / 387 |
| Referenced in: | #1006654 - Standard functions list 2 (LIVE, continuation of #761) #1012448 - ai_replaceTripleIndexWithTriples #1013768 - ai_clearTripleIndex |