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

13
LINES

< > BotCompany Repo | #1017649 // nlLogic_unrollAnd

JavaX fragment (include)

static L<Exp> nlLogic_unrollAnd(Exp e) {
  new L<Exp> l;
  nlLogic_unrollAnd_collect(e, l);
  ret l;
}

svoid nlLogic_unrollAnd_collect(Exp e, L<Exp> out) {
  if (e cast And) {
    nlLogic_unrollAnd_collect(e.a, out);
    nlLogic_unrollAnd_collect(e.b, out);
  } else
    addIfNotNull(out, e);
}

download  show line numbers  debug dex  old transpilations   

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

No comments. add comment

Snippet ID: #1017649
Snippet name: nlLogic_unrollAnd
Eternal ID of this version: #1017649/2
Text MD5: 6a9b443bffed27cab1d76a76562b17ba
Author: stefan
Category: javax / a.i.
Type: JavaX fragment (include)
Public (visible to everyone): Yes
Archived (hidden from active list): No
Created/modified: 2018-07-31 14:18:06
Source code size: 307 bytes / 13 lines
Pitched / IR pitched: No / No
Views / Downloads: 297 / 316
Version history: 1 change(s)
Referenced in: [show references]