Exemplo n.º 1
0
  static u2_noun                                                  //  transfer
  _seek_silk_yew(u2_wire wir_r, 
                 u2_noun van,                                     //  retain
                 u2_noun syx,                                     //  retain
                 u2_noun qq_tor)                                  //  retain
  {
    if ( u2_nul == qq_tor ) {
      return u2_nul;
    }
    else {
      u2_noun iqq_tor  = u2_h(qq_tor);
      u2_noun qiqq_tor = u2_t(iqq_tor);
      u2_noun yon      = _seek_silk_yew(wir_r, van, syx, u2_t(qq_tor));

      if ( c3__yew != u2_h(qiqq_tor) ) {
        return yon;
      } else {
        u2_noun nuy = j2_mby(Pt6, look)(wir_r, syx, u2_t(qiqq_tor));

        if ( u2_nul == nuy ) {
          return u2_bl_error(wir_r, "silk");
        }
        else {
          yon = u2_bc(wir_r, u2_rx(wir_r, u2_t(nuy)), yon);
          u2_rz(wir_r, nuy);
          return yon;
        }
      }
    } 
  }
Exemplo n.º 2
0
  static u2_noun                                                  //  transfer
  _seek_silk(u2_wire wir_r, 
             u2_noun van,                                         //  retain
             u2_noun syx,                                         //  retain
             u2_noun tor)                                         //  retain
  {
    u2_noun p_tor, q_tor, pq_tor, qq_tor;
    u2_noun hey, ret;

    u2_as_cell(tor, &p_tor, &q_tor);
    if ( u2_yes == u2_h(q_tor) ) {
      return u2_nul;
    }
    u2_as_cell(u2_t(q_tor), &pq_tor, &qq_tor);
   
    hey = _seek_silk_yew(wir_r, van, syx, qq_tor);
    if ( u2_nul == hey ) {
      return u2_nul;
    }
    if ( u2_ckb_lent(u2_rx(wir_r, hey)) != 
         u2_ckb_lent(u2_rx(wir_r, qq_tor)) ) 
    {
      return u2_bl_error(wir_r, "silk");
    }

    ret = u2_bq
      (wir_r, u2_nul, 
              u2_no,
              j2_mbc(Pt3, peg)(wir_r, pq_tor, _seek_silk_yaw(wir_r, hey)),
              _seek_silk_fum(wir_r, hey, qq_tor));

    u2_rz(wir_r, hey);
    return ret;
  }
Exemplo n.º 3
0
/* logic
*/
  u2_noun                                                         //  transfer
  j2_mcx(Pt6, ut, bust)(u2_wire wir_r, 
                        u2_noun van,                              //  retain
                        u2_noun sut,                              //  retain
                        u2_noun dib)                              //  retain
  {
    u2_noun yam = j2_mcy(Pt6, ut, burn)(wir_r, van, sut);
    u2_noun yib = u2_bc
      (wir_r,
       u2_bc(wir_r, u2_rx(wir_r, u2_bi_h(wir_r, u2_bi_h(wir_r, yam))),
                    u2_rx(wir_r, dib)),
       u2_rx(wir_r, u2_bi_t(wir_r, yam)));
    u2_noun woo = u2_bc(wir_r, c3__cnbc, u2_blip);
    u2_noun wox = j2_mcy(Pt6, ut, mint)(wir_r, van, sut, c3__noun, woo);
    u2_noun ret = u2_nk_nock(wir_r, yib, u2_t(wox));

    if ( u2_none == ret ) {
      return u2_bl_error(wir_r, "bust-nock");
    }
    u2_rz(wir_r, wox);
    u2_rz(wir_r, woo);
    u2_rz(wir_r, yam);

    return ret;
  }
Exemplo n.º 4
0
  static u2_noun
  _heal_by(u2_wire wir_r,
           u2_noun van,
           u2_noun sut,
           u2_noun qog, 
           u2_noun ref)
  {
    u2_noun p_sut, q_sut;

    if ( u2_no == u2_dust(sut) ) {
      return u2_bl_error(wir_r, "heal-name");
    }
    else switch ( u2_h(sut) ) {
      default: return u2_bl_error(wir_r, "heal-name");

      case c3__core:
      {
        return u2_rx(wir_r, ref);
      }
      case c3__face: u2_bi_cell(wir_r, u2_t(sut), &p_sut, &q_sut);
      {
        if ( u2_yes == u2_sing(p_sut, u2_t(qog)) ) {
          return j2_mby(Pt6, face)(wir_r, p_sut, ref);
        }
        else return u2_bl_error(wir_r, "heal-name");
      }
      case c3__fine: 
      case c3__hold: {
        u2_noun rep = j2_mcy(Pt6, ut, repo)(wir_r, van, sut);
        u2_noun ret = _heal_by(wir_r, van, rep, qog, ref);

        u2_rz(wir_r, rep);
        return ret;
      }
      case c3__fork: u2_bi_cell(wir_r, u2_t(sut), &p_sut, &q_sut);
      {
        u2_noun dis = _heal_by(wir_r, van, p_sut, qog, ref);
        u2_noun dat = _heal_by(wir_r, van, q_sut, qog, ref);
        u2_noun ret = j2_mby(Pt6, fork)(wir_r, dis, dat);

        u2_rl_lose(wir_r, dis);
        u2_rl_lose(wir_r, dat);
        return ret;
      }
    }
  }
/* u2_cm_foul():
*/
u2_noun
u2_cm_foul(const c3_c* err_c)
{
  u2_cm_bean(u2_ci_string(err_c));
  fprintf(stderr, "foul: %s\n", err_c);

  return u2_bl_error(u2_Wire, err_c);
}
Exemplo n.º 6
0
/* logic
*/
  u2_noun                                                         //  transfer
  j2_mcy(Pt6, ut, repo)(u2_wire wir_r, 
                        u2_noun van,                              //  retain
                        u2_noun sut)                              //  retain
  {
    u2_noun p_sut, q_sut;

    if ( u2_no == u2_dust(sut) ) switch ( sut ) {
      default: return u2_rx(wir_r, sut);

      case c3__noun: 
        return u2_bt(wir_r, c3__fork, 
                            u2_bc(wir_r, c3__atom, u2_blip),
                            u2_bt(wir_r, c3__cell, c3__noun, c3__noun));
    }
    else switch ( u2_h(sut) ) {
      default: {
        return u2_bl_error(wir_r, "repo-flat");
      }

      case c3__bull: {
        if ( u2_no == u2_as_cell(u2_t(sut), &p_sut, &q_sut)) {
          return u2_bl_bail(wir_r, c3__fail);
        } else {
          return u2_rx(wir_r, q_sut);
        }
      }
      case c3__core: {
        if ( u2_no == u2_as_cell(u2_t(sut), &p_sut, &q_sut) ) {
          return u2_bl_bail(wir_r, c3__fail);
        } else {
          return u2_bt(wir_r, c3__cell, c3__noun, u2_rx(wir_r, p_sut));
        }
      }
      case c3__cube: {
        if ( u2_no == u2_as_cell(u2_t(sut), &p_sut, &q_sut)) {
          return u2_bl_bail(wir_r, c3__fail);
        } else {
          return u2_rx(wir_r, q_sut);
        }
      }
      case c3__face: {
        if ( u2_no == u2_as_cell(u2_t(sut), &p_sut, &q_sut)) {
          return u2_bl_bail(wir_r, c3__fail);
        } else {
          return u2_rx(wir_r, q_sut);
        }
      }
      case c3__hold: {
        p_sut = u2_t(sut);
        return j2_mcy(Pt6, ut, rest)(wir_r, van, sut, p_sut);
      }
    }
  }
Exemplo n.º 7
0
  static u2_noun                                                  //  retain
  _seek_silk_yaw(u2_noun wir_r,
                 u2_noun hey)                                     //  retain
  {
    u2_atom axe = 0;

    while ( u2_nul != hey ) {
      if ( axe == 0 ) {
        axe = u2_h(u2_h(hey));
      } else if ( axe != u2_h(u2_h(hey)) ) {
        return u2_bl_error(wir_r, "silk");
      }
      hey = u2_t(hey);
    }
  }
Exemplo n.º 8
0
  static u2_noun                                                  //  produce
  _mull_nice(u2_wire wir_r,
             u2_noun van,                                         //  retain
             u2_noun gol,                                         //  retain
             u2_noun typ)                                         //  submit
  {
    if ( u2_no == j2_mcy(Pt6, ut, nest)(wir_r, van, gol, u2_yes, typ) ) {
      u2_noun dun = j2_mcy(Pt6, ut, dunq)(wir_r, van, "need", gol);
      u2_noun niz = j2_mcy(Pt6, ut, dunq)(wir_r, van, "have", typ);

      u2_bl_push(wir_r, u2_bc(wir_r, c3__mean, dun));
      u2_bl_push(wir_r, u2_bc(wir_r, c3__mean, niz));

      return u2_bl_error(wir_r, "mull-nice");
    }
    else return typ;
  }
Exemplo n.º 9
0
  static u2_noun                                                  //  produce
  _mull_edit(u2_wire wir_r,
             u2_noun van,                                         //  retain
             u2_noun sut,                                         //  retain
             u2_noun dox,                                         //  retain
             u2_noun mew,                                         //  retain
             u2_noun p_yom,                                       //  submit
             u2_noun q_yom)                                       //  submit
  {
    while ( 1 ) {
      if ( u2_no == u2_dust(mew) ) {
        return u2_bc(wir_r, p_yom, q_yom);
      } else {
        u2_noun i_mew = u2_h(mew);
        u2_noun t_mew = u2_t(mew);
        u2_noun pi_mew = u2_h(i_mew);
        u2_noun qi_mew = u2_t(i_mew);
        u2_noun zil = _mull_in(wir_r, van, sut, c3__noun, dox, qi_mew);
        u2_noun p_zil = u2_h(zil);
        u2_noun q_zil = u2_t(zil);
        u2_noun cuf = j2_mcy(Pt6, ut, tock)
              (wir_r, van, sut, pi_mew, p_zil, p_yom);
        u2_noun dof = j2_mcy(Pt6, ut, tock)
              (wir_r, van, sut, pi_mew, q_zil, q_yom);
        u2_noun vov = u2_sing(u2_h(cuf), u2_h(dof))
                        ? u2_bl_error(wir_r, "mull-bonk-a")
                        : 0;
       
        vov = vov;

        u2_rz(wir_r, p_yom);
        p_yom = u2_rx(wir_r, u2_t(cuf));

        u2_rz(wir_r, q_yom);
        q_yom = u2_rx(wir_r, u2_t(dof));

        u2_rz(wir_r, dof);
        u2_rz(wir_r, cuf);
        u2_rz(wir_r, zil);

        mew = t_mew;
      }
    }
  }
Exemplo n.º 10
0
  static u2_noun                                                  //  produce
  _mint_coke(u2_wire wir_r,
             u2_noun nug)                                         //  submit
  {
    u2_atom axe;

    if ( 0 == u2_h(nug) ) {
      axe = u2_t(nug);
    } else if ( 10 == u2_h(nug) ) {
      u2_noun xin = u2_rx(wir_r, u2_t(u2_t(nug)));

      axe = _mint_coke(wir_r, xin);
    }
    else {
      return u2_bl_error(wir_r, "mint-coke");
    }
    u2_rz(wir_r, nug);
    return axe;
  }
