< > BotCompany Repo | #1004299 // gSat - satisfy a statement with variables in log

JavaX fragment (include)

static IterableIterator<SS> gSat(S statement) {
  final new L<S> vars;
  S pat = upperCaseVarsToStars(statement, vars);
  ret mapI(func(Matches m) {
    new SS map;
    for (int i = 0; i < l(m.m); i++)
      map.put(vars.get(i), m.unq(i));
    ret map;
  }, gJMatch(pat));
}

download  show line numbers  debug dex  old transpilations   

Travelled to 14 computer(s): aoiabmzegqzx, bhatertpkbcr, cbybwowwnfue, cfunsshuasjs, ddnzoavkxhuk, gwrvuhgaqvyk, ishqpsrjomds, lpdgvwnxivlt, mqqgnosmbjvj, pyentgdyhuwx, pzhvpgtvlbxg, tslmcundralx, tvejysmllsmz, vouqrxazstgt

No comments. add comment