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

13
LINES

< > BotCompany Repo | #1026747 // ai_findConfirmedPropositionsWithPattern (from feedback dir)

JavaX fragment (include) [tags: use-pretranspiled]

Libraryless. Click here for Pure Java version (5281L/34K).

static LPair<ListWithFeedback, WithFeedback<Proposition>> ai_findConfirmedPropositionsWithPattern(S pat) {
  new LPair<ListWithFeedback, WithFeedback<Proposition>> out;
  for (File f : listFilesWithExtension(".struct", ai_listsWithFeedbackDir())) pcall {
    ListWithFeedback list = ai_loadListWithFeedback(f);
    fOr (WithFeedback<WithReasoning<S>> entry : list.data) {
      if (!startsWithPlus(entry.feedback)) continue;
      Proposition p = entry!;
      if (match(pat, p!))
        out.add(pair(list, entry));
    }
  }
  ret out;
}

download  show line numbers  debug dex  old transpilations   

Travelled to 7 computer(s): bhatertpkbcr, mqqgnosmbjvj, pyentgdyhuwx, pzhvpgtvlbxg, tvejysmllsmz, vouqrxazstgt, xrpafgyirdlv

No comments. add comment

Snippet ID: #1026747
Snippet name: ai_findConfirmedPropositionsWithPattern (from feedback dir)
Eternal ID of this version: #1026747/1
Text MD5: 7ad078bec173c42a18adfa34256cd325
Transpilation MD5: 09d102af104d88dbf79ded4c9910e9f1
Author: stefan
Category: javax
Type: JavaX fragment (include)
Public (visible to everyone): Yes
Archived (hidden from active list): No
Created/modified: 2020-01-19 22:06:15
Source code size: 551 bytes / 13 lines
Pitched / IR pitched: No / No
Views / Downloads: 184 / 267
Referenced in: [show references]