Exemplo n.º 11
0
u2_noun                                                         //  produce
j2_mcx(Pt6, ut, rest)(u2_wire wir_r,
                      u2_noun van,                              //  retain
                      u2_noun sut,                              //  retain
                      u2_noun leg)                              //  retain
{
    u2_noun fan = u2_frag(j2_ut_van_fan, van);

    if ( u2_yes == _rest_hit_fan(wir_r, fan, leg) ) {
        return u2_bl_error(wir_r, "rest-loop");
    }
    else {
        u2_noun naf = j2_mcc(Pt4, in, gas)(wir_r, fan, leg);
        u2_noun nav = u2_bn_molt(wir_r, van, j2_ut_van_fan, naf, 0);
        u2_noun mez = _rest_in(wir_r, nav, leg);

        u2_rz(wir_r, naf);
        u2_rz(wir_r, nav);
        return mez;
    }
}
Exemplo n.º 12
0
  static u2_flag
  _nest_dext_to(u2_wire wir_r,
                u2_noun van,
                u2_noun sut,
                u2_flag tel,
                u2_noun ref,
                u2_noun gil)
  {
    u2_flag tyn = _nest_dext_in(wir_r, van, sut, tel, ref, gil);

    if ( (u2_yes == tyn) || (u2_no == tel) ) {
      return tyn;
    } else {
      u2_noun dun = j2_mcy(Pt6, ut, dunq)(wir_r, van, "need", sut);
      u2_noun niz = j2_mcy(Pt6, ut, dunq)(wir_r, van, "have", ref);

      u2_bl_push(wir_r, u2_bc(wir_r, c3__mean, dun));
      u2_bl_push(wir_r, u2_bc(wir_r, c3__mean, niz));

      return u2_bl_error(wir_r, "nest-fail");
    }
  }
Exemplo n.º 13
0
/* logic
*/
  u2_noun                                                         //  transfer
  j2_mcx(Pt6, ut, fink)(u2_wire wir_r, 
                        u2_noun van,                              //  retain
                        u2_noun sut,                              //  retain
                        u2_noun dep,                              //  retain
                        u2_noun way,                              //  retain
                        u2_noun cog)                              //  retain
  {
    // u2_noun dun = j2_mcy(Pt6, ut, dunq)(wir_r, van, "type", sut);
    u2_noun nuc = (u2_blip == cog) 
      ? j2_mcy(Pt6, ut, shew)
          (wir_r, van,
                  u2_bc
                    (wir_r, u2_bc(wir_r, 'c', u2_bn_string(wir_r, "find-limb")),
                            9509))
      :  j2_mcy(Pt6, ut, shep)
          (wir_r, van, "find-limb", 'a', u2_rx(wir_r, cog));
    u2_noun pro;

    // u2_bl_push(wir_r, u2_bc(wir_r, c3__mean, dun));
    u2_bl_push(wir_r, u2_bc(wir_r, c3__mean, nuc));
    {
      u2_noun hoq = j2_mcy(Pt6, ut, find)(wir_r, van, sut, dep, way, cog);
      u2_noun fin = u2_t(hoq);

      if ( u2_nul == fin ) {
        return u2_bl_error(wir_r, "find-none");
      }
      else {
        pro = u2_rx(wir_r, u2_t(fin));
        u2_rl_lose(wir_r, hoq);
      }
    }
    // u2_bl_drop(wir_r);
    u2_bl_drop(wir_r);

    return pro;
  }
Exemplo n.º 14
0
  static u2_noun
  _fuse_in(u2_wire wir_r,
           u2_noun van,
           u2_noun sut,
           u2_noun ref,
           u2_noun bix)
  {
    u2_noun p_sut, q_sut, r_sut;

    if ( u2_yes == u2_sing(sut, ref) || (c3__noun == ref) ) {
      return u2_rx(wir_r, sut);
    }
    if ( u2_no == u2_dust(sut) ) switch ( sut ) {
      default: return u2_bl_bail(wir_r, c3__fail);

      case c3__noun: 
      {
        return u2_rx(wir_r, ref);
      }
      case c3__void:
      {
        return c3__void;
      }
    }
    else switch ( u2_h(sut) ) {
      default: return u2_bl_bail(wir_r, c3__fail);

      case c3__atom:
      {
        if ( u2_yes == u2_dust(ref) ) {
          if ( c3__atom == u2_h(ref) ) {
            if ( u2_yes == _fuse_fitz(wir_r, u2_t(ref), u2_t(sut)) ) {
              return u2_rx(wir_r, sut);
            } else return u2_rx(wir_r, ref);
          }
          else if ( c3__cell == u2_h(ref) ) {
            return c3__void;
          }
        }
        return _fuse_in(wir_r, van, ref, sut, bix);
      }
      case c3__cell: u2_bi_cell(wir_r, u2_t(sut), &p_sut, &q_sut);
      {
        u2_noun p_ref, q_ref;

        if ( u2_yes == u2_as_pq(ref, c3__cell, &p_ref, &q_ref) ) {
          u2_noun hed = _fuse_in(wir_r, van, p_sut, p_ref, bix);
          u2_noun tal = _fuse_in(wir_r, van, q_sut, q_ref, bix);
          u2_noun ret = j2_mby(Pt6, cell)(wir_r, hed, tal);

          u2_rl_lose(wir_r, hed);
          u2_rl_lose(wir_r, tal);
          return ret;
        }
        else return _fuse_in(wir_r, van, ref, sut, bix);
      }
      case c3__core: 
      {
        return _fuse_repo(wir_r, van, sut, ref, bix);
      }
      case c3__cube: u2_bi_cell(wir_r, u2_t(sut), &p_sut, &q_sut);
      {
        u2_noun foz = _fuse_in(wir_r, van, q_sut, ref, bix);
        u2_noun ret;
        
        if ( u2_no == j2_mcy(Pt6, ut, firm)(wir_r, van, foz, p_sut) ) {
          ret = c3__void;
        } else {
          ret = j2_mby(Pt6, cube)(wir_r, p_sut, foz);
        }
        u2_rz(wir_r, foz);
        return ret;
      }
      case c3__face: u2_bi_cell(wir_r, u2_t(sut), &p_sut, &q_sut);
      {
        u2_noun vot = _fuse_in(wir_r, van, q_sut, ref, bix);
        u2_noun ret = j2_mby(Pt6, face)(wir_r, p_sut, vot);

        u2_rl_lose(wir_r, vot);
        return ret;
      }
      case c3__fine: u2_bi_trel(wir_r, u2_t(sut), &p_sut, &q_sut, &r_sut);
      {
        u2_noun vot = _fuse_in(wir_r, van, r_sut, ref, bix);
        u2_noun ret = j2_mby(Pt6, fine)(wir_r, p_sut, q_sut, vot);

        u2_rz(wir_r, vot);
        return ret;
      }
      case c3__fork: u2_bi_cell(wir_r, u2_t(sut), &p_sut, &q_sut);
      {
        u2_noun dis = _fuse_in(wir_r, van, p_sut, ref, bix);
        u2_noun dat = _fuse_in(wir_r, van, q_sut, ref, bix);
        u2_noun ret = j2_mby(Pt6, fork)(wir_r, dis, dat);

        u2_rl_lose(wir_r, dis);
        u2_rl_lose(wir_r, dat);
        return ret;
      }
      case c3__hold: p_sut = u2_t(sut);
      {
        u2_noun hud = u2_bc(wir_r, u2_rx(wir_r, sut), u2_rx(wir_r, ref));

        if ( u2_yes == j2_mcc(Pt4, in, has)(wir_r, bix, hud) ) {
          u2_noun dun = j2_mcy(Pt6, ut, dunq)(wir_r, van, "type", sut);
          u2_noun niz = j2_mcy(Pt6, ut, dunq)(wir_r, van, "over", ref);

          u2_bl_push(wir_r, u2_bc(wir_r, c3__mean, dun));
          u2_bl_push(wir_r, u2_bc(wir_r, c3__mean, niz));

          return u2_bl_error(wir_r, "fuse-loop");
        } else {
          u2_noun bux = j2_mcc(Pt4, in, put)(wir_r, bix, hud);
          u2_noun ret = _fuse_repo(wir_r, van, sut, ref, bux);

          u2_rz(wir_r, hud);
          u2_rz(wir_r, bux);
          return ret;
        }
      }
    }
  }
