Example #1
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;
      }
    }
  }
Example #2
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);
      }
    }
  }
Example #3
0
  u2_noun                                                         //  transfer
  j2_mcx(Pt6, ut, cull)(u2_wire wir_r, 
                        u2_noun van,                              //  retain
                        u2_noun sut,                              //  retain
                        u2_flag pol,                              //  retain
                        u2_atom axe,                              //  retain
                        u2_noun ref)                              //  retain
  {
    u2_noun ret, p_sut, q_sut, r_sut;

    if ( _1 == axe ) {
      if ( u2_yes == pol ) {
        return j2_mcy(Pt6, ut, fuse)(wir_r, van, sut, ref);
      } else {
        return j2_mcy(Pt6, ut, crop)(wir_r, van, sut, ref);
      }
    } else {
      u2_atom now = j2_mbc(Pt3, cap)(wir_r, axe);
      u2_atom lat = j2_mbc(Pt3, mas)(wir_r, axe);

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

        case c3__noun: {
          u2_noun pyr = j2_mcy(Pt6, ut, repo)(wir_r, van, sut);
          u2_noun yot = j2_mcx(Pt6, ut, cull)(wir_r, van, pyr, pol, axe, ref);
          
          if ( u2_yes == u2_sing(pyr, yot) ) {
            ret = u2_rx(wir_r, sut); 
          } else {
            ret = u2_rx(wir_r, yot);
          }
          u2_rl_lose(wir_r, pyr);
          u2_rl_lose(wir_r, yot);
          break;
        }
        case c3__void: {
          ret = c3__void;
        }
      }
      else switch ( u2_h(sut) ) {
        default: return u2_bl_bail(wir_r, c3__fail);

        case c3__atom: {
          ret = c3__void; 
          break;
        }
        case c3__cell: u2_bi_cell(wir_r, u2_t(sut), &p_sut, &q_sut);
        {
          u2_noun hub;

          if ( _2 == now ) {
            hub = j2_mcx(Pt6, ut, cull)(wir_r, van, p_sut, pol, lat, ref);
            ret = j2_mby(Pt6, cell)(wir_r, hub, q_sut);
          } else {
            hub = j2_mcx(Pt6, ut, cull)(wir_r, van, q_sut, pol, lat, ref);
            ret = j2_mby(Pt6, cell)(wir_r, p_sut, hub);
          }
          u2_rl_lose(wir_r, hub);
          break;
        }
        case c3__core: u2_bi_cell(wir_r, u2_t(sut), &p_sut, &q_sut);
        {
          if ( _2 != now ) {
            ret = u2_rx(wir_r, sut);
          } else {
            u2_noun hub = j2_mcx(Pt6, ut, cull)
                                     (wir_r, van, p_sut, pol, lat, ref);

            ret = j2_mby(Pt6, core)(wir_r, hub, q_sut);

            u2_rl_lose(wir_r, hub);
          }
          break;
        }
        case c3__face: u2_bi_cell(wir_r, u2_t(sut), &p_sut, &q_sut);
        {
          u2_noun hic = j2_mcx(Pt6, ut, cull)
                                      (wir_r, van, q_sut, pol, axe, ref);

          if ( u2_yes == u2_sing(hic, q_sut) ) {
            ret = u2_rx(wir_r, sut); 
          } else {
            ret = j2_mby(Pt6, face)(wir_r, p_sut, hic);
          }
          u2_rl_lose(wir_r, hic);

          break;
        }
        case c3__fine: u2_bi_trel(wir_r, u2_t(sut), &p_sut, &q_sut, &r_sut);
        {
          u2_noun hic = j2_mcx(Pt6, ut, cull)(wir_r, van, r_sut, pol, axe, ref);

          if ( u2_yes == u2_sing(hic, r_sut) ) {
            ret = u2_rx(wir_r, sut); 
          } else {
            ret = j2_mby(Pt6, fine)(wir_r, p_sut, q_sut, hic);
          }
          u2_rl_lose(wir_r, hic);

          break;
        }
        case c3__fork: u2_bi_cell(wir_r, u2_t(sut), &p_sut, &q_sut);
        {
          u2_noun sin = j2_mcx(Pt6, ut, cull)(wir_r, van, p_sut, pol, axe, ref);
          u2_noun dex = j2_mcx(Pt6, ut, cull)(wir_r, van, q_sut, pol, axe, ref);

          ret = j2_mby(Pt6, fork)(wir_r, sin, dex);
          u2_rl_lose(wir_r, sin);
          u2_rl_lose(wir_r, dex);

          return ret;
        }
        case c3__cube: 
        case c3__hold: 
        {
          u2_noun pyr = j2_mcy(Pt6, ut, repo)(wir_r, van, sut);
          u2_noun yot = j2_mcx(Pt6, ut, cull)(wir_r, van, pyr, pol, axe, ref);

          if ( u2_yes == u2_sing(pyr, yot) ) {
            ret = u2_rx(wir_r, sut); 
          } else {
            ret = u2_rx(wir_r, yot);
          }
          u2_rl_lose(wir_r, pyr);
          u2_rl_lose(wir_r, yot);
          break;
        }
      }
      u2_rl_lose(wir_r, lat);
      return ret;
    }
  }
