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