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

10
LINES

< > BotCompany Repo | #1027183 // philosophyBot1_allSimplifications_gen - get all simplification pairs (generic version)

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

Libraryless. Click here for Pure Java version (2746L/17K).

static LPairS philosophyBot1_allSimplifications_gen(virtual PhilosophyBot1 bot) {
  new LPairS out;
  for (WithTrail<S> fact : (L<WithTrail<S>>) shallowImportAll((Iterable) rcall deducedFactsWithTrails(bot))) {
    Map map = optCast Map(fact.trail);
    S op = optCast S(mapGet(map, "op"));
    if (eq(op, "gazelle_deepTransform_withTrail"))
      out.add(pair((S) map.get("input"), fact!);
  }
  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: #1027183
Snippet name: philosophyBot1_allSimplifications_gen - get all simplification pairs (generic version)
Eternal ID of this version: #1027183/2
Text MD5: 2678ef13dcbbf48c2821988484d18e19
Transpilation MD5: a0f6318ee507c357d31e64c0f1c7be28
Author: stefan
Category: javax
Type: JavaX fragment (include)
Public (visible to everyone): Yes
Archived (hidden from active list): No
Created/modified: 2020-02-24 12:42:45
Source code size: 416 bytes / 10 lines
Pitched / IR pitched: No / No
Views / Downloads: 205 / 302
Version history: 1 change(s)
Referenced in: #1006654 - Standard functions list 2 (LIVE, continuation of #761)