Exemplo n.º 15
0
  static u2_noun                                                  //  produce
  _mint_in(u2_wire wir_r, 
           u2_noun van,                                           //  retain
           u2_noun sut,                                           //  retain
           u2_noun gol,                                           //  retain
           u2_noun gen)                                           //  retain
  {
    u2_noun p_gen, q_gen, r_gen;
    u2_noun ret;

    if ( (c3__void == sut) && 
         !((u2_yes == u2_dust(gen)) && (c3__zpcb == u2_h(gen))) )
    {
      if ( (u2_no == _mint_vet(wir_r, van))
           || ((u2_yes == u2_dust(gen)) && 
               ((c3__zpfs == u2_h(gen)) || (c3__zpzp == u2_h(gen)))) )
      {
        return u2_bt(wir_r, c3__void, _0, _0);
      }
      else {
        return u2_bl_error(wir_r, "mint-vain");
      }
    }

    if ( u2_no == u2_dust(gen) ) {
      u2_noun ter = u2_frag(u2_cw_con_2, van);
      u2_noun rex = j2_mcy(Pt6, ap, open)(wir_r, ter, gen);

      ret = _mint_in(wir_r, van, sut, gol, rex);
      u2_rl_lose(wir_r, rex);

      return ret;
    } 
    else if ( u2_yes == u2_dust(u2_h(gen)) ) {
      _mint_used(wir_r);
      {
        u2_noun hed = _mint_in(wir_r, van, sut, c3__noun, u2_h(gen));
        u2_noun tal = _mint_in(wir_r, van, sut, c3__noun, u2_t(gen));
        u2_noun typ = j2_mby(Pt6, cell)(wir_r, u2_h(hed), u2_h(tal));

        ret = u2_bc
          (wir_r,
           _mint_nice(wir_r, van, gol, typ),
           j2_mby(Pt6, cons)(wir_r, u2_t(hed), u2_t(tal)));

        u2_rl_lose(wir_r, hed);
        u2_rl_lose(wir_r, tal);

        return ret;
      }
    } else switch ( u2_h(gen) ) {
      default: {
        u2_noun ter = u2_frag(u2_cw_con_2, van);
        u2_noun rex = j2_mcy(Pt6, ap, open)(wir_r, ter, gen);

        if ( u2_yes == u2_sing(rex, gen) ) {
#if 1
          u2_noun zix = j2_mcy(Pt6, ut, shep)
                (wir_r, van, "gene", 'q', u2_rx(wir_r, gen));

          u2_bl_push(wir_r, u2_bc(wir_r, c3__mean, zix));
          return u2_bl_error(wir_r, "mint-open");
#else
          u2_err(wir_r, "h", u2_h(gen));
          return u2_bl_bail(wir_r, c3__fail);
#endif
        }
        ret = _mint_in(wir_r, van, sut, gol, rex);
        u2_rl_lose(wir_r, rex);

        return ret;
      }
      
      case c3__wtcn: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen);
      _mint_used(wir_r);
      {
        u2_noun vol = _mint_corn(wir_r, van, sut, q_gen);
        u2_noun axe = _mint_coke(wir_r, vol);
        u2_noun wam = j2_mcy(Pt6, ut, play)(wir_r, van, sut, p_gen);

        ret = u2_bc
          (wir_r,
           _mint_nice(wir_r, van, gol, _mint_flag(wir_r)),
           j2_mcy(Pt6, ut, fish)(wir_r, van, wam, axe));

        u2_rl_lose(wir_r, axe);
        u2_rl_lose(wir_r, wam);
        return ret;
      }
      case c3__wtcl: u2_bi_trel(wir_r, u2_t(gen), &p_gen, &q_gen, &r_gen);
      _mint_used(wir_r);
      {
        u2_noun bol = _mint_flag(wir_r);
        u2_noun nor = _mint_in(wir_r, van, sut, bol, p_gen);
        u2_noun fex = j2_mcy(Pt6, ut, gain)(wir_r, van, sut, p_gen);
        u2_noun wux = j2_mcy(Pt6, ut, lose)(wir_r, van, sut, p_gen);
        u2_noun duy = (c3__void == fex)
                        ? ( (c3__void == wux)
                             ?  u2_bc(wir_r, _0, _0)
                             :  u2_bc(wir_r, _1, _1) )
                        : ( (c3__void == wux)
                            ?  u2_bc(wir_r, _1, _0)
                            :  u2_rx(wir_r, u2_t(nor)) );
        u2_noun hiq = _mint_in(wir_r, van, fex, gol, q_gen);
        u2_noun ran = _mint_in(wir_r, van, wux, gol, r_gen);

        ret = u2_bc
          (wir_r, j2_mby(Pt6, fork)(wir_r, u2_h(hiq), u2_h(ran)),
                  _mint_cond(wir_r, duy, 
                                    u2_rx(wir_r, u2_t(hiq)),
                                    u2_rx(wir_r, u2_t(ran))));

        u2_rl_lose(wir_r, ran);
        u2_rl_lose(wir_r, hiq);
        u2_rl_lose(wir_r, nor);
        u2_rl_lose(wir_r, wux);
        u2_rl_lose(wir_r, fex);
        u2_rl_lose(wir_r, bol);

        return ret;
      }
      case c3__clhp: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen);
      _mint_used(wir_r);
      {
        u2_noun hed = _mint_in(wir_r, van, sut, c3__noun, p_gen);
        u2_noun tal = _mint_in(wir_r, van, sut, c3__noun, q_gen);
        u2_noun typ = j2_mby(Pt6, cell)(wir_r, u2_h(hed), u2_h(tal));

        ret = u2_bc
          (wir_r,
           _mint_nice(wir_r, van, gol, typ),
           j2_mby(Pt6, cons)(wir_r, u2_t(hed), u2_t(tal)));

        u2_rl_lose(wir_r, hed);
        u2_rl_lose(wir_r, tal);

        return ret;
      }
      case c3__dtts: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen);
      _mint_used(wir_r);
      {
        u2_noun typ = _mint_nice(wir_r, van, gol, _mint_flag(wir_r));

        return u2_bc
          (wir_r, 
           typ,
           u2_bt(wir_r, _5, _mint_corn(wir_r, van, sut, p_gen),
                            _mint_corn(wir_r, van, sut, q_gen)));
      }
      case c3__dtwt: p_gen = u2_t(gen);
      _mint_used(wir_r);
      {
        u2_noun typ = _mint_nice(wir_r, van, gol, _mint_flag(wir_r));

        return u2_bc
          (wir_r, 
           typ,
           u2_bc(wir_r, _3, _mint_corn(wir_r, van, sut, p_gen)));
      }
      case c3__dtkt: p_gen = u2_t(gen);
      _mint_used(wir_r);
      {
        u2_noun tom = c3__noun;
        u2_noun sam = _mint_in(wir_r, van, sut, tom, p_gen);

        ret = u2_bc
          (wir_r, 
           _mint_nice(wir_r, van, gol, tom),
           u2_bc(wir_r, _11, u2_rx(wir_r, u2_t(sam))));
        
        u2_rz(wir_r, sam);
        return ret;
      }
      case c3__dtls: p_gen = u2_t(gen);
      _mint_used(wir_r);
      {
        u2_noun tom = u2_bc(wir_r, c3__atom, u2_blip);
        u2_noun sam = _mint_in(wir_r, van, sut, tom, p_gen);

        ret = u2_bc
          (wir_r, 
           _mint_nice(wir_r, van, gol, tom),
           u2_bc(wir_r, _4, u2_rx(wir_r, u2_t(sam))));
        
        u2_rz(wir_r, sam);
        return ret;
      }
      case c3__dtsg: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen);
      _mint_used(wir_r);
      {
        u2_noun boc = (u2_no == u2_stud(q_gen)) 
                        ? c3__noun
                        : u2_bc(wir_r, c3__atom, u2_rx(wir_r, p_gen));
        u2_noun typ = j2_mby(Pt6, cube)(wir_r, q_gen, boc);
        u2_noun ret = 
            u2_bc(wir_r,
                  _mint_nice(wir_r, van, gol, typ),
                  u2_bc(wir_r, _1, u2_rx(wir_r, q_gen)));

        u2_rz(wir_r, boc);
        return ret;
      }
      case c3__dttr: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen);
      _mint_used(wir_r);
      {
        return u2_bc
          (wir_r, 
           _mint_nice(wir_r, van, gol, c3__noun),
           u2_bt(wir_r, _2, _mint_corn(wir_r, van, sut, p_gen),
                            _mint_corn(wir_r, van, sut, q_gen)));
      }
      case c3__dtpt: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen);
      _mint_used(wir_r);
      {
        u2_noun typ = j2_mcy(Pt6, ut, play)(wir_r, van, sut, gen);
        u2_noun ret = 
            u2_bc(wir_r,
                  _mint_nice(wir_r, van, gol, typ),
                  u2_bc(wir_r, _1, u2_rx(wir_r, q_gen)));

        return ret;
      }
      case c3__ktdt: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen);
      _mint_used(wir_r);
      {
        u2_noun wit = j2_mcy(Pt6, ut, play)(wir_r, van, sut, p_gen);
        u2_noun nep = j2_mcy(Pt6, ut, snap)(wir_r, van, wit, q_gen);
        u2_noun ret = _mint_in(wir_r, van, sut, gol, nep);

        u2_rz(wir_r, nep);
        u2_rz(wir_r, wit);
        return ret;
      }
      case c3__ktbr: p_gen = u2_t(gen);
      _mint_used(wir_r);
      {
        u2_noun ryd = _mint_in(wir_r, van, sut, gol, p_gen);
        u2_noun tyf = j2_mcy(Pt6, ut, wrap)(wir_r, van, u2_h(ryd), c3__iron);
        u2_noun pro = u2_bc(wir_r, tyf, u2_rx(wir_r, u2_t(ryd)));

        u2_rz(wir_r, ryd);
        return pro;
      }
      case c3__ktpm: p_gen = u2_t(gen);
      _mint_used(wir_r);
      {
        u2_noun ryd = _mint_in(wir_r, van, sut, gol, p_gen);
        u2_noun tyf = j2_mcy(Pt6, ut, wrap)(wir_r, van, u2_h(ryd), c3__zinc);
        u2_noun pro = u2_bc(wir_r, tyf, u2_rx(wir_r, u2_t(ryd)));

        u2_rz(wir_r, ryd);
        return pro;
      }
      case c3__ktwt: p_gen = u2_t(gen);
      _mint_used(wir_r);
      {
        u2_noun ryd = _mint_in(wir_r, van, sut, gol, p_gen);
        u2_noun tyf = j2_mcy(Pt6, ut, wrap)(wir_r, van, u2_h(ryd), c3__lead);
        u2_noun pro = u2_bc(wir_r, tyf, u2_rx(wir_r, u2_t(ryd)));

        u2_rz(wir_r, ryd);
        return pro;
      }
      case c3__ktts: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen);
      _mint_used(wir_r);
      {
        u2_noun vat = _mint_in(wir_r, van, sut, gol, q_gen);
     
        ret = u2_bc
          (wir_r,
           u2_bt(wir_r, c3__face,
                        u2_rx(wir_r, p_gen), 
                        u2_rx(wir_r, u2_h(vat))),
           u2_rx(wir_r, u2_t(vat)));

        u2_rl_lose(wir_r, vat);
        return ret;
      }
      case c3__ktsg: p_gen = u2_t(gen);
      _mint_used(wir_r);
      {
        u2_noun nef = _mint_in(wir_r, van, sut, gol, p_gen);
        u2_noun p_nef = u2_h(nef);
        u2_noun q_nef = u2_t(nef);
        u2_noun fom;

        {
          u2_noun cag = j2_mcy(Pt6, ut, burn)(wir_r, van, sut);
          u2_noun wim = u2_cn_moch(cag, u2k(q_nef));

          if ( 0 == u2h(wim) ) {
            fom = u2nc(1, u2k(u2t(wim)));
          } else {
            fom = u2k(q_nef);
          }
          u2z(wim);
        }
        ret = u2_bc(wir_r, u2_rx(wir_r, p_nef), fom);
 
        u2_rz(wir_r, nef);
        return ret;
      }
      case c3__ktls: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen);
      _mint_used(wir_r);
      {
        u2_noun hif = j2_mcy(Pt6, ut, play)(wir_r, van, sut, p_gen);
        u2_noun zel = _mint_in(wir_r, van, sut, hif, q_gen);
        u2_noun ret = u2_bc(wir_r, hif, u2_rx(wir_r, u2_t(zel)));

        u2_rz(wir_r, zel);
        return ret;
      }
      case c3__tsgr: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen);
      _mint_used(wir_r);
      {
        u2_noun fid = _mint_in(wir_r, van, sut, c3__noun, p_gen);
        u2_noun p_fid = u2_h(fid);
        u2_noun q_fid = u2_t(fid);
        u2_noun dov = _mint_in(wir_r, van, p_fid, gol, q_gen);
        u2_noun p_dov = u2_h(dov);
        u2_noun q_dov = u2_t(dov);

        ret = u2_bc
          (wir_r, u2_rx(wir_r, p_dov), 
                  j2_mbc(Pt6, comb)(wir_r, q_fid, q_dov));

        u2_rl_lose(wir_r, fid); 
        u2_rl_lose(wir_r, dov);
        return ret;
      }
      case c3__cnts: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen);
      _mint_used(wir_r);
      {
        u2_noun sec = j2_mcy(Pt6, ut, seek)(wir_r, van, sut, c3__read, p_gen);
        u2_noun lar = _mint_foil(wir_r, sec);
        u2_noun p_lar = u2_h(lar);
        u2_noun q_lar = u2_t(lar);
        u2_noun pq_lar = u2_h(q_lar);
        u2_noun qq_lar = u2_t(q_lar);
        u2_noun mew = j2_mcy(Pt6, ut, swab)(wir_r, van, sut, qq_lar, q_gen);
        u2_noun yom = _mint_edit
          (wir_r, van, sut, mew, p_lar, u2_rx(wir_r, qq_lar), u2_nul);
        u2_noun p_yom = u2_h(yom);
        u2_noun q_yom = u2_t(yom);
        u2_noun ret = u2_bc
          (wir_r, _mint_nice(wir_r, van, gol, u2_rx(wir_r, p_yom)),
                  (_0 == pq_lar) ? u2_rx(wir_r, q_yom)
                                 : u2_bt(wir_r, _9,
                                                u2_rx(wir_r, pq_lar),
                                                u2_rx(wir_r, q_yom)));
                  
        u2_rz(wir_r, yom);
        u2_rz(wir_r, mew);
        u2_rz(wir_r, lar);

        return ret;
      }
      case c3__pmcl: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen);
      _mint_used(wir_r);
      {
        u2_noun ruf = u2_bt
          (wir_r, c3__clhp, 
                  u2_bc(wir_r, u2_nul, _1),
                  u2_rx(wir_r, p_gen));
        u2_noun ret = _mint_grow(wir_r, van, sut, gol, c3__zinc, ruf, q_gen);

        u2_rz(wir_r, ruf);
        return ret;
      }
      case c3__brcn: p_gen = u2_t(gen);
      _mint_used(wir_r);
      {
        u2_noun ruf = u2_bc(wir_r, u2_nul, _1);

        ret = _mint_grow(wir_r, van, sut, gol, c3__gold, ruf, p_gen);
        u2_rz(wir_r, ruf);

        return ret;
      }
      case c3__pmcn: p_gen = u2_t(gen);
      _mint_used(wir_r);
      {
        u2_noun ruf = u2_bc(wir_r, u2_nul, _1);

        ret = _mint_grow(wir_r, van, sut, gol, c3__lead, ruf, p_gen);
        u2_rz(wir_r, ruf);

        return ret;
      }
      case c3__pmls: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen);
      _mint_used(wir_r);
      {
        u2_noun ruf = u2_bt
          (wir_r, c3__clhp, 
                  u2_bc(wir_r, u2_nul, _1),
                  u2_rx(wir_r, p_gen));
        u2_noun ret = _mint_grow(wir_r, van, sut, gol, c3__iron, ruf, q_gen);

        u2_rz(wir_r, ruf);
        return ret;
      }
      case c3__sggr: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen);
      _mint_used(wir_r);
      {
        u2_noun hum = _mint_in(wir_r, van, sut, gol, q_gen);
        u2_noun bez;
      
          if ( u2_yes == u2_stud(p_gen) ) {
            bez = u2_rx(wir_r, p_gen);
          } else {
            bez = u2_bc(wir_r, u2_rx(wir_r, u2_h(p_gen)),
                               _mint_corn(wir_r, van, sut, u2_t(p_gen)));
          }
          ret = u2_bc(wir_r, 
                      u2_rx(wir_r, u2_h(hum)),
                      u2_bt(wir_r, _10, bez, u2_rx(wir_r, u2_t(hum))));
        
        u2_rl_lose(wir_r, hum);
        return ret;
      }
      case c3__zpts: p_gen = u2_t(gen);
      _mint_used(wir_r);
      {
        u2_noun von = u2_bn_molt(wir_r, van, j2_ut_van_vet, u2_no, 0);
        u2_noun sev = _mint_corn(wir_r, von, sut, p_gen);

        u2_rz(wir_r, von);
        return u2_bc(wir_r, c3__noun, u2_bc(wir_r, _1, sev));
      }
      case c3__zpcm: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen);
      _mint_used(wir_r);
      {
        return u2_bc
          (wir_r, 
           _mint_nice(wir_r, van, 
                             gol, 
                             j2_mcy(Pt6, ut, play)(wir_r, van, sut, p_gen)),
           u2_bc(wir_r, 1, u2_rx(wir_r, q_gen)));
      }
      case c3__zpcb: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen);
      {
        u2_bl_push(wir_r, u2_bc(wir_r, c3__mean, _mint_loc(wir_r, van, p_gen)));
        {
          u2_noun hum = _mint_in(wir_r, van, sut, gol, q_gen);
          u2_noun bez = u2_bt(wir_r, c3__spot, _1, u2_rx(wir_r, p_gen));

          ret = u2_bc(wir_r, 
                      u2_rx(wir_r, u2_h(hum)),
                      u2_bt(wir_r, _10, bez, u2_rx(wir_r, u2_t(hum))));

          u2_rz(wir_r, hum);
        }
        u2_bl_drop(wir_r);
        return ret;
      }
      case c3__zpcn:
      _mint_used(wir_r);
      {
        u2_noun pet   = u2_bn_hook(wir_r, van, "seed");
        u2_noun p_pet = u2_h(pet);
        u2_noun q_pet = u2_t(pet);
        u2_noun ret;

        ret = u2_bc(wir_r, _mint_nice(wir_r, van, gol, u2_rx(wir_r, p_pet)),
                           u2_bc(wir_r, _1, u2_rx(wir_r, q_pet)));

        u2_rz(wir_r, pet);
        return ret;
      }
      case c3__zpsm: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen);
      _mint_used(wir_r);
      {
        u2_noun vos   = _mint_in(wir_r, van, sut, c3__noun, q_gen);
        u2_noun zur   = j2_mcy(Pt6, ut, play)(wir_r, van, sut, p_gen);
        u2_noun p_vos = u2_h(vos);
        u2_noun q_vos = u2_t(vos);
        u2_noun waz   = u2_bc(wir_r, _1, u2_rx(wir_r, p_vos));
        u2_noun cig   = j2_mby(Pt6, cell)(wir_r, zur, p_vos);
        u2_noun ret;

        ret = u2_bc(wir_r,
                    _mint_nice(wir_r, van, gol, cig),
                    j2_mby(Pt6, cons)(wir_r, waz, q_vos));

        u2_rz(wir_r, waz);
        u2_rz(wir_r, zur);
        u2_rz(wir_r, vos);

        return ret;
      }
      case c3__zpfs: p_gen = u2_t(gen);
      _mint_used(wir_r);
      {
        if ( u2_yes == _mint_vet(wir_r, van) ) {
          u2_noun zur = j2_mcy(Pt6, ut, play)(wir_r, van, sut, p_gen);
          u2_noun dun = j2_mcy(Pt6, ut, dunq)(wir_r, van, "lost", zur);

          u2_bl_push(wir_r, u2_bc(wir_r, c3__mean, dun));
          return u2_bl_error(wir_r, "mint-lost");
        }
        else {
          return u2_bt(wir_r, c3__void, _0, _0);
        }
      }
      case c3__zpzp:
      _mint_used(wir_r);
      {
        return u2_bt(wir_r, c3__void, _0, _0);
      }
    }
  }