Example #4
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__bull: u2_bi_cell(wir_r, u2_t(sut), &p_sut, &q_sut);
      {
        return u2_bl_error(wir_r, "burn-bull");
      }
      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;
        }
      }
    }
  }
Example #5
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;
    }
  }
Example #6
0
  static u2_flag
  _nest_cong(u2_wire wir_r,
             u2_noun van,
             u2_noun sut,
             u2_flag tel,
             u2_noun ref,
             u2_noun gil)
  {
    u2_noun p_sut, q_sut, p_ref, q_ref;
    u2_noun pq_sut, qq_sut, rq_sut;
    u2_noun pq_ref, qq_ref, rq_ref;
    u2_noun prq_sut, qrq_sut, prq_ref, qrq_ref;
    u2_flag ret;

    u2_bi_trel(wir_r, sut, 0, &p_sut, &q_sut);
    u2_bi_trel(wir_r, ref, 0, &p_ref, &q_ref);

    u2_bi_trel(wir_r, q_sut, &pq_sut, &qq_sut, &rq_sut);
    u2_bi_trel(wir_r, q_ref, &pq_ref, &qq_ref, &rq_ref);

    u2_bi_cell(wir_r, rq_sut, &prq_sut, &qrq_sut);
    u2_bi_cell(wir_r, rq_ref, &prq_ref, &qrq_ref);

    if ( u2_yes == u2_sing(q_sut, q_ref) ) {
      return _nest_dext(wir_r, van, p_sut, tel, p_ref, gil);
    }
    else if ( (u2_no == _nest_dext(wir_r, van, qq_sut, tel, p_sut, gil)) ||
              (u2_no == _nest_dext(wir_r, van, p_sut, tel, qq_sut, gil)) ||
              (u2_no == _nest_dext(wir_r, van, qq_ref, tel, p_ref, gil)) )
    {
      return u2_no;
    }
    else {
      if ( (pq_sut != pq_ref) && (c3__gold != pq_ref) ) {
        return u2_no;
      }
      else {
        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, gil, hud)) ) {
          u2_rl_lose(wir_r, hud);

          return u2_yes;
        } 
        else {
          u2_noun zoc = j2_mcc(Pt4, in, put)(wir_r, gil, hud);
          u2_noun tus = u2_bt(wir_r, c3__core, 
                                     u2_rx(wir_r, qq_sut), 
                                     u2_rx(wir_r, q_sut));
          u2_noun fer = u2_bt(wir_r, c3__core, 
                                     u2_rx(wir_r, qq_ref), 
                                     u2_rx(wir_r, q_ref));

          ret = _nest_cram(wir_r, van, tus, tel, fer, qrq_sut, qrq_ref, zoc);
          u2_rz(wir_r, fer);
          u2_rz(wir_r, tus);
          u2_rz(wir_r, zoc);
          u2_rz(wir_r, hud);

          if ( u2_no == ret ) {
            return u2_no;
          }
          else {
            switch ( pq_sut ) {
              default: return u2_bl_bail(wir_r, c3__fail);

              case c3__gold: {
                return 
                  u2_and(_nest_dext(wir_r, van, qq_sut, tel, qq_ref, gil),
                         _nest_dext(wir_r, van, qq_ref, tel, qq_sut, gil));
              }
              case c3__iron: {
                u2_noun s_sam = j2_mcy(Pt6, ut, peek)
                                        (wir_r, van, qq_sut, c3__rite, _2);
                u2_noun r_sam = j2_mcy(Pt6, ut, peek)
                                        (wir_r, van, qq_ref, c3__rite, _2);
                u2_flag ret = _nest_dext(wir_r, van, r_sam, tel, s_sam, gil);

                u2_rz(wir_r, r_sam);
                u2_rz(wir_r, s_sam);
                return ret;
              }
              case c3__lead: {
                return u2_yes;
              }
              case c3__zinc: {
                u2_noun s_pal = j2_mcy(Pt6, ut, peek)
                                        (wir_r, van, qq_sut, c3__read, _2);
                u2_noun r_pal = j2_mcy(Pt6, ut, peek)
                                        (wir_r, van, qq_ref, c3__read, _2);
                u2_flag ret = _nest_dext(wir_r, van, s_pal, tel, r_pal, gil);

                u2_rz(wir_r, r_pal);
                u2_rz(wir_r, s_pal);

                return ret;
              }
            }
          }
        }
      }
    }
  }