Exemplo n.º 16
0
/* logic
*/
  u2_noun                                                         //  transfer
  j2_mcx(Pt6, ut, firm)(u2_wire wir_r, 
                        u2_noun van,                              //  retain
                        u2_noun sut,                              //  retain
                        u2_noun dib)                              //  retain
  {
    u2_noun p_sut, q_sut, r_sut;

    if ( u2_no == u2_dust(sut) ) switch ( sut ) {
      default: return u2_bl_bail(wir_r, c3__fail);

      case c3__noun: 
      {
        return u2_yes;
      }
      case c3__void:
      {
        return u2_no;
      }
    }
    else switch ( u2_h(sut) ) {
      default: return u2_bl_bail(wir_r, c3__fail);

      case c3__atom: p_sut = u2_t(sut);
      {
        return u2_stud(dib);
      }
      case c3__cell: u2_bi_cell(wir_r, u2_t(sut), &p_sut, &q_sut);
      {
        return u2_and
          (u2_dust(dib),
           u2_and(j2_mcx(Pt6, ut, firm)(wir_r, van, p_sut, u2_h(dib)),
                  j2_mcx(Pt6, ut, firm)(wir_r, van, q_sut, u2_t(dib))));
      }
      case c3__core: u2_bi_cell(wir_r, u2_t(sut), &p_sut, &q_sut);
      {
        u2_noun pq_sut, qq_sut, rq_sut, prq_sut, qrq_sut;

        u2_bi_trel(wir_r, q_sut, &pq_sut, &qq_sut, &rq_sut);
        u2_bi_cell(wir_r, rq_sut, &prq_sut, &qrq_sut);

        return u2_and
          (u2_dust(dib),
           u2_and
            (j2_mcx(Pt6, ut, firm)(wir_r, van, p_sut, u2_h(dib)),
             ((u2_nul == prq_sut) ? u2_bl_error(wir_r, "firm-core")
                                  : u2_sing(prq_sut, u2_t(dib)))));
      }
      case c3__cube: u2_bi_cell(wir_r, u2_t(sut), &p_sut, &q_sut);
      {
        return u2_sing(dib, p_sut);
      }
      case c3__face: u2_bi_cell(wir_r, u2_t(sut), &p_sut, &q_sut);
      {
        return j2_mcx(Pt6, ut, firm)(wir_r, van, q_sut, dib);
      }
      case c3__fine: u2_bi_trel(wir_r, u2_t(sut), &p_sut, &q_sut, &r_sut);
      {
        if ( u2_no == j2_mcx(Pt6, ut, firm)(wir_r, van, r_sut, dib) ) {
          return u2_no;
        } else {
          u2_noun feg = j2_mcy(Pt6, ut, bust)(wir_r, van, q_sut, dib);
          u2_flag ret;

          switch ( p_sut ) {
            default: return u2_bl_bail(wir_r, c3__fail); 
            case c3__pure: ret = u2_sing(dib, feg);
            case c3__very: ret = u2_sing(u2_yes, feg);
          }
          u2_rz(wir_r, feg);
          return ret;
        }
      }
      case c3__fork: u2_bi_cell(wir_r, u2_t(sut), &p_sut, &q_sut);
      {
        return u2_or(j2_mcx(Pt6, ut, firm)(wir_r, van, p_sut, dib),
                     j2_mcx(Pt6, ut, firm)(wir_r, van, q_sut, dib));
      }
      case c3__hold: 
      {
        u2_noun goy = j2_mcy(Pt6, ut, repo)(wir_r, van, sut);
        u2_noun ret = j2_mcx(Pt6, ut, firm)(wir_r, van, goy, dib);

        u2_rz(wir_r, goy);
        return ret;
      }
    }
  }
Exemplo n.º 17
0
  static u2_noun
  _play_in(u2_wire wir_r,
           u2_noun van,
           u2_noun sut,
           u2_noun gen)
  {
    u2_noun p_gen, q_gen, r_gen;

    if ( u2_no == u2_dust(gen) ) {
      open: {
        u2_noun ter = u2_frag(u2_cv_con_3, van);
        u2_noun rex = j2_mcy(Pt6, ap, open)(wir_r, ter, gen);
        u2_noun ret;

        if ( u2_yes == u2_sing(rex, gen) ) {
          u2_noun zix = j2_mcy(Pt6, ut, shep)
                (wir_r, van, "gene", 'q', u2_rx(wir_r, gen));

          u2_bl_push(wir_r, u2_bc(wir_r, c3__mean, zix));
          return u2_bl_error(wir_r, "play-open");
        }
        ret = _play_in(wir_r, van, sut, rex);
        u2_rl_lose(wir_r, rex);

        return ret;
      }
    } 
    else if ( u2_yes == u2_dust(u2_h(gen)) ) {
      _play_used(wir_r);
      {
        u2_noun dis = _play_in(wir_r, van, sut, u2_h(gen));
        u2_noun dat = _play_in(wir_r, van, sut, u2_t(gen));
        u2_noun ret = j2_mby(Pt6, cell)(wir_r, dis, dat);

        u2_rz(wir_r, dis);
        u2_rz(wir_r, dat);
        return ret;
      }
    }
    else switch ( u2_h(gen) ) {
      default: goto open;
    
      case c3__wtcn: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen);
      _play_used(wir_r);
      {
        return _play_bean(wir_r);
      }
      case c3__wtcl: u2_bi_trel(wir_r, u2_t(gen), &p_gen, &q_gen, &r_gen);
      _play_used(wir_r);
      {
        u2_noun fex = j2_mcy(Pt6, ut, gain)(wir_r, van, sut, p_gen);
        u2_noun wux = j2_mcy(Pt6, ut, lose)(wir_r, van, sut, p_gen);
        u2_noun dez = (fex == c3__void) ? c3__void 
                                        : _play_in(wir_r, van, fex, q_gen);
        u2_noun doz = (wux == c3__void) ? c3__void 
                                        : _play_in(wir_r, van, wux, r_gen);
        u2_noun ret = j2_mby(Pt6, fork)(wir_r, dez, doz);
       
        u2_rz(wir_r, dez); u2_rz(wir_r, doz);
        u2_rz(wir_r, fex); u2_rz(wir_r, wux);
        return ret;
      }
      case c3__clhp: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen);
      _play_used(wir_r);
      {
        u2_noun dis = _play_in(wir_r, van, sut, p_gen);
        u2_noun dat = _play_in(wir_r, van, sut, q_gen);
        u2_noun ret = j2_mby(Pt6, cell)(wir_r, dis, dat);

        u2_rz(wir_r, dis);
        u2_rz(wir_r, dat);
        return ret;
      }
      case c3__dtkt: p_gen = u2_t(gen);
      _play_used(wir_r);
      {
        return c3__noun;
      }
      case c3__dtwt: p_gen = u2_t(gen);
      _play_used(wir_r);
      {
        return _play_bean(wir_r);
      }
      case c3__dtts: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen);
      _play_used(wir_r);
      {
        return _play_bean(wir_r);
      }
      case c3__dtls: p_gen = u2_t(gen);
      _play_used(wir_r);
      {
        return u2_bc(wir_r, c3__atom, u2_blip);
      }
      case c3__dtsg: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen);
      _play_used(wir_r);
      {
        u2_noun boc = (u2_no == u2_stud(q_gen)) 
                        ? c3__noun
                        : u2_bc(wir_r, c3__atom, u2_rx(wir_r, p_gen));
        u2_noun ret = j2_mby(Pt6, cube)(wir_r, q_gen, boc);

        u2_rz(wir_r, boc);
        return ret;
      }
      case c3__dttr: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen);
      _play_used(wir_r);
      {
        return c3__noun;
      }
      case c3__dtpt: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen);
      _play_used(wir_r);
      {
        if ( 'f' == p_gen ) {
          if ( (q_gen > 1) ) {
            return u2_cm_bail(c3__exit);
          } else {
            return _play_bean(wir_r);
          }
        }
        else return u2_bc(wir_r, c3__atom, u2_rx(wir_r, p_gen));
      }
      case c3__ktbr: p_gen = u2_t(gen);
      _play_used(wir_r);
      {
        u2_noun boc = _play_in(wir_r, van, sut, p_gen);
        u2_noun pro = j2_mcy(Pt6, ut, wrap)(wir_r, van, boc, c3__iron);

        u2_rz(wir_r, boc);
        return pro;
      }
      case c3__ktpm: p_gen = u2_t(gen);
      _play_used(wir_r);
      {
        u2_noun boc = _play_in(wir_r, van, sut, p_gen);
        u2_noun pro = j2_mcy(Pt6, ut, wrap)(wir_r, van, boc, c3__zinc);

        u2_rz(wir_r, boc);
        return pro;
      }
      case c3__ktwt: p_gen = u2_t(gen);
      _play_used(wir_r);
      {
        u2_noun boc = _play_in(wir_r, van, sut, p_gen);
        u2_noun pro = j2_mcy(Pt6, ut, wrap)(wir_r, van, boc, c3__lead);

        u2_rz(wir_r, boc);
        return pro;
      }
      case c3__ktts: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen);
      _play_used(wir_r);
      {
        u2_noun boc = _play_in(wir_r, van, sut, q_gen);
        u2_noun ret = j2_mby(Pt6, face)(wir_r, p_gen, boc);

        u2_rz(wir_r, boc);
        return ret;
      }
      case c3__ktdt: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen);
      _play_used(wir_r);
      {
        u2_noun boc = _play_in(wir_r, van, sut, p_gen);
        u2_noun hef = j2_mcy(Pt6, ut, snap)(wir_r, van, boc, q_gen);
        u2_noun ret = _play_in(wir_r, van, sut, hef);

        u2_rz(wir_r, boc);
        u2_rz(wir_r, hef);
        return ret;
      }
      case c3__ktsg: p_gen = u2_t(gen);
      _play_used(wir_r);
      {
        return _play_in(wir_r, van, sut, p_gen);
      }
      case c3__ktls: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen);
      _play_used(wir_r);
      {
        return _play_in(wir_r, van, sut, p_gen);
      }
      case c3__tsgr: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen);
      _play_used(wir_r);
      {
        u2_noun boc = _play_in(wir_r, van, sut, p_gen);
        u2_noun ret = _play_in(wir_r, van, boc, q_gen);

        u2_rz(wir_r, boc);
        return ret;
      }
      case c3__cnts: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen);
      _play_used(wir_r);
      {
        u2_noun sec = j2_mcy(Pt6, ut, seek)(wir_r, van, sut, c3__read, p_gen);
        u2_noun lar = _play_foil(wir_r, sec);
        u2_noun q_lar = u2_t(lar);
        u2_noun qq_lar = u2_t(q_lar);
        u2_noun mew = j2_mcy(Pt6, ut, swab)(wir_r, van, sut, q_gen);
        u2_noun rag = _play_edit(wir_r, van, sut, mew, u2_rx(wir_r, qq_lar));
        u2_noun ret = j2_mcy(Pt6, ut, fire)(wir_r, van, sut, rag);

        u2_rz(wir_r, rag);
        u2_rz(wir_r, mew);
        u2_rz(wir_r, lar);

        return ret;
      }
      case c3__pmcl: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen);
      _play_used(wir_r);
      {
        u2_noun ruf = u2_bt
          (wir_r, c3__clhp, 
                  u2_bc(wir_r, u2_nul, _1),
                  u2_rx(wir_r, p_gen));
        u2_noun ret = _play_grow(wir_r, van, sut, c3__zinc, ruf, q_gen);

        u2_rz(wir_r, ruf);
        return ret;
      }
      case c3__brcn: p_gen = u2_t(gen);
      _play_used(wir_r);
      {
        u2_noun ruf = u2_bc(wir_r, u2_nul, _1);
        u2_noun ret = _play_grow(wir_r, van, sut, c3__gold, ruf, p_gen);

        u2_rz(wir_r, ruf);
        return ret;
      }
      case c3__pmcn: p_gen = u2_t(gen);
      _play_used(wir_r);
      {
        u2_noun ruf = u2_bc(wir_r, u2_nul, _1);
        u2_noun ret = _play_grow(wir_r, van, sut, c3__lead, ruf, p_gen);

        u2_rz(wir_r, ruf);
        return ret;
      }
      case c3__pmls: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen);
      _play_used(wir_r);
      {
        u2_noun ruf = u2_bt
          (wir_r, c3__clhp, 
                  u2_bc(wir_r, u2_nul, _1),
                  u2_rx(wir_r, p_gen));
        u2_noun ret = _play_grow(wir_r, van, sut, c3__iron, ruf, q_gen);

        u2_rz(wir_r, ruf);
        return ret;
      }
      case c3__sggr: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen);
      _play_used(wir_r);
      {
        return _play_in(wir_r, van, sut, q_gen);
      }
      case c3__zpts: p_gen = u2_t(gen);
      _play_used(wir_r);
      {
        return c3__noun;
      }
      case c3__zpcm: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen);
      _play_used(wir_r);
      {
        return _play_in(wir_r, van, sut, p_gen);
      }
      case c3__zpcb: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen);
      {
        u2_noun ret;

        u2_bl_push(wir_r, u2_bc(wir_r, c3__mean, _play_loc(wir_r, van, p_gen)));
        {
          ret = _play_in(wir_r, van, sut, q_gen);
        }
        u2_bl_drop(wir_r);
        return ret;
      }
      case c3__zpcn:
      _play_used(wir_r);
      {
        u2_noun pet = u2_bn_hook(wir_r, van, "seed");
        u2_noun ret = u2_rx(wir_r, u2_h(pet));

        u2_rz(wir_r, pet);
        return ret;
      }
      case c3__zpsm: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen);
      _play_used(wir_r);
      {
        u2_noun zur = _play_in(wir_r, van, sut, p_gen);
        u2_noun vos = _play_in(wir_r, van, sut, q_gen);
        u2_noun ret = j2_mby(Pt6, cell)(wir_r, zur, vos);

        u2_rz(wir_r, zur);
        u2_rz(wir_r, vos);

        return ret;
      }
      case c3__zpfs:
      case c3__zpzp:
      _play_used(wir_r);
      {
        return c3__void;
      }
    }
  }