Example #7
0
  static u2_flag
  _nest_cram(u2_wire wir_r,
             u2_noun van,
             u2_noun sut,
             u2_flag tel,
             u2_noun ref,
             u2_noun dab,
             u2_noun hem, 
             u2_noun gil)
  {
    if ( u2_nul == dab ) {
      return u2_sing(u2_nul, hem);
    } else if ( u2_nul == hem ) {
      return u2_no;
    } else {
      u2_noun n_dab, l_dab, r_dab;
      u2_noun n_hem, l_hem, r_hem;
      u2_noun pn_hem, qn_hem, pn_dab, qn_dab;

      u2_bi_trel(wir_r, dab, &n_dab, &l_dab, &r_dab);
      u2_bi_trel(wir_r, hem, &n_hem, &l_hem, &r_hem);

      if ( (u2_no == _nest_cram
                        (wir_r, van, sut, tel, ref, l_dab, l_hem, gil)) ||
           (u2_no == _nest_cram
                        (wir_r, van, sut, tel, ref, r_dab, r_hem, gil)) ) {
        return u2_no;
      }
      u2_bi_cell(wir_r, n_dab, &pn_dab, &qn_dab);
      u2_bi_cell(wir_r, n_hem, &pn_hem, &qn_hem);

      if ( u2_no == u2_sing(pn_dab, pn_hem) ) {
        return u2_no;
      } else {
        if ( (u2_no == u2_dust(qn_dab)) || (u2_no == u2_dust(qn_hem)) ) {
          return u2_bl_bail(wir_r, c3__fail);
        } 
        else switch ( u2_h(qn_dab) ) {
          default: return u2_bl_bail(wir_r, c3__exit);
          case c3__ash: {
            if ( c3__ash != u2_h(qn_hem) ) {
              return u2_no;
            } else {
              u2_noun pqn_dab = u2_t(qn_dab);
              u2_noun pqn_hem = u2_t(qn_hem);
              u2_noun vis = j2_mcy(Pt6, ut, play)(wir_r, van, sut, pqn_dab);
              u2_noun lon = j2_mcy(Pt6, ut, play)(wir_r, van, ref, pqn_hem);
              u2_flag ret = _nest_dext(wir_r, van, vis, tel, lon, gil);

              u2_rz(wir_r, vis);
              u2_rz(wir_r, lon);
              return ret;
            }
          }
          case c3__elm: {
            return u2_sing(qn_dab, qn_hem);
          }
        }
      }
    }
  }
Example #8
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 {
          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 ) {
            if ( u2_nul == yor ) {
              return u2_nul;
            } else {
              return u2_bl_error(wir_r, "find-fork");
            }
          }
          else {
            if ( u2_nul == hax ) {
              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;
        }
      }
    }
  }