Exemplo n.º 18
0
  static u2_noun                                                  //  produce
  _mull_in(u2_wire wir_r, 
           u2_noun van,                                           //  retain
           u2_noun sut,                                           //  retain
           u2_noun gol,                                           //  retain
           u2_noun dox,                                           //  retain
           u2_noun gen)                                           //  retain
  {
    u2_noun p_gen, q_gen, r_gen;
    u2_noun ret;

    if ( u2_no == u2_dust(gen) ) {
      u2_noun ter = u2_frag(u2_cw_con_2, van);
      u2_noun rex = j2_mcy(Pt6, ap, open)(wir_r, ter, gen);

      ret = _mull_in(wir_r, van, sut, gol, dox, rex);
      u2_rl_lose(wir_r, rex);

      return ret;
    } 
    else if ( u2_yes == u2_dust(u2_h(gen)) ) {
      _mull_used(wir_r);
      {
        u2_noun hed = _mull_in(wir_r, van, sut, c3__noun, dox, u2_h(gen));
        u2_noun tal = _mull_in(wir_r, van, sut, c3__noun, dox, u2_t(gen));
        u2_noun dis = j2_mby(Pt6, cell)(wir_r, u2_h(hed), u2_h(tal));
        u2_noun dat = j2_mby(Pt6, cell)(wir_r, u2_t(hed), u2_t(tal));
        u2_noun ret = u2_bc(wir_r, _mull_nice(wir_r, van, gol, dis), dat);

        u2_rz(wir_r, tal);
        u2_rz(wir_r, hed);

        return ret;
      }
    }
    else switch ( u2_h(gen) ) {
      default: {
        u2_noun ter = u2_frag(u2_cw_con_2, van);
        u2_noun rex = j2_mcy(Pt6, ap, open)(wir_r, ter, gen);

        if ( u2_yes == u2_sing(rex, gen) ) {
#if 1
          u2_noun zix = j2_mcy(Pt6, ut, shep)
                (wir_r, van, "gene", 'q', u2_rx(wir_r, gen));

          u2_bl_push(wir_r, u2_bc(wir_r, c3__mean, zix));
          return u2_bl_error(wir_r, "mull-open");
#else
          u2_err(wir_r, "h", u2_h(gen));
          return u2_bl_bail(wir_r, c3__fail);
#endif
        }
        ret = _mull_in(wir_r, van, sut, gol, dox, rex);
        u2_rl_lose(wir_r, rex);

        return ret;
      }
      
      case c3__wtcn: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen);
      _mull_used(wir_r);
      {
        u2_noun p_waz = j2_mcy(Pt6, ut, play)(wir_r, van, sut, p_gen);
        u2_noun q_waz = j2_mcy(Pt6, ut, play)(wir_r, van, dox, p_gen);
        u2_noun p_syx = _mull_doke(wir_r, van, sut, q_gen);
        u2_noun q_syx = _mull_doke(wir_r, van, dox, q_gen);
        u2_noun p_pov = j2_mcy(Pt6, ut, fish)(wir_r, van, p_waz, p_syx);
        u2_noun q_pov = j2_mcy(Pt6, ut, fish)(wir_r, van, q_waz, q_syx);

        if ( (u2_no == u2_sing(p_syx, q_syx)) ||
             (u2_no == u2_sing(p_pov, q_pov)) ) 
        {
          return u2_bl_error(wir_r, "mull-bonk-b");
        }
        u2_rz(wir_r, p_waz); u2_rz(wir_r, q_waz);
        u2_rz(wir_r, p_syx); u2_rz(wir_r, q_syx);
        u2_rz(wir_r, p_pov); u2_rz(wir_r, q_pov);

        return _mull_both(wir_r, van, gol, _mull_flag(wir_r));
      }
      case c3__wtcl: u2_bi_trel(wir_r, u2_t(gen), &p_gen, &q_gen, &r_gen);
      _mull_used(wir_r);
      {
        u2_noun bol = _mull_flag(wir_r);
        u2_noun nor = _mull_in(wir_r, van, sut, bol, dox, p_gen);
        u2_noun p_fex = j2_mcy(Pt6, ut, gain)(wir_r, van, sut, p_gen);
        u2_noun q_fex = j2_mcy(Pt6, ut, gain)(wir_r, van, dox, p_gen);
        u2_noun p_wux = j2_mcy(Pt6, ut, lose)(wir_r, van, sut, p_gen);
        u2_noun q_wux = j2_mcy(Pt6, ut, lose)(wir_r, van, dox, p_gen);
        u2_noun hiq, ran;
        u2_noun dis, dat;
        u2_noun ret;
   
        if ( c3__void == p_fex ) {
          hiq = u2_bc(wir_r, 
                      c3__void, 
                      (c3__void == q_fex)
                        ? c3__void
                        : j2_mcy(Pt6, ut, play)(wir_r, van, q_fex, q_gen));
        } else if ( c3__void == q_fex ) {
          hiq = u2_bl_error(wir_r, "mull-bonk-c");
        }
        else hiq = _mull_in(wir_r, van, p_fex, gol, q_fex, q_gen);

        if ( c3__void == p_wux ) {
          ran = u2_bc(wir_r, 
                      c3__void, 
                      (c3__void == q_wux)
                        ? c3__void
                        : j2_mcy(Pt6, ut, play)(wir_r, van, q_wux, r_gen));
        } else if ( c3__void == q_wux ) {
          ran = u2_bl_error(wir_r, "mull-bonk-d");
        }
        else ran = _mull_in(wir_r, van, p_wux, gol, q_wux, r_gen);

        dis = j2_mby(Pt6, fork)(wir_r, u2_h(hiq), u2_h(ran));
        dat = j2_mby(Pt6, fork)(wir_r, u2_t(hiq), u2_t(ran));

        ret = u2_bc(wir_r, _mull_nice(wir_r, van, gol, dis), dat);

        u2_rz(wir_r, ran);
        u2_rz(wir_r, hiq);
        u2_rz(wir_r, q_wux);
        u2_rz(wir_r, p_wux);
        u2_rz(wir_r, q_fex);
        u2_rz(wir_r, p_fex);
        u2_rz(wir_r, nor);
        u2_rz(wir_r, bol);

        return ret;
      }
      case c3__clhp: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen);
      _mull_used(wir_r);
      {
        u2_noun hed = _mull_in(wir_r, van, sut, c3__noun, dox, p_gen);
        u2_noun tal = _mull_in(wir_r, van, sut, c3__noun, dox, q_gen);
        u2_noun dis = j2_mby(Pt6, cell)(wir_r, u2_h(hed), u2_h(tal));
        u2_noun dat = j2_mby(Pt6, cell)(wir_r, u2_t(hed), u2_t(tal));
        u2_noun ret = u2_bc(wir_r, _mull_nice(wir_r, van, gol, dis), dat);

        u2_rz(wir_r, tal);
        u2_rz(wir_r, hed);

        return ret;
      }
      case c3__dtts: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen);
      _mull_used(wir_r);
      {
        u2_noun hed = _mull_in(wir_r, van, sut, c3__noun, dox, p_gen);
        u2_noun tal = _mull_in(wir_r, van, sut, c3__noun, dox, q_gen);

        u2_rz(wir_r, hed);
        u2_rz(wir_r, tal);

        return _mull_both(wir_r, van, gol, _mull_flag(wir_r));
      }
      case c3__dtwt: p_gen = u2_t(gen);
      _mull_used(wir_r);
      {
        u2_noun vay = _mull_in(wir_r, van, sut, c3__noun, dox, p_gen);
        
        u2_rz(wir_r, vay);
        return _mull_both(wir_r, van, gol, _mull_flag(wir_r));
      }
      case c3__dtkt: p_gen = u2_t(gen);
      _mull_used(wir_r);
      {
        u2_noun wuq = c3__noun;
        u2_noun vay = _mull_in(wir_r, van, sut, wuq, dox, p_gen);
 
        u2_rz(wir_r, vay);
        return _mull_both(wir_r, van, gol, wuq);
      }
      case c3__dtls: p_gen = u2_t(gen);
      _mull_used(wir_r);
      {
        u2_noun wuq = u2_bc(wir_r, c3__atom, u2_blip);
        u2_noun vay = _mull_in(wir_r, van, sut, wuq, dox, p_gen);
 
        u2_rz(wir_r, vay);
        return _mull_both(wir_r, van, gol, wuq);
      }
      case c3__dtsg: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen);
      _mull_used(wir_r);
      {
        u2_noun tof = u2_bt
          (wir_r, c3__cube,
                  u2_rx(wir_r, q_gen),
                  (u2_yes == u2_dust(q_gen))
                    ? c3__noun
                    : u2_bc(wir_r, c3__atom, u2_rx(wir_r, p_gen)));

        return _mull_both(wir_r, van, gol, tof);
      }
      case c3__dttr: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen);
      _mull_used(wir_r);
      {
        u2_noun hed = _mull_in(wir_r, van, sut, c3__noun, dox, p_gen);
        u2_noun tal = _mull_in(wir_r, van, sut, c3__noun, dox, q_gen);

        u2_rz(wir_r, hed);
        u2_rz(wir_r, tal);

        return _mull_both(wir_r, van, gol, c3__noun);
      }
      case c3__dtpt: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen);
      _mull_used(wir_r);
      {
        u2_noun typ = j2_mcy(Pt6, ut, play)(wir_r, van, sut, gen);
        return _mull_both(wir_r, van, gol, typ);
      }
      case c3__ktgl: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen);
      _mull_used(wir_r);
      {
        u2_noun hoz = j2_mcy(Pt6, ap, late)(wir_r, gen);
        u2_noun ryd = _mull_in(wir_r, van, sut, c3__noun, dox, hoz);
        u2_noun boc = j2_mcy(Pt6, ut, play)(wir_r, van, sut, p_gen);
        u2_noun ret = 
          u2_bc(wir_r, 
                _mull_nice
                  (wir_r, van, gol, j2_mby(Pt6, fine)
                                      (wir_r, c3__very, boc, u2_h(ryd))),
                u2_rx(wir_r, u2_t(ryd)));

        u2_rz(wir_r, boc);
        u2_rz(wir_r, ryd);
        u2_rz(wir_r, hoz);

        return ret;
      }
      case c3__ktdt: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen);
      _mull_used(wir_r);
      {
        u2_noun p_wiv = j2_mcy(Pt6, ut, play)(wir_r, van, sut, p_gen);
        u2_noun q_wiv = j2_mcy(Pt6, ut, play)(wir_r, van, dox, p_gen);
        u2_noun p_hef = j2_mcy(Pt6, ut, snap)(wir_r, van, p_wiv, q_gen);
        u2_noun q_hef = j2_mcy(Pt6, ut, snap)(wir_r, van, q_wiv, q_gen);
        u2_noun ret;

        if ( u2_yes == u2_sing(p_hef, q_hef) ) {
          ret = _mull_in(wir_r, van, sut, gol, dox, p_hef);
        } else {
          u2_noun zyn = _mull_in(wir_r, van, sut, gol, dox, p_hef);

          ret = u2_bc(wir_r, u2_rx(wir_r, u2_h(zyn)),
                             j2_mcy(Pt6, ut, play)(wir_r, van, dox, q_hef));
          u2_rz(wir_r, zyn);
        }
        u2_rz(wir_r, q_hef);
        u2_rz(wir_r, p_hef);
        u2_rz(wir_r, q_wiv);
        u2_rz(wir_r, p_wiv);

        return ret;
      }
      case c3__ktbr: p_gen = u2_t(gen);
      _mull_used(wir_r);
      {
        u2_noun vat = _mull_in(wir_r, van, sut, gol, dox, p_gen);
        u2_noun pro = u2_bc
          (wir_r, j2_mcy(Pt6, ut, wrap)(wir_r, van, u2_h(vat), c3__iron),
                  j2_mcy(Pt6, ut, wrap)(wir_r, van, u2_t(vat), c3__iron));

        u2_rz(wir_r, vat);
        return pro;
      }
      case c3__ktpm: p_gen = u2_t(gen);
      _mull_used(wir_r);
      {
        u2_noun vat = _mull_in(wir_r, van, sut, gol, dox, p_gen);
        u2_noun pro = u2_bc
          (wir_r, j2_mcy(Pt6, ut, wrap)(wir_r, van, u2_h(vat), c3__zinc),
                  j2_mcy(Pt6, ut, wrap)(wir_r, van, u2_t(vat), c3__zinc));

        u2_rz(wir_r, vat);
        return pro;
      }
      case c3__ktwt: p_gen = u2_t(gen);
      _mull_used(wir_r);
      {
        u2_noun vat = _mull_in(wir_r, van, sut, gol, dox, p_gen);
        u2_noun pro = u2_bc
          (wir_r, j2_mcy(Pt6, ut, wrap)(wir_r, van, u2_h(vat), c3__lead),
                  j2_mcy(Pt6, ut, wrap)(wir_r, van, u2_t(vat), c3__lead));

        u2_rz(wir_r, vat);
        return pro;
      }
      case c3__ktts: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen);
      _mull_used(wir_r);
      {
        u2_noun vat = _mull_in(wir_r, van, sut, gol, dox, q_gen);
        u2_noun ret = 
          u2_bc(wir_r, 
                j2_mby(Pt6, face)(wir_r, p_gen, u2_h(vat)),
                j2_mby(Pt6, face)(wir_r, p_gen, u2_t(vat)));

        u2_rz(wir_r, vat);
        return ret;
      }
      case c3__ktgr: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen);
      _mull_used(wir_r);
      {
        u2_noun hoz = j2_mcy(Pt6, ap, late)(wir_r, gen);
        u2_noun ryd = _mull_in(wir_r, van, sut, c3__noun, dox, hoz);
        u2_noun boc = j2_mcy(Pt6, ut, play)(wir_r, van, sut, p_gen);
        u2_noun ret = 
          u2_bc(wir_r, 
                _mull_nice
                  (wir_r, van, gol, j2_mby(Pt6, fine)
                                      (wir_r, c3__pure, boc, u2_h(ryd))),
                u2_rx(wir_r, u2_t(ryd)));

        u2_rz(wir_r, boc);
        u2_rz(wir_r, ryd);
        u2_rz(wir_r, hoz);

        return ret;
      }
      case c3__ktsg: p_gen = u2_t(gen);
      _mull_used(wir_r);
      {
        return _mull_in(wir_r, van, sut, gol, dox, p_gen);
      }
      case c3__ktls: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen);
      _mull_used(wir_r);
      {
        u2_noun p_hif = _mull_nice
          (wir_r, van, gol, j2_mcy(Pt6, ut, play)(wir_r, van, sut, p_gen));
        u2_noun q_hif = j2_mcy(Pt6, ut, play)(wir_r, van, dox, p_gen);

        u2_noun zel = _mull_in(wir_r, van, sut, p_hif, dox, q_gen);
        u2_noun ret = u2_bc(wir_r, p_hif, q_hif);

        u2_rz(wir_r, zel);
        return ret;
      }
      case c3__tsgr: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen);
      _mull_used(wir_r);
      {
        u2_noun lem = _mull_in(wir_r, van, sut, c3__noun, dox, p_gen);
        u2_noun p_lem = u2_h(lem);
        u2_noun q_lem = u2_t(lem);
        u2_noun ret = _mull_in(wir_r, van, p_lem, gol, q_lem, q_gen);

        u2_rz(wir_r, lem);
        return ret;
      }
      case c3__cnts: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen);
      _mull_used(wir_r);
      {
        u2_noun sec = j2_mcy(Pt6, ut, seek)(wir_r, van, sut, c3__read, p_gen);
        u2_noun suc = j2_mcy(Pt6, ut, seek)(wir_r, van, dox, c3__read, p_gen);
        u2_noun lar = _mull_foil(wir_r, sec);
        u2_noun p_lar = u2_h(lar);
        u2_noun q_lar = u2_t(lar);
        u2_noun pq_lar = u2_h(q_lar);
        u2_noun qq_lar = u2_t(q_lar);
        u2_noun vug = _mull_foil(wir_r, suc);
        u2_noun p_vug = u2_h(vug);
        u2_noun q_vug = u2_t(vug);
        u2_noun pq_vug = u2_h(q_vug);
        u2_noun qq_vug = u2_t(q_vug);
        u2_noun zoz = u2_and(u2_sing(p_lar, p_vug), u2_sing(pq_lar, pq_vug))
                        ? u2_bl_error(wir_r, "mull-bonk-f")
                        : 0;
        u2_noun mew = j2_mcy(Pt6, ut, swab)(wir_r, van, sut, qq_lar, q_gen);
        u2_noun muw = j2_mcy(Pt6, ut, swab)(wir_r, van, dox, qq_vug, q_gen);
        u2_noun qoq = u2_sing(mew, muw)
                        ? u2_bl_error(wir_r, "mull-bonk-g")
                        : 0;
        u2_noun yom = _mull_edit
          (wir_r, van, sut, dox, mew, u2_rx(wir_r, qq_lar), 
                                      u2_rx(wir_r, qq_vug));
        u2_noun von = u2_bn_molt(wir_r, van, j2_ut_van_vet, u2_no, 0);
        u2_noun p_ret = j2_mcy(Pt6, ut, fire)(wir_r, van, sut, u2_h(yom));
        u2_noun q_ret = j2_mcy(Pt6, ut, fire)(wir_r, von, sut, u2_t(yom));

        qoq = qoq; zoz = zoz;

        u2_rz(wir_r, von);
        u2_rz(wir_r, yom);
        u2_rz(wir_r, muw);
        u2_rz(wir_r, mew);
        u2_rz(wir_r, vug);
        u2_rz(wir_r, lar);

        return u2_bc(wir_r, _mull_nice(wir_r, van, gol, p_ret), q_ret);
      }
      case c3__pmcl: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen);
      _mull_used(wir_r);
      {
        u2_noun ruf = u2_bt
          (wir_r, c3__clhp, 
                  u2_bc(wir_r, u2_nul, _1),
                  u2_rx(wir_r, p_gen));
        u2_noun ret = _mull_grow
          (wir_r, van, sut, gol, dox, c3__zinc, ruf, q_gen);

        u2_rz(wir_r, ruf);
        return ret;
      }
      case c3__brcn: p_gen = u2_t(gen);
      _mull_used(wir_r);
      {
        u2_noun ruf = u2_bc(wir_r, u2_nul, _1);

        ret = _mull_grow(wir_r, van, sut, gol, dox, c3__gold, ruf, p_gen);
        u2_rz(wir_r, ruf);

        return ret;
      }
      case c3__pmcn: p_gen = u2_t(gen);
      _mull_used(wir_r);
      {
        u2_noun ruf = u2_bc(wir_r, u2_nul, _1);

        ret = _mull_grow(wir_r, van, sut, gol, dox, c3__lead, ruf, p_gen);
        u2_rz(wir_r, ruf);

        return ret;
      }
      case c3__pmls: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen);
      _mull_used(wir_r);
      {
        u2_noun ruf = u2_bt
          (wir_r, c3__clhp, 
                  u2_bc(wir_r, u2_nul, _1),
                  u2_rx(wir_r, p_gen));
        u2_noun ret = _mull_grow
          (wir_r, van, sut, gol, dox, c3__iron, ruf, q_gen);

        u2_rz(wir_r, ruf);
        return ret;
      }
      case c3__sggr: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen);
      _mull_used(wir_r);
      {
        return _mull_in(wir_r, van, sut, gol, dox, q_gen);
      }
      case c3__zpcm: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen);
      _mull_used(wir_r);
      {
        u2_noun p_ret = j2_mcy(Pt6, ut, play)(wir_r, van, sut, p_gen);
        u2_noun q_ret = j2_mcy(Pt6, ut, play)(wir_r, van, sut, q_gen);

        return u2_bc
          (wir_r, _mull_nice(wir_r, van, gol, p_ret),
                  q_ret);
      }
      case c3__zpcb: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen);
      {
        u2_noun ret;

        u2_bl_push(wir_r, u2_bc(wir_r, c3__mean, _mull_loc(wir_r, van, p_gen)));
        {
          ret = _mull_in(wir_r, van, sut, gol, dox, q_gen);
        }
        u2_bl_drop(wir_r);
        return ret;
      }
      case c3__zpts: p_gen = u2_t(gen);
      _mull_used(wir_r);
      {
        return _mull_both(wir_r, van, gol, c3__noun);
      }
      case c3__zpcn:
      _mull_used(wir_r);
      {
        u2_noun pet = u2_bn_hook(wir_r, van, "seed");
        u2_noun peq = u2_rx(wir_r, u2_h(pet));

        u2_rz(wir_r, pet);
        return _mull_both(wir_r, van, gol, peq);
      }
      case c3__zpsm: u2_bi_cell(wir_r, u2_t(gen), &p_gen, &q_gen);
      _mull_used(wir_r);
      {
        u2_noun p_zur = j2_mcy(Pt6, ut, play)(wir_r, van, sut, p_gen);
        u2_noun q_zur = j2_mcy(Pt6, ut, play) (wir_r, van, dox, p_gen);
        u2_noun vos = _mull_in(wir_r, van, sut, c3__noun, dox, q_gen);
        u2_noun p_ret = j2_mby(Pt6, cell)(wir_r, p_zur, u2_h(vos));
        u2_noun q_ret = j2_mby(Pt6, cell)(wir_r, q_zur, u2_t(vos));

        u2_rz(wir_r, vos);
        u2_rz(wir_r, q_zur);
        u2_rz(wir_r, p_zur);

        return u2_bc
          (wir_r, _mull_nice(wir_r, van, gol, p_ret), q_ret);
      }
      case c3__zpfs:
      case c3__zpzp:
      _mull_used(wir_r);
      {
        return u2_bc(wir_r, c3__void, c3__void);
      }
    }
  }
Exemplo n.º 19
0
  static u2_noun                                                  //  produce
  _peek_in(u2_wire wir_r,
           u2_noun van,                                           //  retain
           u2_noun sut,                                           //  retain
           u2_noun way,                                           //  retain
           u2_atom axe,                                           //  retain
           u2_noun gil)                                           //  retain
  {
    u2_noun p_sut, q_sut;
    u2_noun pro;

    if ( (u2_no == u2_dust(sut)) ) switch ( sut ) {
      default: return u2_bl_bail(wir_r, c3__fail);

      case c3__noun: {
        return c3__noun;
      }
      case c3__void: {
        return c3__void;
      }
    }
    else switch ( u2_h(sut) ) {
      default: return u2_bl_bail(wir_r, c3__fail);

      case c3__atom: {
        return c3__void;
      }
      case c3__cell: {
        if ( (u2_no == u2_as_trel(sut, 0, &p_sut, &q_sut)) ) {
          return u2_bl_bail(wir_r, c3__fail);
        } else {
          u2_atom tip = j2_mbc(Pt3, cap)(wir_r, axe);
          u2_atom tap = j2_mbc(Pt3, mas)(wir_r, axe);

          if ( _2 == tip ) {
            pro = j2_mcx(Pt6, ut, peek)(wir_r, van, p_sut, way, tap);
          }
          else {
            pro = j2_mcx(Pt6, ut, peek)(wir_r, van, q_sut, way, tap);
          }
          u2_rl_lose(wir_r, tap); 
          u2_rl_lose(wir_r, tip);

          return pro;
        }
      }
      case c3__core: {
        u2_noun pq_sut, qq_sut, rq_sut;
        u2_noun prq_sut, qrq_sut;

        if ( (u2_no == u2_as_trel(sut, 0, &p_sut, &q_sut)) ||
             (u2_no == u2_as_trel(q_sut, &pq_sut, &qq_sut, &rq_sut)) ||
             (u2_no == u2_as_cell(rq_sut, &prq_sut, &qrq_sut)) )
        {
          return u2_bl_bail(wir_r, c3__fail);
        } else {
          u2_atom tip = j2_mbc(Pt3, cap)(wir_r, axe);
          u2_atom tap = j2_mbc(Pt3, mas)(wir_r, axe);

          if ( _3 == tip ) {
            if ( u2_no == j2_mcy(Pt6, ut, park)(wir_r, van, sut, way, tap) ) 
            {
              // u2_noun dun = j2_mcy(Pt6, ut, dunq)(wir_r, van, "type", sut);
              u2_noun waz = j2_mcy(Pt6, ut, shep)
                (wir_r, van, "axis", 'd', u2_rx(wir_r, axe));

              // u2_bl_push(wir_r, u2_bc(wir_r, c3__mean, dun));
              u2_bl_push(wir_r, u2_bc(wir_r, c3__mean, waz));

              return u2_bl_error(wir_r, "peek-park");
            }
            else pro = j2_mcx(Pt6, ut, peek)(wir_r, van, p_sut, way, tap);
          }
          else {
            pro = c3__noun;
          }
          u2_rl_lose(wir_r, tap); 
          u2_rl_lose(wir_r, tip);

          return pro;
        }
      }
      case c3__cube: {
        if ( (u2_no == u2_as_trel(sut, 0, &p_sut, &q_sut)) ) {
          return u2_bl_bail(wir_r, c3__fail);
        } else {
          return _peek_in(wir_r, van, q_sut, way, axe, gil);
        }
      }
      case c3__face: {
        if ( (u2_no == u2_as_trel(sut, 0, &p_sut, &q_sut)) ) {
          return u2_bl_bail(wir_r, c3__fail);
        } else {
          return _peek_in(wir_r, van, q_sut, way, axe, gil);
        }
      }
      case c3__fork: {
        if ( (u2_no == u2_as_trel(sut, 0, &p_sut, &q_sut)) ) {
          return u2_bl_bail(wir_r, c3__fail);
        } else {
          u2_noun hed = _peek_in(wir_r, van, p_sut, way, axe, gil);
          u2_noun tal = _peek_in(wir_r, van, q_sut, way, axe, gil);

          pro = j2_mby(Pt6, fork)(wir_r, hed, tal);

          u2_rl_lose(wir_r, hed);
          u2_rl_lose(wir_r, tal);

          return pro;
        }
      } 
      case c3__hold: {
        p_sut = u2_t(sut);
        if ( (u2_yes == j2_mcc(Pt4, in, has)(wir_r, gil, sut)) ) {
          return c3__void;
        } 
        else {
          u2_noun zoc = j2_mcc(Pt4, in, put)(wir_r, gil, sut);
          u2_type fop = j2_mcy(Pt6, ut, repo)(wir_r, van, sut);
          u2_noun pro = _peek_in(wir_r, van, fop, way, axe, zoc);

          u2_rl_lose(wir_r, fop);
          u2_rl_lose(wir_r, zoc);

          return pro;
        }
      }
    }
  }
Exemplo n.º 20
0
  static u2_noun
  _heal_to(u2_wire wir_r,
           u2_noun van,
           u2_noun sut,
           u2_noun gil,
           u2_noun qog,
           u2_noun ref,
           u2_atom now,
           u2_atom lat)
  {
    u2_noun p_sut, q_sut;

    if ( u2_no == u2_dust(sut) ) {
      goto repo;
    }
    else switch ( u2_h(sut) ) {
      default: goto repo;

      case c3__atom: return c3__void;
      case c3__cell: u2_bi_cell(wir_r, u2_t(sut), &p_sut, &q_sut);
      {
        u2_noun ter, ret;

        if ( _2 == now ) {
          ter = _heal_as(wir_r, van, p_sut, qog, lat, ref);
          ret = j2_mby(Pt6, cell)(wir_r, ter, q_sut);
        } else {
          ter = _heal_as(wir_r, van, q_sut, qog, lat, ref);
          ret = j2_mby(Pt6, cell)(wir_r, p_sut, ter);
        }
        u2_rz(wir_r, ter);
        return ret;
      }

      case c3__core: u2_bi_cell(wir_r, u2_t(sut), &p_sut, &q_sut);
      {
        if ( _3 != now ) {
          return u2_bl_error(wir_r, "heal-core");
        } else {
          u2_noun ter = _heal_as(wir_r, van, p_sut, qog, lat, ref);
          u2_noun ret = j2_mby(Pt6, core)(wir_r, ter, q_sut);

          u2_rz(wir_r, ter);
          return ret;
        }
      }

      case c3__fork: u2_bi_cell(wir_r, u2_t(sut), &p_sut, &q_sut);
      {
        u2_noun dis = _heal_to(wir_r, van, p_sut, gil, qog, ref, now, lat);
        u2_noun dat = _heal_to(wir_r, van, q_sut, gil, qog, ref, now, lat);
        u2_noun ret = j2_mby(Pt6, fork)(wir_r, dis, dat);

        u2_rl_lose(wir_r, dis);
        u2_rl_lose(wir_r, dat);
        return ret;
      }

      case c3__hold: {
        if ( (u2_yes == j2_mcc(Pt4, in, has)(wir_r, gil, sut)) ) {
          return c3__void;
        } 
        else {
          u2_noun zoc = j2_mcc(Pt4, in, put)(wir_r, gil, sut);
          u2_type rep = j2_mcy(Pt6, ut, repo)(wir_r, van, sut);
          u2_noun ret = _heal_to(wir_r, van, rep, zoc, qog, ref, now, lat);

          u2_rl_lose(wir_r, rep);
          u2_rl_lose(wir_r, zoc);

          return ret;
        }
      }
    }

    repo: {
      u2_noun rep = j2_mcy(Pt6, ut, repo)(wir_r, van, sut);
      u2_noun ret = _heal_to(wir_r, van, rep, gil, qog, ref, now, lat);

      u2_rz(wir_r, rep);
      return ret;
    }
  }