Example #9
0
  static u2_noun 
  _cull_in(u2_wire wir_r, 
           u2_noun van,                                           //  retain
           u2_noun sut,                                           //  retain
           u2_bean pol,                                           //  retain
           u2_atom axe,                                           //  retain
           u2_noun ref,                                           //  retain
           u2_noun now,                                           //  retain
           u2_noun lat,                                           //  retain
           u2_noun vil)                                           //  retain
  {
    u2_noun ret, 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: {
        u2_noun pyr = j2_mcy(Pt6, ut, repo)(wir_r, van, sut);
        u2_noun yot = j2_mcx(Pt6, ut, cull)(wir_r, van, pyr, pol, axe, ref);
        
        if ( u2_yes == u2_sing(pyr, yot) ) {
          ret = u2_rx(wir_r, sut); 
        } else {
          ret = u2_rx(wir_r, yot);
        }
        u2_rl_lose(wir_r, pyr);
        u2_rl_lose(wir_r, yot);
        break;
      }
      case c3__void: {
        ret = c3__void;
      }
    }
    else switch ( u2_h(sut) ) {
      default: return u2_bl_bail(wir_r, c3__fail);

      case c3__atom: {
        ret = c3__void; 
        break;
      }
      case c3__cell: u2_bi_cell(wir_r, u2_t(sut), &p_sut, &q_sut);
      {
        u2_noun hub;

        if ( _2 == now ) {
          hub = j2_mcx(Pt6, ut, cull)(wir_r, van, p_sut, pol, lat, ref);
          ret = j2_mby(Pt6, cell)(wir_r, hub, q_sut);
        } else {
          hub = j2_mcx(Pt6, ut, cull)(wir_r, van, q_sut, pol, lat, ref);
          ret = j2_mby(Pt6, cell)(wir_r, p_sut, hub);
        }
        u2_rl_lose(wir_r, hub);
        break;
      }
      case c3__core: u2_bi_cell(wir_r, u2_t(sut), &p_sut, &q_sut);
      {
        if ( _3 != now ) {
          ret = u2_rx(wir_r, sut);
        } else {
          u2_noun hub = j2_mcx(Pt6, ut, cull)
                                   (wir_r, van, p_sut, pol, lat, ref);

          ret = j2_mby(Pt6, core)(wir_r, hub, q_sut);

          u2_rl_lose(wir_r, hub);
        }
        break;
      }
      case c3__face: u2_bi_cell(wir_r, u2_t(sut), &p_sut, &q_sut);
      {
        u2_noun hic = j2_mcx(Pt6, ut, cull)
                                    (wir_r, van, q_sut, pol, axe, ref);

        if ( u2_yes == u2_sing(hic, q_sut) ) {
          ret = u2_rx(wir_r, sut); 
        } else {
          ret = j2_mby(Pt6, face)(wir_r, p_sut, hic);
        }
        u2_rl_lose(wir_r, hic);

        break;
      }
      case c3__fine: u2_bi_trel(wir_r, u2_t(sut), &p_sut, &q_sut, &r_sut);
      {
        u2_noun hic = j2_mcx(Pt6, ut, cull)(wir_r, van, r_sut, pol, axe, ref);

        if ( u2_yes == u2_sing(hic, r_sut) ) {
          ret = u2_rx(wir_r, sut); 
        } else {
          ret = j2_mby(Pt6, fine)(wir_r, p_sut, q_sut, hic);
        }
        u2_rl_lose(wir_r, hic);

        break;
      }
      case c3__fork: u2_bi_cell(wir_r, u2_t(sut), &p_sut, &q_sut);
      {
        if ( u2_yes == j2_mcc(Pt4, in, has)(wir_r, vil, sut) ) {
          return c3__void;
        } else {
          u2_noun zoc = j2_mcc(Pt4, in, put)(wir_r, vil, sut);
          u2_noun sin = _cull_in
            (wir_r, van, p_sut, pol, axe, ref, now, lat, zoc);
          u2_noun dex = _cull_in
            (wir_r, van, q_sut, pol, axe, ref, now, lat, zoc);
     
          ret = j2_mby(Pt6, fork)(wir_r, sin, dex);
          u2_rl_lose(wir_r, sin);
          u2_rl_lose(wir_r, dex);
          u2_rl_lose(wir_r, zoc);

          return ret;
        }
      }
      case c3__cube: 
      case c3__hold: 
      {
        u2_noun pyr = j2_mcy(Pt6, ut, repo)(wir_r, van, sut);
        u2_noun yot = _cull_in(wir_r, van, pyr, pol, axe, ref, now, lat, vil);

        if ( u2_yes == u2_sing(pyr, yot) ) {
          if ( c3__void == pyr ) {
            ret = c3__void;
          }
          else ret = u2_rx(wir_r, sut); 
        } else {
          ret = u2_rx(wir_r, yot);
        }
        u2_rl_lose(wir_r, pyr);
        u2_rl_lose(wir_r, yot);
        break;
      }
    }
    u2_rl_lose(wir_r, lat);
    return ret;
  }