Exemplo n.º 21
0
/* logic
*/
  static u2_noun
  _burn_in(u2_wire wir_r, 
           u2_noun van,
           u2_noun sut,
           u2_noun gil)
  {
    u2_noun p_sut, q_sut, pq_sut, qq_sut, rq_sut, prq_sut, qrq_sut;

    if ( u2_no == u2_dust(sut) ) switch ( sut ) {
      default: return u2_bl_bail(wir_r, c3__fail);

      case c3__noun: return _0;
      case c3__void: {
        return u2_bl_error(wir_r, "burn-void");
      }
    }
    else switch ( u2_h(sut) ) {
      default: return u2_bl_bail(wir_r, c3__fail);

      case c3__atom: return _0;

      case c3__cell: u2_bi_cell(wir_r, u2_t(sut), &p_sut, &q_sut);
      {
        return u2_bc
          (wir_r, _burn_in(wir_r, van, p_sut, gil),
                  _burn_in(wir_r, van, q_sut, gil));
      }
      case c3__core: u2_bi_cell(wir_r, u2_t(sut), &p_sut, &q_sut);
                     u2_bi_trel(wir_r, q_sut, &pq_sut, &qq_sut, &rq_sut);
                     u2_bi_cell(wir_r, rq_sut, &prq_sut, &qrq_sut);
      {
        return u2_bc
          (wir_r, u2_rx(wir_r, prq_sut),
                  _burn_in(wir_r, van, p_sut, gil));
      }
      case c3__cube: u2_bi_cell(wir_r, u2_t(sut), &p_sut, &q_sut);
      {
        return u2_rx(wir_r, p_sut);
      }
      case c3__face: u2_bi_cell(wir_r, u2_t(sut), &p_sut, &q_sut);
      {
        return _burn_in(wir_r, van, q_sut, gil);
      }
      case c3__fork: u2_bi_cell(wir_r, u2_t(sut), &p_sut, &q_sut);
      {
        return _burn_in(wir_r, van, p_sut, gil);
      }
      case c3__hold: p_sut = u2_t(sut);
      {
        if ( (u2_yes == j2_mcc(Pt4, in, has)(wir_r, gil, sut)) ) {
          u2_noun sux = j2_mcy(Pt6, ut, dunq)(wir_r, van, "type", sut);

          u2_bl_push(wir_r, u2_bc(wir_r, c3__mean, sux));
          return u2_bl_error(wir_r, "burn-loop");
        } 
        else {
          u2_noun zoc = j2_mcc(Pt4, in, put)(wir_r, gil, sut);
          u2_type fop = j2_mcy(Pt6, ut, repo)(wir_r, van, sut);
          u2_noun pro = _burn_in(wir_r, van, fop, zoc);

          u2_rl_lose(wir_r, fop);
          u2_rl_lose(wir_r, zoc);

          return pro;
        }
      }
    }
  }
Exemplo n.º 22
0
/* logic
*/
  static u2_noun
  _find_in(u2_wire wir_r,
           u2_noun van,
           u2_noun sut,
           u2_noun way,
           u2_noun cog,
           u2_noun gil)
  {
    u2_noun p_sut, q_sut;

    if ( u2_yes == u2_stud(sut) ) {
      return u2_nul;
    }
    else switch ( u2_h(sut) ) {
      default: return u2_nul;

      case c3__cell: {
        if ( (u2_no == u2_as_trel(sut, 0, &p_sut, &q_sut)) ) {
          return u2_bl_bail(wir_r, c3__fail);
        } else {
          u2_noun taf = _find_in(wir_r, van, q_sut, way, cog, gil);

          if ( u2_nul == taf ) {
            u2_noun bov = _find_in(wir_r, van, p_sut, way, cog, gil);

            if ( u2_nul == bov ) {
              return u2_nul;
            } else {
              u2_noun p_bov, q_bov;
              u2_noun pro;

              u2_mean(bov, 6, &p_bov, 7, &q_bov, 0);
              pro = u2_bt
                (wir_r, u2_nul,
                        j2_mbc(Pt3, peg)(wir_r, 2, p_bov),
                        u2_rx(wir_r, q_bov));

              u2_rl_lose(wir_r, bov);
              return pro;
            }
          } else {
            u2_noun p_taf, q_taf;
            u2_noun pro;

            u2_mean(taf, 6, &p_taf, 7, &q_taf, 0);
            pro = u2_bt
              (wir_r, u2_nul,
                      j2_mbc(Pt3, peg)(wir_r, 3, p_taf),
                      u2_rx(wir_r, q_taf));

            u2_rl_lose(wir_r, taf);
            return pro;
          }
        }
      }
      case c3__core: {
        u2_noun pq_sut, qq_sut, rq_sut;
        u2_noun prq_sut, qrq_sut;

        if ( (u2_no == u2_as_trel(sut, 0, &p_sut, &q_sut)) ||
             (u2_no == u2_as_trel(q_sut, &pq_sut, &qq_sut, &rq_sut)) ||
             (u2_no == u2_as_cell(rq_sut, &prq_sut, &qrq_sut)) )
        {
          return u2_bl_bail(wir_r, c3__fail);
        } else {
          u2_noun zem = j2_mby(Pt6, look)(wir_r, cog, qrq_sut);

          if ( u2_nul == zem ) {
            u2_noun taf = _find_in(wir_r, van, p_sut, way, cog, gil);

            if ( u2_nul == taf ) {
              return u2_nul;
            } else {
              u2_noun p_taf, q_taf;
              u2_noun pro;

              u2_mean(taf, 6, &p_taf, 7, &q_taf, 0);

              if ( u2_no == j2_mcy(Pt6, ut, park)(wir_r, van, sut, way, p_taf) )
              {
                u2_noun weh = j2_mcy(Pt6, ut, shep)
                  (wir_r, van, "way", 'a', u2_rx(wir_r, way));
                u2_noun waz = j2_mcy(Pt6, ut, shep)
                  (wir_r, van, "axis", 'd', u2_rx(wir_r, p_taf));

                u2_bl_push(wir_r, u2_bc(wir_r, c3__mean, weh));
                u2_bl_push(wir_r, u2_bc(wir_r, c3__mean, waz));
                return u2_bl_error(wir_r, "find-park");
              }
              else {
                pro = u2_bt
                  (wir_r, u2_nul,
                          j2_mbc(Pt3, peg)(wir_r, 2, p_taf),
                          u2_rx(wir_r, q_taf));

                u2_rl_lose(wir_r, taf);
                return pro;
              }
            }
          }
          else {
            u2_noun p_zem, q_zem;
            u2_noun pro;

            u2_mean(zem, 6, &p_zem, 7, &q_zem, 0);

            pro = u2_bq
              (wir_r, u2_nul,
                      _1,
                      u2_no,
                      u2_bc
                        (wir_r, j2_mbc(Pt3, peg)(wir_r, 3, p_zem),
                                u2_bc(wir_r, 
                                      u2_bc(wir_r, u2_rx(wir_r, sut),
                                                   u2_rx(wir_r, q_zem)),
                                      u2_nul)));
            u2_rz(wir_r, zem);
            return pro;
          }
        }
      }
      case c3__face: {
        if ( (u2_no == u2_as_trel(sut, 0, &p_sut, &q_sut)) ) {
          return u2_bl_bail(wir_r, c3__fail);
        } else { 
          if ( u2_no == u2_sing(cog, p_sut) ) {
            return u2_nul;
          } else {
            return u2_bq(wir_r, u2_nul, _1, u2_yes, u2_rx(wir_r, q_sut));
          }
        }
      }
      case c3__cube:
      case c3__fine: {
        u2_type fop = j2_mcy(Pt6, ut, repo)(wir_r, van, sut);
        u2_noun ret = _find_in(wir_r, van, fop, way, cog, gil);
        
        u2_rz(wir_r, fop);
        return ret;
      }
      case c3__fork: {
        if ( (u2_no == u2_as_trel(sut, 0, &p_sut, &q_sut)) ) {
          return u2_bl_bail(wir_r, c3__fail);
        }
        else {
          if ( (u2_yes == j2_mcc(Pt4, in, has)(wir_r, gil, q_sut)) ) {
            return _find_in(wir_r, van, p_sut, way, cog, gil);
          } 
          else if ( (u2_yes == j2_mcc(Pt4, in, has)(wir_r, gil, p_sut)) ) {
            return _find_in(wir_r, van, q_sut, way, cog, gil);
          } else {
            u2_noun hax = _find_in(wir_r, van, p_sut, way, cog, gil);
            u2_noun yor = _find_in(wir_r, van, q_sut, way, cog, gil);
            u2_noun p_hax, q_hax;
            u2_noun p_yor, q_yor;

            if ( u2_nul != hax ) {
              u2_mean(hax, 6, &p_hax, 7, &q_hax, 0);
            }
            if ( u2_nul != yor ) {
              u2_mean(yor, 6, &p_yor, 7, &q_yor, 0);
            }

            if ( u2_nul == hax ) {
              if ( u2_nul == yor ) {
                return u2_nul;
              } else {
                u2_noun pek = j2_mcy(Pt6, ut, peek)
                  (wir_r, van, p_sut, way, p_yor);
                u2_noun nuz = j2_mcy(Pt6, ut, nest)
                  (wir_r, van, c3__void, u2_no, pek);

                u2_rz(wir_r, pek);

                if ( u2_yes == nuz ) {
                  return yor;
                } else return u2_bl_error(wir_r, "find-fork");
              }
            }
            else {
              if ( u2_nul == yor ) {
                u2_noun pek = j2_mcy(Pt6, ut, peek)
                  (wir_r, van, q_sut, way, p_hax);
                u2_noun nuz = j2_mcy(Pt6, ut, nest)
                  (wir_r, van, c3__void, u2_no, pek);

                u2_rz(wir_r, pek);

                if ( u2_yes == nuz ) {
                  return hax;
                } else return u2_bl_error(wir_r, "find-fork");
              }
              else {
                if ( u2_yes == u2_sing(hax, yor) ) {
                  u2_rz(wir_r, yor);

                  return hax;
                } else {
                  u2_noun ret;

                  u2_mean(hax, 6, &p_hax, 7, &q_hax, 0);
                  u2_mean(yor, 6, &p_yor, 7, &q_yor, 0);

                  if ( u2_no == u2_sing(p_hax, p_yor) ) {
                    return u2_bl_error(wir_r, "find-fork");
                  }

                  if ( u2_yes == u2_h(q_hax) ) {
                    if ( u2_yes != u2_h(q_yor) ) {
                      return u2_bl_error(wir_r, "find-fork");
                    } else {
                      u2_noun pq_hax = u2_t(q_hax);
                      u2_noun pq_yor = u2_t(q_yor);

                      ret = u2_bq
                        (wir_r, 
                         u2_nul,
                         u2_rx(wir_r, p_hax),
                         u2_yes,
                         j2_mby(Pt6, fork)(wir_r, pq_hax, pq_yor));
                    }
                  }
                  else {
                    if ( u2_yes == u2_h(q_yor) ) {
                      return u2_bl_error(wir_r, "find-fork");
                    }
                    else {
                      u2_noun pq_hax, qq_hax, pq_yor, qq_yor;

                      u2_bi_cell(wir_r, u2_t(q_hax), &pq_hax, &qq_hax);
                      u2_bi_cell(wir_r, u2_t(q_yor), &pq_yor, &qq_yor);

                      if ( u2_no == u2_sing(pq_hax, pq_yor) ) {
                        return u2_bl_error(wir_r, "find-fork");
                      } else {
                        ret = u2_bq
                          (wir_r, u2_nul,
                                  u2_rx(wir_r, p_hax),
                                  u2_no,
                                  u2_bc
                                    (wir_r, u2_rx(wir_r, pq_hax),
                                            j2_mbc(Pt2, weld)
                                              (wir_r, qq_hax, qq_yor)));
                      }
                    }
                  }
                  u2_rz(wir_r, yor);
                  u2_rz(wir_r, hax);

                  return ret;
                }
              }
            }
          }
        }
      } 
      case c3__hold: p_sut = u2_t(sut);
      {
        if ( (u2_yes == j2_mcc(Pt4, in, has)(wir_r, gil, sut)) ) {
          return u2_nul;
        } 
        else {
          u2_noun zoc = j2_mcc(Pt4, in, put)(wir_r, gil, sut);
          u2_type fop = j2_mcy(Pt6, ut, repo)(wir_r, van, sut);
          u2_noun pro = _find_in(wir_r, van, fop, way, cog, zoc);

          u2_rl_lose(wir_r, fop);
          u2_rl_lose(wir_r, zoc);

          return pro;
        }
      }
    }
  }