mirror of
https://github.com/urbit/shrub.git
synced 2024-12-28 22:54:15 +03:00
Tier 4.
This commit is contained in:
C. Guy Yarvin
parent
adc95b417a
commit
25cd41d204
3
Makefile
3
Makefile
@ -333,7 +333,8 @@ meme: $(BIN)/meme
|
||||
$(BIN)/meme: f/meme.o \
|
||||
$(J164_1_OFILES) \
|
||||
$(J164_2_OFILES) \
|
||||
$(J164_3_OFILES)
|
||||
$(J164_3_OFILES) \
|
||||
$(J164_4_OFILES)
|
||||
$(CC) -g $< -lgmp -o $@
|
||||
|
||||
tags:
|
||||
|
||||
@ -8,33 +8,33 @@
|
||||
/* functions
|
||||
*/
|
||||
u2_weak // transfer
|
||||
j2_mcc(Pt4, by, gas)(u2_wire wir_r,
|
||||
j2_mcc(Pt4, by, gas)(
|
||||
u2_noun a, // retain
|
||||
u2_noun b) // retain
|
||||
{
|
||||
if ( u2_nul == b ) {
|
||||
return u2_rx(wir_r, a);
|
||||
return u2k(a);
|
||||
}
|
||||
else {
|
||||
if ( u2_no == u2_dust(b) ) {
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
if ( u2_no == u2du(b) ) {
|
||||
return u2_cm_bail(c3__exit);
|
||||
} else {
|
||||
u2_noun i_b = u2_h(b);
|
||||
u2_noun t_b = u2_t(b);
|
||||
u2_noun i_b = u2h(b);
|
||||
u2_noun t_b = u2t(b);
|
||||
|
||||
if ( u2_no == u2_dust(i_b) ) {
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
if ( u2_no == u2du(i_b) ) {
|
||||
return u2_cm_bail(c3__exit);
|
||||
} else {
|
||||
u2_noun pi_b = u2_h(i_b);
|
||||
u2_noun qi_b = u2_t(i_b);
|
||||
u2_noun pi_b = u2h(i_b);
|
||||
u2_noun qi_b = u2t(i_b);
|
||||
u2_noun c;
|
||||
|
||||
if ( u2_none == (c = j2_mcc(Pt4, by, put)(wir_r, a, pi_b, qi_b)) ) {
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
if ( u2_none == (c = j2_mcc(Pt4, by, put)(a, pi_b, qi_b)) ) {
|
||||
return u2_cm_bail(c3__exit);
|
||||
} else {
|
||||
u2_noun d = j2_mcc(Pt4, by, gas)(wir_r, c, t_b);
|
||||
u2_noun d = j2_mcc(Pt4, by, gas)(c, t_b);
|
||||
|
||||
u2_rl_lose(wir_r, c);
|
||||
u2z(c);
|
||||
return d;
|
||||
}
|
||||
}
|
||||
@ -42,15 +42,15 @@
|
||||
}
|
||||
}
|
||||
u2_weak // transfer
|
||||
j2_mc(Pt4, by, gas)(u2_wire wir_r,
|
||||
j2_mc(Pt4, by, gas)(
|
||||
u2_noun cor) // retain
|
||||
{
|
||||
u2_noun a, b;
|
||||
|
||||
if ( u2_no == u2_mean(cor, u2_cv_sam, &b, u2_cv_con_sam, &a, 0) ) {
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
if ( u2_no == u2_cr_mean(cor, u2_cv_sam, &b, u2_cv_con_sam, &a, 0) ) {
|
||||
return u2_cm_bail(c3__exit);
|
||||
} else {
|
||||
return j2_mcc(Pt4, by, gas)(wir_r, a, b);
|
||||
return j2_mcc(Pt4, by, gas)(a, b);
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
@ -8,7 +8,7 @@
|
||||
/* functions
|
||||
*/
|
||||
u2_noun // transfer
|
||||
j2_mcc(Pt4, by, get)(u2_wire wir_r,
|
||||
j2_mcc(Pt4, by, get)(
|
||||
u2_noun a, // retain
|
||||
u2_noun b) // retain
|
||||
{
|
||||
@ -19,34 +19,34 @@
|
||||
u2_noun l_a, n_a, r_a;
|
||||
u2_noun pn_a, qn_a;
|
||||
|
||||
if ( (u2_no == u2_as_trel(a, &n_a, &l_a, &r_a)) ||
|
||||
(u2_no == u2_as_cell(n_a, &pn_a, &qn_a) ) )
|
||||
if ( (u2_no == u2_cr_trel(a, &n_a, &l_a, &r_a)) ||
|
||||
(u2_no == u2_cr_cell(n_a, &pn_a, &qn_a) ) )
|
||||
{
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
return u2_cm_bail(c3__exit);
|
||||
}
|
||||
else {
|
||||
if ( (u2_yes == u2_sing(b, pn_a)) ) {
|
||||
return u2_rc(wir_r, u2_nul, u2_rx(wir_r, qn_a));
|
||||
if ( (u2_yes == u2_cr_sing(b, pn_a)) ) {
|
||||
return u2nc(u2_nul, u2k(qn_a));
|
||||
}
|
||||
else {
|
||||
if ( u2_yes == j2_mbc(Pt3, gor)(wir_r, b, pn_a) ) {
|
||||
return j2_mcc(Pt4, by, get)(wir_r, l_a, b);
|
||||
if ( u2_yes == j2_mbc(Pt3, gor)(b, pn_a) ) {
|
||||
return j2_mcc(Pt4, by, get)(l_a, b);
|
||||
}
|
||||
else return j2_mcc(Pt4, by, get)(wir_r, r_a, b);
|
||||
else return j2_mcc(Pt4, by, get)(r_a, b);
|
||||
}
|
||||
}
|
||||
}
|
||||
}
|
||||
u2_weak // transfer
|
||||
j2_mc(Pt4, by, get)(u2_wire wir_r,
|
||||
j2_mc(Pt4, by, get)(
|
||||
u2_noun cor) // retain
|
||||
{
|
||||
u2_noun a, b;
|
||||
|
||||
if ( u2_no == u2_mean(cor, u2_cv_sam, &b, u2_cv_con_sam, &a, 0) ) {
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
if ( u2_no == u2_cr_mean(cor, u2_cv_sam, &b, u2_cv_con_sam, &a, 0) ) {
|
||||
return u2_cm_bail(c3__exit);
|
||||
} else {
|
||||
return j2_mcc(Pt4, by, get)(wir_r, a, b);
|
||||
return j2_mcc(Pt4, by, get)(a, b);
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
@ -8,7 +8,7 @@
|
||||
/* functions
|
||||
*/
|
||||
u2_bean
|
||||
j2_mcc(Pt4, by, has)(u2_wire wir_r,
|
||||
j2_mcc(Pt4, by, has)(
|
||||
u2_noun a, // retain
|
||||
u2_noun b) // retain
|
||||
{
|
||||
@ -19,34 +19,34 @@
|
||||
u2_noun l_a, n_a, r_a;
|
||||
u2_noun pn_a, qn_a;
|
||||
|
||||
if ( (u2_no == u2_as_trel(a, &n_a, &l_a, &r_a)) ||
|
||||
(u2_no == u2_as_cell(n_a, &pn_a, &qn_a)) )
|
||||
if ( (u2_no == u2_cr_trel(a, &n_a, &l_a, &r_a)) ||
|
||||
(u2_no == u2_cr_cell(n_a, &pn_a, &qn_a)) )
|
||||
{
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
return u2_cm_bail(c3__exit);
|
||||
}
|
||||
else {
|
||||
if ( (u2_yes == u2_sing(b, pn_a)) ) {
|
||||
if ( (u2_yes == u2_cr_sing(b, pn_a)) ) {
|
||||
return u2_yes;
|
||||
}
|
||||
else {
|
||||
if ( u2_yes == j2_mbc(Pt3, gor)(wir_r, b, pn_a) ) {
|
||||
return j2_mcc(Pt4, by, has)(wir_r, l_a, b);
|
||||
if ( u2_yes == j2_mbc(Pt3, gor)(b, pn_a) ) {
|
||||
return j2_mcc(Pt4, by, has)(l_a, b);
|
||||
}
|
||||
else return j2_mcc(Pt4, by, has)(wir_r, r_a, b);
|
||||
else return j2_mcc(Pt4, by, has)(r_a, b);
|
||||
}
|
||||
}
|
||||
}
|
||||
}
|
||||
u2_weak // transfer
|
||||
j2_mc(Pt4, by, has)(u2_wire wir_r,
|
||||
j2_mc(Pt4, by, has)(
|
||||
u2_noun cor) // retain
|
||||
{
|
||||
u2_noun a, b;
|
||||
|
||||
if ( u2_no == u2_mean(cor, u2_cv_sam, &b, u2_cv_con_sam, &a, 0) ) {
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
if ( u2_no == u2_cr_mean(cor, u2_cv_sam, &b, u2_cv_con_sam, &a, 0) ) {
|
||||
return u2_cm_bail(c3__exit);
|
||||
} else {
|
||||
return j2_mcc(Pt4, by, has)(wir_r, a, b);
|
||||
return j2_mcc(Pt4, by, has)(a, b);
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
@ -8,118 +8,118 @@
|
||||
/* functions
|
||||
*/
|
||||
u2_weak // transfer
|
||||
j2_mcc(Pt4, by, int)(u2_wire wir_r,
|
||||
j2_mcc(Pt4, by, int)(
|
||||
u2_noun a, // retain
|
||||
u2_noun b) // retain
|
||||
{
|
||||
if ( u2_nul == a ) {
|
||||
return u2_rx(wir_r, u2_nul);
|
||||
return u2k(u2_nul);
|
||||
}
|
||||
else if ( u2_nul == b ) {
|
||||
return u2_rx(wir_r, u2_nul);
|
||||
return u2k(u2_nul);
|
||||
}
|
||||
else {
|
||||
u2_noun l_a, n_a, r_a, lr_a, p_n_a, q_n_a;
|
||||
u2_noun l_b, n_b, r_b, lr_b, p_n_b, q_n_b;
|
||||
|
||||
if ( (u2_no == u2_as_cell(a, &n_a, &lr_a)) ) {
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
if ( (u2_no == u2_cr_cell(a, &n_a, &lr_a)) ) {
|
||||
return u2_cm_bail(c3__exit);
|
||||
}
|
||||
else if ( (u2_no == u2_as_cell(b, &n_b, &lr_b)) ) {
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
else if ( (u2_no == u2_cr_cell(b, &n_b, &lr_b)) ) {
|
||||
return u2_cm_bail(c3__exit);
|
||||
}
|
||||
else if ( u2_no == u2_as_cell(lr_a, &l_a, &r_a) ) {
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
else if ( u2_no == u2_cr_cell(lr_a, &l_a, &r_a) ) {
|
||||
return u2_cm_bail(c3__exit);
|
||||
}
|
||||
else if ( u2_no == u2_as_cell(lr_b, &l_b, &r_b) ) {
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
else if ( u2_no == u2_cr_cell(lr_b, &l_b, &r_b) ) {
|
||||
return u2_cm_bail(c3__exit);
|
||||
}
|
||||
else if ( u2_no == u2_as_cell(n_a, &p_n_a, &q_n_a) ) {
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
else if ( u2_no == u2_cr_cell(n_a, &p_n_a, &q_n_a) ) {
|
||||
return u2_cm_bail(c3__exit);
|
||||
}
|
||||
else if ( u2_no == u2_as_cell(n_b, &p_n_b, &q_n_b) ) {
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
else if ( u2_no == u2_cr_cell(n_b, &p_n_b, &q_n_b) ) {
|
||||
return u2_cm_bail(c3__exit);
|
||||
}
|
||||
else if ( u2_yes == j2_mbc(Pt3, vor)(wir_r, p_n_a, p_n_b) ) {
|
||||
if ( u2_yes == u2_sing(p_n_a, p_n_b) ) {
|
||||
return u2_rt(
|
||||
wir_r,
|
||||
u2_rx(wir_r, n_b),
|
||||
j2_mcc(Pt4, by, int)(wir_r, u2_rx(wir_r, l_a), u2_rx(wir_r, l_b)),
|
||||
j2_mcc(Pt4, by, int)(wir_r, u2_rx(wir_r, r_a), u2_rx(wir_r, r_b)));
|
||||
else if ( u2_yes == j2_mbc(Pt3, vor)(p_n_a, p_n_b) ) {
|
||||
if ( u2_yes == u2_cr_sing(p_n_a, p_n_b) ) {
|
||||
return u2nt(
|
||||
|
||||
u2k(n_b),
|
||||
j2_mcc(Pt4, by, int)(u2k(l_a), u2k(l_b)),
|
||||
j2_mcc(Pt4, by, int)(u2k(r_a), u2k(r_b)));
|
||||
}
|
||||
else if ( u2_yes == j2_mbc(Pt3, hor)(wir_r, p_n_b, p_n_a) ) {
|
||||
else if ( u2_yes == j2_mbc(Pt3, hor)(p_n_b, p_n_a) ) {
|
||||
return j2_mcc(Pt4, by, uni)(
|
||||
wir_r,
|
||||
j2_mcc(Pt4, by, int)(wir_r,
|
||||
u2_rx(wir_r, l_a),
|
||||
u2_rt(wir_r,
|
||||
u2_rx(wir_r, n_b),
|
||||
u2_rx(wir_r, l_b),
|
||||
u2_rx(wir_r, u2_nul))),
|
||||
j2_mcc(Pt4, by, int)(wir_r,
|
||||
u2_rx(wir_r, a),
|
||||
u2_rx(wir_r, r_b)));
|
||||
|
||||
j2_mcc(Pt4, by, int)(
|
||||
u2k(l_a),
|
||||
u2nt(
|
||||
u2k(n_b),
|
||||
u2k(l_b),
|
||||
u2k(u2_nul))),
|
||||
j2_mcc(Pt4, by, int)(
|
||||
u2k(a),
|
||||
u2k(r_b)));
|
||||
}
|
||||
else {
|
||||
return j2_mcc(Pt4, by, uni)(
|
||||
wir_r,
|
||||
j2_mcc(Pt4, by, int)(wir_r,
|
||||
u2_rx(wir_r, r_a),
|
||||
u2_rt(wir_r,
|
||||
u2_rx(wir_r, n_b),
|
||||
u2_rx(wir_r, u2_nul),
|
||||
u2_rx(wir_r, r_b))),
|
||||
j2_mcc(Pt4, by, int)(wir_r,
|
||||
u2_rx(wir_r, a),
|
||||
u2_rx(wir_r, l_b)));
|
||||
|
||||
j2_mcc(Pt4, by, int)(
|
||||
u2k(r_a),
|
||||
u2nt(
|
||||
u2k(n_b),
|
||||
u2k(u2_nul),
|
||||
u2k(r_b))),
|
||||
j2_mcc(Pt4, by, int)(
|
||||
u2k(a),
|
||||
u2k(l_b)));
|
||||
}
|
||||
}
|
||||
else if ( u2_yes == u2_sing(p_n_b, p_n_a) ) {
|
||||
return u2_rt(
|
||||
wir_r,
|
||||
u2_rx(wir_r, n_b),
|
||||
j2_mcc(Pt4, by, int)(wir_r, u2_rx(wir_r, l_b), u2_rx(wir_r, l_a)),
|
||||
j2_mcc(Pt4, by, int)(wir_r, u2_rx(wir_r, r_b), u2_rx(wir_r, r_a)));
|
||||
else if ( u2_yes == u2_cr_sing(p_n_b, p_n_a) ) {
|
||||
return u2nt(
|
||||
|
||||
u2k(n_b),
|
||||
j2_mcc(Pt4, by, int)(u2k(l_b), u2k(l_a)),
|
||||
j2_mcc(Pt4, by, int)(u2k(r_b), u2k(r_a)));
|
||||
}
|
||||
else if ( u2_yes == j2_mbc(Pt3, hor)(wir_r, p_n_a, p_n_b) ) {
|
||||
else if ( u2_yes == j2_mbc(Pt3, hor)(p_n_a, p_n_b) ) {
|
||||
return j2_mcc(Pt4, by, uni)(
|
||||
wir_r,
|
||||
j2_mcc(Pt4, by, int)(wir_r,
|
||||
u2_rx(wir_r, l_b),
|
||||
u2_rt(wir_r,
|
||||
u2_rx(wir_r, n_a),
|
||||
u2_rx(wir_r, l_a),
|
||||
u2_rx(wir_r, u2_nul))),
|
||||
j2_mcc(Pt4, by, int)(wir_r,
|
||||
u2_rx(wir_r, a),
|
||||
u2_rx(wir_r, r_a)));
|
||||
|
||||
j2_mcc(Pt4, by, int)(
|
||||
u2k(l_b),
|
||||
u2nt(
|
||||
u2k(n_a),
|
||||
u2k(l_a),
|
||||
u2k(u2_nul))),
|
||||
j2_mcc(Pt4, by, int)(
|
||||
u2k(a),
|
||||
u2k(r_a)));
|
||||
}
|
||||
else {
|
||||
return j2_mcc(Pt4, by, uni)(
|
||||
wir_r,
|
||||
j2_mcc(Pt4, by, int)(wir_r,
|
||||
u2_rx(wir_r, r_b),
|
||||
u2_rt(wir_r,
|
||||
u2_rx(wir_r, n_a),
|
||||
u2_rx(wir_r, u2_nul),
|
||||
u2_rx(wir_r, r_a))),
|
||||
j2_mcc(Pt4, by, int)(wir_r,
|
||||
u2_rx(wir_r, a),
|
||||
u2_rx(wir_r, l_a)));
|
||||
|
||||
j2_mcc(Pt4, by, int)(
|
||||
u2k(r_b),
|
||||
u2nt(
|
||||
u2k(n_a),
|
||||
u2k(u2_nul),
|
||||
u2k(r_a))),
|
||||
j2_mcc(Pt4, by, int)(
|
||||
u2k(a),
|
||||
u2k(l_a)));
|
||||
}
|
||||
}
|
||||
}
|
||||
u2_weak // transfer
|
||||
j2_mc(Pt4, by, int)(u2_wire wir_r,
|
||||
j2_mc(Pt4, by, int)(
|
||||
u2_noun cor) // retain
|
||||
{
|
||||
u2_noun a, b;
|
||||
|
||||
if ( u2_no == u2_mean(cor, u2_cv_sam, &b, u2_cv_con_sam, &a, 0) ) {
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
if ( u2_no == u2_cr_mean(cor, u2_cv_sam, &b, u2_cv_con_sam, &a, 0) ) {
|
||||
return u2_cm_bail(c3__exit);
|
||||
} else {
|
||||
return j2_mcc(Pt4, by, int)(wir_r, a, b);
|
||||
return j2_mcc(Pt4, by, int)(a, b);
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
@ -8,15 +8,15 @@
|
||||
/* functions
|
||||
*/
|
||||
u2_weak // transfer
|
||||
j2_mcc(Pt4, by, put)(u2_wire wir_r,
|
||||
j2_mcc(Pt4, by, put)(
|
||||
u2_noun a, // retain
|
||||
u2_noun b, // retain
|
||||
u2_noun c) // retain
|
||||
{
|
||||
if ( u2_nul == a ) {
|
||||
return u2_rt(wir_r,
|
||||
u2_rc(wir_r, u2_rx(wir_r, b),
|
||||
u2_rx(wir_r, c)),
|
||||
return u2nt(
|
||||
u2nc(u2k(b),
|
||||
u2k(c)),
|
||||
u2_nul,
|
||||
u2_nul);
|
||||
}
|
||||
@ -24,66 +24,66 @@
|
||||
u2_noun l_a, n_a, r_a, pn_a, qn_a;
|
||||
u2_noun d, l_d, n_d, r_d;
|
||||
|
||||
if ( (u2_no == u2_as_trel(a, &n_a, &l_a, &r_a)) ||
|
||||
(u2_no == u2_as_cell(n_a, &pn_a, &qn_a)) )
|
||||
if ( (u2_no == u2_cr_trel(a, &n_a, &l_a, &r_a)) ||
|
||||
(u2_no == u2_cr_cell(n_a, &pn_a, &qn_a)) )
|
||||
{
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
return u2_cm_bail(c3__exit);
|
||||
}
|
||||
else if ( u2_yes == u2_sing(pn_a, b) ) {
|
||||
if ( u2_yes == u2_sing(qn_a, c) ) {
|
||||
return u2_rx(wir_r, a);
|
||||
else if ( u2_yes == u2_cr_sing(pn_a, b) ) {
|
||||
if ( u2_yes == u2_cr_sing(qn_a, c) ) {
|
||||
return u2k(a);
|
||||
} else {
|
||||
return u2_rt
|
||||
(wir_r, u2_rc(wir_r, u2_rx(wir_r, b), u2_rx(wir_r, c)),
|
||||
u2_rx(wir_r, l_a),
|
||||
u2_rx(wir_r, r_a));
|
||||
return u2nt
|
||||
(u2nc(u2k(b), u2k(c)),
|
||||
u2k(l_a),
|
||||
u2k(r_a));
|
||||
}
|
||||
}
|
||||
else {
|
||||
if ( u2_yes == j2_mbc(Pt3, gor)(wir_r, b, pn_a) ) {
|
||||
d = j2_mcc(Pt4, by, put)(wir_r, l_a, b, c);
|
||||
if ( u2_yes == j2_mbc(Pt3, gor)(b, pn_a) ) {
|
||||
d = j2_mcc(Pt4, by, put)(l_a, b, c);
|
||||
|
||||
if ( u2_yes == j2_mbc(Pt3, vor)(wir_r, pn_a, u2_h(u2_h(d))) ) {
|
||||
return u2_rt(wir_r, u2_rx(wir_r, n_a),
|
||||
if ( u2_yes == j2_mbc(Pt3, vor)(pn_a, u2h(u2h(d))) ) {
|
||||
return u2nt(u2k(n_a),
|
||||
d,
|
||||
u2_rx(wir_r, r_a));
|
||||
u2k(r_a));
|
||||
}
|
||||
else {
|
||||
u2_as_trel(d, &n_d, &l_d, &r_d);
|
||||
u2_cr_trel(d, &n_d, &l_d, &r_d);
|
||||
{
|
||||
u2_noun e = u2_rt
|
||||
(wir_r, u2_rx(wir_r, n_d),
|
||||
u2_rx(wir_r, l_d),
|
||||
u2_rt(wir_r,
|
||||
u2_rx(wir_r, n_a),
|
||||
u2_rx(wir_r, r_d),
|
||||
u2_rx(wir_r, r_a)));
|
||||
u2_noun e = u2nt
|
||||
(u2k(n_d),
|
||||
u2k(l_d),
|
||||
u2nt(
|
||||
u2k(n_a),
|
||||
u2k(r_d),
|
||||
u2k(r_a)));
|
||||
|
||||
u2_rl_lose(wir_r, d);
|
||||
u2z(d);
|
||||
return e;
|
||||
}
|
||||
}
|
||||
}
|
||||
else {
|
||||
d = j2_mcc(Pt4, by, put)(wir_r, r_a, b, c);
|
||||
d = j2_mcc(Pt4, by, put)(r_a, b, c);
|
||||
|
||||
if ( u2_yes == j2_mbc(Pt3, vor)(wir_r, pn_a, u2_h(u2_h(d))) ) {
|
||||
return u2_rt(wir_r, u2_rx(wir_r, n_a),
|
||||
u2_rx(wir_r, l_a),
|
||||
if ( u2_yes == j2_mbc(Pt3, vor)(pn_a, u2h(u2h(d))) ) {
|
||||
return u2nt(u2k(n_a),
|
||||
u2k(l_a),
|
||||
d);
|
||||
}
|
||||
else {
|
||||
u2_as_trel(d, &n_d, &l_d, &r_d);
|
||||
u2_cr_trel(d, &n_d, &l_d, &r_d);
|
||||
{
|
||||
u2_noun e = u2_rt
|
||||
(wir_r, u2_rx(wir_r, n_d),
|
||||
u2_rt(wir_r,
|
||||
u2_rx(wir_r, n_a),
|
||||
u2_rx(wir_r, l_a),
|
||||
u2_rx(wir_r, l_d)),
|
||||
u2_rx(wir_r, r_d));
|
||||
u2_noun e = u2nt
|
||||
(u2k(n_d),
|
||||
u2nt(
|
||||
u2k(n_a),
|
||||
u2k(l_a),
|
||||
u2k(l_d)),
|
||||
u2k(r_d));
|
||||
|
||||
u2_rl_lose(wir_r, d);
|
||||
u2z(d);
|
||||
return e;
|
||||
}
|
||||
}
|
||||
@ -92,17 +92,17 @@
|
||||
}
|
||||
}
|
||||
u2_weak // transfer
|
||||
j2_mc(Pt4, by, put)(u2_wire wir_r,
|
||||
j2_mc(Pt4, by, put)(
|
||||
u2_noun cor) // retain
|
||||
{
|
||||
u2_noun a, b, c;
|
||||
|
||||
if ( u2_no == u2_mean(cor, u2_cv_sam_2, &b,
|
||||
if ( u2_no == u2_cr_mean(cor, u2_cv_sam_2, &b,
|
||||
u2_cv_sam_3, &c,
|
||||
u2_cv_con_sam, &a, 0) ) {
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
return u2_cm_bail(c3__exit);
|
||||
} else {
|
||||
return j2_mcc(Pt4, by, put)(wir_r, a, b, c);
|
||||
return j2_mcc(Pt4, by, put)(a, b, c);
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
@ -8,122 +8,122 @@
|
||||
/* functions
|
||||
*/
|
||||
u2_weak // transfer
|
||||
j2_mcc(Pt4, by, uni)(u2_wire wir_r,
|
||||
j2_mcc(Pt4, by, uni)(
|
||||
u2_noun a, // retain
|
||||
u2_noun b) // retain
|
||||
{
|
||||
if ( u2_nul == a ) {
|
||||
return u2_rx(wir_r, b);
|
||||
return u2k(b);
|
||||
}
|
||||
else if ( u2_nul == b ) {
|
||||
return u2_rx(wir_r, a);
|
||||
return u2k(a);
|
||||
}
|
||||
else {
|
||||
u2_noun l_a, n_a, r_a, lr_a, p_n_a, q_n_a;
|
||||
u2_noun l_b, n_b, r_b, lr_b, p_n_b, q_n_b;
|
||||
|
||||
if ( (u2_no == u2_as_cell(a, &n_a, &lr_a)) ) {
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
if ( (u2_no == u2_cr_cell(a, &n_a, &lr_a)) ) {
|
||||
return u2_cm_bail(c3__exit);
|
||||
}
|
||||
else if ( (u2_no == u2_as_cell(b, &n_b, &lr_b)) ) {
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
else if ( (u2_no == u2_cr_cell(b, &n_b, &lr_b)) ) {
|
||||
return u2_cm_bail(c3__exit);
|
||||
}
|
||||
else if ( (u2_no == u2_as_cell(n_a, &p_n_a, &q_n_a)) ) {
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
else if ( (u2_no == u2_cr_cell(n_a, &p_n_a, &q_n_a)) ) {
|
||||
return u2_cm_bail(c3__exit);
|
||||
}
|
||||
else if ( (u2_no == u2_as_cell(n_b, &p_n_b, &q_n_b)) ) {
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
else if ( (u2_no == u2_cr_cell(n_b, &p_n_b, &q_n_b)) ) {
|
||||
return u2_cm_bail(c3__exit);
|
||||
}
|
||||
else if ( u2_no == u2_as_cell(lr_a, &l_a, &r_a) ) {
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
else if ( u2_no == u2_cr_cell(lr_a, &l_a, &r_a) ) {
|
||||
return u2_cm_bail(c3__exit);
|
||||
}
|
||||
else if ( u2_no == u2_as_cell(lr_b, &l_b, &r_b) ) {
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
else if ( u2_no == u2_cr_cell(lr_b, &l_b, &r_b) ) {
|
||||
return u2_cm_bail(c3__exit);
|
||||
}
|
||||
else if ( u2_yes == j2_mbc(Pt3, vor)(wir_r, p_n_a, p_n_b) ) {
|
||||
if ( u2_yes == u2_sing(p_n_a, p_n_b) ) {
|
||||
return u2_rt(wir_r, u2_rx(wir_r, n_b),
|
||||
else if ( u2_yes == j2_mbc(Pt3, vor)(p_n_a, p_n_b) ) {
|
||||
if ( u2_yes == u2_cr_sing(p_n_a, p_n_b) ) {
|
||||
return u2nt(u2k(n_b),
|
||||
j2_mcc(Pt4, by, uni)(
|
||||
wir_r, u2_rx(wir_r, l_a), u2_rx(wir_r, l_b)),
|
||||
u2k(l_a), u2k(l_b)),
|
||||
j2_mcc(Pt4, by, uni)(
|
||||
wir_r, u2_rx(wir_r, r_a), u2_rx(wir_r, r_b)));
|
||||
u2k(r_a), u2k(r_b)));
|
||||
}
|
||||
else if ( u2_yes == j2_mbc(Pt3, hor)(wir_r, p_n_b, p_n_a) ) {
|
||||
else if ( u2_yes == j2_mbc(Pt3, hor)(p_n_b, p_n_a) ) {
|
||||
return j2_mcc(Pt4, by, uni)(
|
||||
wir_r,
|
||||
u2_rt(wir_r,
|
||||
u2_rx(wir_r, n_a),
|
||||
j2_mcc(Pt4, by, uni)(wir_r,
|
||||
u2_rx(wir_r, l_a),
|
||||
u2_rt(wir_r,
|
||||
u2_rx(wir_r, n_b),
|
||||
u2_rx(wir_r, l_b),
|
||||
u2_rx(wir_r, u2_nul))),
|
||||
u2_rx(wir_r, r_a)),
|
||||
u2_rx(wir_r, r_b));
|
||||
|
||||
u2nt(
|
||||
u2k(n_a),
|
||||
j2_mcc(Pt4, by, uni)(
|
||||
u2k(l_a),
|
||||
u2nt(
|
||||
u2k(n_b),
|
||||
u2k(l_b),
|
||||
u2k(u2_nul))),
|
||||
u2k(r_a)),
|
||||
u2k(r_b));
|
||||
}
|
||||
else {
|
||||
return j2_mcc(Pt4, by, uni)(
|
||||
wir_r,
|
||||
u2_rt(wir_r,
|
||||
u2_rx(wir_r, n_a),
|
||||
u2_rx(wir_r, l_a),
|
||||
j2_mcc(Pt4, by, uni)(wir_r,
|
||||
u2_rx(wir_r, r_a),
|
||||
u2_rt(wir_r,
|
||||
u2_rx(wir_r, n_b),
|
||||
u2_rx(wir_r, u2_nul),
|
||||
u2_rx(wir_r, r_b)))),
|
||||
u2_rx(wir_r, l_b));
|
||||
|
||||
u2nt(
|
||||
u2k(n_a),
|
||||
u2k(l_a),
|
||||
j2_mcc(Pt4, by, uni)(
|
||||
u2k(r_a),
|
||||
u2nt(
|
||||
u2k(n_b),
|
||||
u2k(u2_nul),
|
||||
u2k(r_b)))),
|
||||
u2k(l_b));
|
||||
}
|
||||
}
|
||||
else if ( u2_yes == u2_sing(p_n_b, p_n_a) ) {
|
||||
return u2_rt(
|
||||
wir_r,
|
||||
u2_rx(wir_r, n_b),
|
||||
j2_mcc(Pt4, by, uni)(wir_r, u2_rx(wir_r, r_b), u2_rx(wir_r, r_a)),
|
||||
j2_mcc(Pt4, by, uni)(wir_r, u2_rx(wir_r, l_b), u2_rx(wir_r, l_a)));
|
||||
else if ( u2_yes == u2_cr_sing(p_n_b, p_n_a) ) {
|
||||
return u2nt(
|
||||
|
||||
u2k(n_b),
|
||||
j2_mcc(Pt4, by, uni)(u2k(r_b), u2k(r_a)),
|
||||
j2_mcc(Pt4, by, uni)(u2k(l_b), u2k(l_a)));
|
||||
}
|
||||
else if ( u2_yes == j2_mbc(Pt3, hor)(wir_r, p_n_a, p_n_b) ) {
|
||||
else if ( u2_yes == j2_mbc(Pt3, hor)(p_n_a, p_n_b) ) {
|
||||
return j2_mcc(Pt4, by, uni)(
|
||||
wir_r,
|
||||
u2_rx(wir_r, r_a),
|
||||
u2_rt(wir_r,
|
||||
u2_rx(wir_r, n_b),
|
||||
j2_mcc(Pt4, by, uni)(wir_r,
|
||||
u2_rt(wir_r,
|
||||
u2_rx(wir_r, n_a),
|
||||
u2_rx(wir_r, l_a),
|
||||
u2_rx(wir_r, u2_nul)),
|
||||
u2_rx(wir_r, l_b)),
|
||||
u2_rx(wir_r, r_b)));
|
||||
|
||||
u2k(r_a),
|
||||
u2nt(
|
||||
u2k(n_b),
|
||||
j2_mcc(Pt4, by, uni)(
|
||||
u2nt(
|
||||
u2k(n_a),
|
||||
u2k(l_a),
|
||||
u2k(u2_nul)),
|
||||
u2k(l_b)),
|
||||
u2k(r_b)));
|
||||
}
|
||||
else {
|
||||
return j2_mcc(Pt4, by, uni)(
|
||||
wir_r,
|
||||
u2_rx(wir_r, l_a),
|
||||
u2_rt(wir_r,
|
||||
u2_rx(wir_r, n_b),
|
||||
u2_rx(wir_r, l_b),
|
||||
j2_mcc(Pt4, by, uni)(wir_r,
|
||||
u2_rx(wir_r, r_b),
|
||||
u2_rt(wir_r,
|
||||
u2_rx(wir_r, n_a),
|
||||
u2_rx(wir_r, u2_nul),
|
||||
u2_rx(wir_r, r_a)))));
|
||||
|
||||
u2k(l_a),
|
||||
u2nt(
|
||||
u2k(n_b),
|
||||
u2k(l_b),
|
||||
j2_mcc(Pt4, by, uni)(
|
||||
u2k(r_b),
|
||||
u2nt(
|
||||
u2k(n_a),
|
||||
u2k(u2_nul),
|
||||
u2k(r_a)))));
|
||||
}
|
||||
}
|
||||
}
|
||||
u2_weak // transfer
|
||||
j2_mc(Pt4, by, uni)(u2_wire wir_r,
|
||||
j2_mc(Pt4, by, uni)(
|
||||
u2_noun cor) // retain
|
||||
{
|
||||
u2_noun a, b;
|
||||
|
||||
if ( u2_no == u2_mean(cor, u2_cv_sam, &b, u2_cv_con_sam, &a, 0) ) {
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
if ( u2_no == u2_cr_mean(cor, u2_cv_sam, &b, u2_cv_con_sam, &a, 0) ) {
|
||||
return u2_cm_bail(c3__exit);
|
||||
} else {
|
||||
return j2_mcc(Pt4, by, uni)(wir_r, a, b);
|
||||
return j2_mcc(Pt4, by, uni)(a, b);
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
@ -8,42 +8,42 @@
|
||||
/* functions
|
||||
*/
|
||||
u2_weak // transfer
|
||||
j2_mcc(Pt4, in, gas)(u2_wire wir_r,
|
||||
j2_mcc(Pt4, in, gas)(
|
||||
u2_noun a, // retain
|
||||
u2_noun b) // retain
|
||||
{
|
||||
if ( u2_nul == b ) {
|
||||
return u2_rx(wir_r, a);
|
||||
return u2k(a);
|
||||
}
|
||||
else {
|
||||
if ( u2_no == u2_dust(b) ) {
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
if ( u2_no == u2du(b) ) {
|
||||
return u2_cm_bail(c3__exit);
|
||||
} else {
|
||||
u2_noun i_b = u2_h(b);
|
||||
u2_noun t_b = u2_t(b);
|
||||
u2_noun i_b = u2h(b);
|
||||
u2_noun t_b = u2t(b);
|
||||
u2_noun c;
|
||||
|
||||
if ( u2_none == (c = j2_mcc(Pt4, in, put)(wir_r, a, i_b)) ) {
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
if ( u2_none == (c = j2_mcc(Pt4, in, put)(a, i_b)) ) {
|
||||
return u2_cm_bail(c3__exit);
|
||||
} else {
|
||||
u2_noun d = j2_mcc(Pt4, in, gas)(wir_r, c, t_b);
|
||||
u2_noun d = j2_mcc(Pt4, in, gas)(c, t_b);
|
||||
|
||||
u2_rl_lose(wir_r, c);
|
||||
u2z(c);
|
||||
return d;
|
||||
}
|
||||
}
|
||||
}
|
||||
}
|
||||
u2_weak // transfer
|
||||
j2_mc(Pt4, in, gas)(u2_wire wir_r,
|
||||
j2_mc(Pt4, in, gas)(
|
||||
u2_noun cor) // retain
|
||||
{
|
||||
u2_noun a, b;
|
||||
|
||||
if ( u2_no == u2_mean(cor, u2_cv_sam, &b, u2_cv_con_sam, &a, 0) ) {
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
if ( u2_no == u2_cr_mean(cor, u2_cv_sam, &b, u2_cv_con_sam, &a, 0) ) {
|
||||
return u2_cm_bail(c3__exit);
|
||||
} else {
|
||||
return j2_mcc(Pt4, in, gas)(wir_r, a, b);
|
||||
return j2_mcc(Pt4, in, gas)(a, b);
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
@ -8,7 +8,7 @@
|
||||
/* functions
|
||||
*/
|
||||
u2_bean
|
||||
j2_mcc(Pt4, in, has)(u2_wire wir_r,
|
||||
j2_mcc(Pt4, in, has)(
|
||||
u2_noun a, // retain
|
||||
u2_noun b) // retain
|
||||
{
|
||||
@ -18,32 +18,32 @@
|
||||
else {
|
||||
u2_noun l_a, n_a, r_a;
|
||||
|
||||
if ( (u2_no == u2_mean(a, 2, &n_a, 6, &l_a, 7, &r_a, 0)) ) {
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
if ( (u2_no == u2_cr_mean(a, 2, &n_a, 6, &l_a, 7, &r_a, 0)) ) {
|
||||
return u2_cm_bail(c3__exit);
|
||||
}
|
||||
else {
|
||||
if ( (u2_yes == u2_sing(b, n_a)) ) {
|
||||
if ( (u2_yes == u2_cr_sing(b, n_a)) ) {
|
||||
return u2_yes;
|
||||
}
|
||||
else {
|
||||
if ( u2_yes == j2_mbc(Pt3, hor)(wir_r, b, n_a) ) {
|
||||
return j2_mcc(Pt4, in, has)(wir_r, l_a, b);
|
||||
if ( u2_yes == j2_mbc(Pt3, hor)(b, n_a) ) {
|
||||
return j2_mcc(Pt4, in, has)(l_a, b);
|
||||
}
|
||||
else return j2_mcc(Pt4, in, has)(wir_r, r_a, b);
|
||||
else return j2_mcc(Pt4, in, has)(r_a, b);
|
||||
}
|
||||
}
|
||||
}
|
||||
}
|
||||
u2_weak // transfer
|
||||
j2_mc(Pt4, in, has)(u2_wire wir_r,
|
||||
j2_mc(Pt4, in, has)(
|
||||
u2_noun cor) // retain
|
||||
{
|
||||
u2_noun a, b;
|
||||
|
||||
if ( u2_no == u2_mean(cor, u2_cv_sam, &b, u2_cv_con_sam, &a, 0) ) {
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
if ( u2_no == u2_cr_mean(cor, u2_cv_sam, &b, u2_cv_con_sam, &a, 0) ) {
|
||||
return u2_cm_bail(c3__exit);
|
||||
} else {
|
||||
return j2_mcc(Pt4, in, has)(wir_r, a, b);
|
||||
return j2_mcc(Pt4, in, has)(a, b);
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
@ -8,65 +8,65 @@
|
||||
/* functions
|
||||
*/
|
||||
u2_weak // transfer
|
||||
j2_mcc(Pt4, in, int)(u2_wire wir_r,
|
||||
j2_mcc(Pt4, in, int)(
|
||||
u2_noun a, // retain
|
||||
u2_noun b) // retain
|
||||
{
|
||||
if ( u2_nul == a ) {
|
||||
return u2_rx(wir_r, u2_nul);
|
||||
return u2k(u2_nul);
|
||||
}
|
||||
else if ( u2_nul == b ) {
|
||||
return u2_rx(wir_r, u2_nul);
|
||||
return u2k(u2_nul);
|
||||
}
|
||||
else {
|
||||
u2_noun l_a, n_a, r_a, lr_a;
|
||||
u2_noun l_b, n_b, r_b, lr_b;
|
||||
u2_noun c;
|
||||
|
||||
if ( (u2_no == u2_as_cell(a, &n_a, &lr_a)) ) {
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
if ( (u2_no == u2_cr_cell(a, &n_a, &lr_a)) ) {
|
||||
return u2_cm_bail(c3__exit);
|
||||
}
|
||||
else if ( (u2_no == u2_as_cell(b, &n_b, &lr_b)) ) {
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
else if ( (u2_no == u2_cr_cell(b, &n_b, &lr_b)) ) {
|
||||
return u2_cm_bail(c3__exit);
|
||||
}
|
||||
else {
|
||||
if ( u2_yes == j2_mbc(Pt3, vor)(wir_r, n_b, n_a) ) {
|
||||
if ( u2_yes == j2_mbc(Pt3, vor)(n_b, n_a) ) {
|
||||
c = a; a = b; b = c;
|
||||
c = n_a; n_a = n_b; n_b = c;
|
||||
c = lr_a; lr_a = lr_b; lr_b = c;
|
||||
}
|
||||
if ( u2_no == u2_as_cell(lr_a, &l_a, &r_a) ) {
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
if ( u2_no == u2_cr_cell(lr_a, &l_a, &r_a) ) {
|
||||
return u2_cm_bail(c3__exit);
|
||||
}
|
||||
else if ( u2_no == u2_as_cell(lr_b, &l_b, &r_b) ) {
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
else if ( u2_no == u2_cr_cell(lr_b, &l_b, &r_b) ) {
|
||||
return u2_cm_bail(c3__exit);
|
||||
}
|
||||
else if ( u2_yes == u2_sing(n_a, n_b) ) {
|
||||
return u2_rt(wir_r, u2_rx(wir_r, n_a),
|
||||
j2_mcc(Pt4, in, int)(wir_r, l_a, l_b),
|
||||
j2_mcc(Pt4, in, int)(wir_r, r_a, r_b));
|
||||
else if ( u2_yes == u2_cr_sing(n_a, n_b) ) {
|
||||
return u2nt(u2k(n_a),
|
||||
j2_mcc(Pt4, in, int)(l_a, l_b),
|
||||
j2_mcc(Pt4, in, int)(r_a, r_b));
|
||||
}
|
||||
else if ( u2_yes == j2_mbc(Pt3, hor)(wir_r, n_b, n_a) ) {
|
||||
return j2_mcc(Pt4, in, uni)(wir_r,
|
||||
j2_mcc(Pt4, in, int)(wir_r,
|
||||
else if ( u2_yes == j2_mbc(Pt3, hor)(n_b, n_a) ) {
|
||||
return j2_mcc(Pt4, in, uni)(
|
||||
j2_mcc(Pt4, in, int)(
|
||||
l_a,
|
||||
u2_rt(wir_r,
|
||||
u2nt(
|
||||
n_b,
|
||||
l_b,
|
||||
u2_nul)),
|
||||
j2_mcc(Pt4, in, int)(wir_r,
|
||||
j2_mcc(Pt4, in, int)(
|
||||
a,
|
||||
r_b));
|
||||
}
|
||||
else {
|
||||
return j2_mcc(Pt4, in, uni)(wir_r,
|
||||
j2_mcc(Pt4, in, int)(wir_r,
|
||||
return j2_mcc(Pt4, in, uni)(
|
||||
j2_mcc(Pt4, in, int)(
|
||||
r_a,
|
||||
u2_rt(wir_r,
|
||||
u2nt(
|
||||
n_b,
|
||||
u2_nul,
|
||||
r_b)),
|
||||
j2_mcc(Pt4, in, int)(wir_r,
|
||||
j2_mcc(Pt4, in, int)(
|
||||
a,
|
||||
l_b));
|
||||
}
|
||||
@ -74,15 +74,15 @@
|
||||
}
|
||||
}
|
||||
u2_weak // transfer
|
||||
j2_mc(Pt4, in, int)(u2_wire wir_r,
|
||||
j2_mc(Pt4, in, int)(
|
||||
u2_noun cor) // retain
|
||||
{
|
||||
u2_noun a, b;
|
||||
|
||||
if ( u2_no == u2_mean(cor, u2_cv_sam, &b, u2_cv_con_sam, &a, 0) ) {
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
if ( u2_no == u2_cr_mean(cor, u2_cv_sam, &b, u2_cv_con_sam, &a, 0) ) {
|
||||
return u2_cm_bail(c3__exit);
|
||||
} else {
|
||||
return j2_mcc(Pt4, in, int)(wir_r, a, b);
|
||||
return j2_mcc(Pt4, in, int)(a, b);
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
@ -8,51 +8,51 @@
|
||||
/* functions
|
||||
*/
|
||||
u2_weak // transfer
|
||||
j2_mcc(Pt4, in, mer)(u2_wire wir_r,
|
||||
j2_mcc(Pt4, in, mer)(
|
||||
u2_noun a, // retain
|
||||
u2_noun b) // retain
|
||||
{
|
||||
if ( u2_nul == a ) {
|
||||
return u2_rx(wir_r, b);
|
||||
return u2k(b);
|
||||
}
|
||||
else if ( u2_nul == b ) {
|
||||
return u2_rx(wir_r, a);
|
||||
return u2k(a);
|
||||
}
|
||||
else {
|
||||
u2_noun l_a, n_a, r_a, lr_a; // XX copy tree boilerplate to other pt4
|
||||
u2_noun l_b, n_b, r_b, lr_b;
|
||||
u2_noun c;
|
||||
|
||||
if ( (u2_no == u2_as_cell(a, &n_a, &lr_a)) ) {
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
if ( (u2_no == u2_cr_cell(a, &n_a, &lr_a)) ) {
|
||||
return u2_cm_bail(c3__exit);
|
||||
}
|
||||
else if ( (u2_no == u2_as_cell(b, &n_b, &lr_b)) ) {
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
else if ( (u2_no == u2_cr_cell(b, &n_b, &lr_b)) ) {
|
||||
return u2_cm_bail(c3__exit);
|
||||
}
|
||||
else {
|
||||
if ( u2_yes == j2_mbc(Pt3, vor)(wir_r, n_b, n_a) ) {
|
||||
if ( u2_yes == j2_mbc(Pt3, vor)(n_b, n_a) ) {
|
||||
c = a; a = b; b = c;
|
||||
c = n_a; n_a = n_b; n_b = c;
|
||||
c = lr_a; lr_a = lr_b; lr_b = c;
|
||||
}
|
||||
if ( u2_no == u2_as_cell(lr_a, &l_a, &r_a) ) {
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
if ( u2_no == u2_cr_cell(lr_a, &l_a, &r_a) ) {
|
||||
return u2_cm_bail(c3__exit);
|
||||
}
|
||||
else if ( u2_no == u2_as_cell(lr_b, &l_b, &r_b) ) {
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
else if ( u2_no == u2_cr_cell(lr_b, &l_b, &r_b) ) {
|
||||
return u2_cm_bail(c3__exit);
|
||||
}
|
||||
else if ( u2_yes == u2_sing(n_a, n_b) ) {
|
||||
return u2_rt(wir_r, u2_rx(wir_r, n_a),
|
||||
j2_mcc(Pt4, in, mer)(wir_r, l_a, l_b),
|
||||
j2_mcc(Pt4, in, mer)(wir_r, r_a, r_b));
|
||||
else if ( u2_yes == u2_cr_sing(n_a, n_b) ) {
|
||||
return u2nt(u2k(n_a),
|
||||
j2_mcc(Pt4, in, mer)(l_a, l_b),
|
||||
j2_mcc(Pt4, in, mer)(r_a, r_b));
|
||||
}
|
||||
else if ( u2_yes == j2_mbc(Pt3, hor)(wir_r, n_b, n_a) ) {
|
||||
return j2_mcc(Pt4, in, mer)(wir_r,
|
||||
u2_rt(wir_r,
|
||||
else if ( u2_yes == j2_mbc(Pt3, hor)(n_b, n_a) ) {
|
||||
return j2_mcc(Pt4, in, mer)(
|
||||
u2nt(
|
||||
n_a,
|
||||
j2_mcc(Pt4, in, mer)(wir_r,
|
||||
j2_mcc(Pt4, in, mer)(
|
||||
l_a,
|
||||
u2_rt(wir_r,
|
||||
u2nt(
|
||||
n_b,
|
||||
l_b,
|
||||
u2_nul)),
|
||||
@ -60,13 +60,13 @@
|
||||
r_b);
|
||||
}
|
||||
else {
|
||||
return j2_mcc(Pt4, in, mer)(wir_r,
|
||||
u2_rt(wir_r,
|
||||
return j2_mcc(Pt4, in, mer)(
|
||||
u2nt(
|
||||
n_a,
|
||||
l_a,
|
||||
j2_mcc(Pt4, in, mer)(wir_r,
|
||||
j2_mcc(Pt4, in, mer)(
|
||||
r_a,
|
||||
u2_rt(wir_r,
|
||||
u2nt(
|
||||
n_b,
|
||||
u2_nul,
|
||||
r_b))),
|
||||
@ -76,15 +76,15 @@
|
||||
}
|
||||
}
|
||||
u2_weak // transfer
|
||||
j2_mc(Pt4, in, mer)(u2_wire wir_r,
|
||||
j2_mc(Pt4, in, mer)(
|
||||
u2_noun cor) // retain
|
||||
{
|
||||
u2_noun a, b;
|
||||
|
||||
if ( u2_no == u2_mean(cor, u2_cv_sam, &b, u2_cv_con_sam, &a, 0) ) {
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
if ( u2_no == u2_cr_mean(cor, u2_cv_sam, &b, u2_cv_con_sam, &a, 0) ) {
|
||||
return u2_cm_bail(c3__exit);
|
||||
} else {
|
||||
return j2_mcc(Pt4, in, mer)(wir_r, a, b);
|
||||
return j2_mcc(Pt4, in, mer)(a, b);
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
@ -8,71 +8,71 @@
|
||||
/* functions
|
||||
*/
|
||||
u2_weak // transfer
|
||||
j2_mcc(Pt4, in, put)(u2_wire wir_r,
|
||||
j2_mcc(Pt4, in, put)(
|
||||
u2_noun a, // retain
|
||||
u2_noun b) // retain
|
||||
{
|
||||
if ( u2_nul == a ) {
|
||||
return u2_rt(wir_r, u2_rx(wir_r, b), u2_nul, u2_nul);
|
||||
return u2nt(u2k(b), u2_nul, u2_nul);
|
||||
}
|
||||
else {
|
||||
u2_noun l_a, n_a, r_a, lr_a; // XX copy tree boilerplate to other pt4
|
||||
u2_noun c, l_c, n_c, r_c;
|
||||
|
||||
if ( (u2_no == u2_as_cell(a, &n_a, &lr_a)) ) {
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
if ( (u2_no == u2_cr_cell(a, &n_a, &lr_a)) ) {
|
||||
return u2_cm_bail(c3__exit);
|
||||
}
|
||||
else if ( u2_yes == u2_sing(n_a, b) ) {
|
||||
return u2_rx(wir_r, a);
|
||||
else if ( u2_yes == u2_cr_sing(n_a, b) ) {
|
||||
return u2k(a);
|
||||
}
|
||||
else if ( u2_no == u2_as_cell(lr_a, &l_a, &r_a) ) {
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
else if ( u2_no == u2_cr_cell(lr_a, &l_a, &r_a) ) {
|
||||
return u2_cm_bail(c3__exit);
|
||||
}
|
||||
else {
|
||||
if ( u2_yes == j2_mbc(Pt3, hor)(wir_r, b, n_a) ) {
|
||||
c = j2_mcc(Pt4, in, put)(wir_r, l_a, b);
|
||||
if ( u2_yes == j2_mbc(Pt3, hor)(b, n_a) ) {
|
||||
c = j2_mcc(Pt4, in, put)(l_a, b);
|
||||
|
||||
if ( u2_yes == j2_mbc(Pt3, vor)(wir_r, n_a, u2_h(c)) ) {
|
||||
return u2_rt(wir_r, u2_rx(wir_r, n_a),
|
||||
if ( u2_yes == j2_mbc(Pt3, vor)(n_a, u2h(c)) ) {
|
||||
return u2nt(u2k(n_a),
|
||||
c,
|
||||
u2_rx(wir_r, r_a));
|
||||
u2k(r_a));
|
||||
}
|
||||
else {
|
||||
u2_as_trel(c, &n_c, &l_c, &r_c);
|
||||
u2_cr_trel(c, &n_c, &l_c, &r_c);
|
||||
{
|
||||
u2_noun d = u2_rt
|
||||
(wir_r, u2_rx(wir_r, n_c),
|
||||
u2_rx(wir_r, l_c),
|
||||
u2_rt(wir_r,
|
||||
u2_rx(wir_r, n_a),
|
||||
u2_rx(wir_r, r_c),
|
||||
u2_rx(wir_r, r_a)));
|
||||
u2_noun d = u2nt
|
||||
(u2k(n_c),
|
||||
u2k(l_c),
|
||||
u2nt(
|
||||
u2k(n_a),
|
||||
u2k(r_c),
|
||||
u2k(r_a)));
|
||||
|
||||
u2_rl_lose(wir_r, c);
|
||||
u2z(c);
|
||||
return d;
|
||||
}
|
||||
}
|
||||
}
|
||||
else {
|
||||
c = j2_mcc(Pt4, in, put)(wir_r, r_a, b);
|
||||
c = j2_mcc(Pt4, in, put)(r_a, b);
|
||||
|
||||
if ( u2_yes == j2_mbc(Pt3, vor)(wir_r, n_a, u2_h(c)) ) {
|
||||
return u2_rt(wir_r, u2_rx(wir_r, n_a),
|
||||
u2_rx(wir_r, l_a),
|
||||
if ( u2_yes == j2_mbc(Pt3, vor)(n_a, u2h(c)) ) {
|
||||
return u2nt(u2k(n_a),
|
||||
u2k(l_a),
|
||||
c);
|
||||
}
|
||||
else {
|
||||
u2_as_trel(c, &n_c, &l_c, &r_c);
|
||||
u2_cr_trel(c, &n_c, &l_c, &r_c);
|
||||
{
|
||||
u2_noun d = u2_rt
|
||||
(wir_r, u2_rx(wir_r, n_c),
|
||||
u2_rt(wir_r,
|
||||
u2_rx(wir_r, n_a),
|
||||
u2_rx(wir_r, l_a),
|
||||
u2_rx(wir_r, l_c)),
|
||||
u2_rx(wir_r, r_c));
|
||||
u2_noun d = u2nt
|
||||
(u2k(n_c),
|
||||
u2nt(
|
||||
u2k(n_a),
|
||||
u2k(l_a),
|
||||
u2k(l_c)),
|
||||
u2k(r_c));
|
||||
|
||||
u2_rl_lose(wir_r, c);
|
||||
u2z(c);
|
||||
return d;
|
||||
}
|
||||
}
|
||||
@ -81,15 +81,15 @@
|
||||
}
|
||||
}
|
||||
u2_weak // transfer
|
||||
j2_mc(Pt4, in, put)(u2_wire wir_r,
|
||||
j2_mc(Pt4, in, put)(
|
||||
u2_noun cor) // retain
|
||||
{
|
||||
u2_noun a, b;
|
||||
|
||||
if ( u2_no == u2_mean(cor, u2_cv_sam, &b, u2_cv_con_sam, &a, 0) ) {
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
if ( u2_no == u2_cr_mean(cor, u2_cv_sam, &b, u2_cv_con_sam, &a, 0) ) {
|
||||
return u2_cm_bail(c3__exit);
|
||||
} else {
|
||||
return j2_mcc(Pt4, in, put)(wir_r, a, b);
|
||||
return j2_mcc(Pt4, in, put)(a, b);
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
@ -8,7 +8,7 @@
|
||||
/* functions
|
||||
*/
|
||||
static u2_weak // produce
|
||||
_tap_in(u2_wire wir_r,
|
||||
_tap_in(
|
||||
u2_noun a, // retain
|
||||
u2_noun b) // submit
|
||||
{
|
||||
@ -17,35 +17,35 @@
|
||||
} else {
|
||||
u2_noun l_a, n_a, r_a;
|
||||
|
||||
if ( (u2_no == u2_as_trel(a, &n_a, &l_a, &r_a)) ) {
|
||||
u2_rz(wir_r, b);
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
if ( (u2_no == u2_cr_trel(a, &n_a, &l_a, &r_a)) ) {
|
||||
u2z(b);
|
||||
return u2_cm_bail(c3__exit);
|
||||
} else {
|
||||
return _tap_in
|
||||
(wir_r, r_a,
|
||||
u2_rc(wir_r, u2_rx(wir_r, n_a),
|
||||
_tap_in(wir_r, l_a, b)));
|
||||
(r_a,
|
||||
u2nc(u2k(n_a),
|
||||
_tap_in(l_a, b)));
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
u2_weak // produce
|
||||
j2_mcc(Pt4, in, tap)(u2_wire wir_r,
|
||||
j2_mcc(Pt4, in, tap)(
|
||||
u2_noun a, // retain
|
||||
u2_noun b) // retain
|
||||
{
|
||||
return _tap_in(wir_r, a, u2_rx(wir_r, b));
|
||||
return _tap_in(a, u2k(b));
|
||||
}
|
||||
u2_weak // produce
|
||||
j2_mc(Pt4, in, tap)(u2_wire wir_r,
|
||||
j2_mc(Pt4, in, tap)(
|
||||
u2_noun cor) // retain
|
||||
{
|
||||
u2_noun a, b;
|
||||
|
||||
if ( u2_no == u2_mean(cor, u2_cv_sam, &b, u2_cv_con_sam, &a, 0) ) {
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
if ( u2_no == u2_cr_mean(cor, u2_cv_sam, &b, u2_cv_con_sam, &a, 0) ) {
|
||||
return u2_cm_bail(c3__exit);
|
||||
} else {
|
||||
return j2_mcc(Pt4, in, tap)(wir_r, a, b);
|
||||
return j2_mcc(Pt4, in, tap)(a, b);
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
@ -8,124 +8,124 @@
|
||||
/* functions
|
||||
*/
|
||||
u2_weak // transfer
|
||||
j2_mcc(Pt4, in, uni)(u2_wire wir_r,
|
||||
j2_mcc(Pt4, in, uni)(
|
||||
u2_noun a, // retain
|
||||
u2_noun b) // retain
|
||||
{
|
||||
if ( u2_nul == a ) {
|
||||
return u2_rx(wir_r, b);
|
||||
return u2k(b);
|
||||
}
|
||||
else if ( u2_nul == b ) {
|
||||
return u2_rx(wir_r, a);
|
||||
return u2k(a);
|
||||
}
|
||||
else {
|
||||
u2_noun l_a, n_a, r_a, lr_a;
|
||||
u2_noun l_b, n_b, r_b, lr_b;
|
||||
|
||||
if ( (u2_no == u2_as_cell(a, &n_a, &lr_a)) ) {
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
if ( (u2_no == u2_cr_cell(a, &n_a, &lr_a)) ) {
|
||||
return u2_cm_bail(c3__exit);
|
||||
}
|
||||
else if ( (u2_no == u2_as_cell(b, &n_b, &lr_b)) ) {
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
else if ( (u2_no == u2_cr_cell(b, &n_b, &lr_b)) ) {
|
||||
return u2_cm_bail(c3__exit);
|
||||
}
|
||||
else {
|
||||
if ( u2_yes == j2_mbc(Pt3, vor)(wir_r, n_a, n_b) ) {
|
||||
if ( u2_no == u2_as_cell(lr_a, &l_a, &r_a) ) {
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
if ( u2_yes == j2_mbc(Pt3, vor)(n_a, n_b) ) {
|
||||
if ( u2_no == u2_cr_cell(lr_a, &l_a, &r_a) ) {
|
||||
return u2_cm_bail(c3__exit);
|
||||
}
|
||||
else if ( u2_no == u2_as_cell(lr_b, &l_b, &r_b) ) {
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
else if ( u2_no == u2_cr_cell(lr_b, &l_b, &r_b) ) {
|
||||
return u2_cm_bail(c3__exit);
|
||||
}
|
||||
else if ( u2_yes == u2_sing(n_a, n_b) ) {
|
||||
return u2_rt(
|
||||
wir_r,
|
||||
u2_rx(wir_r, n_b),
|
||||
j2_mcc(Pt4, in, uni)(wir_r, u2_rx(wir_r, l_a), u2_rx(wir_r, l_b)),
|
||||
j2_mcc(Pt4, in, uni)(wir_r, u2_rx(wir_r, r_a), u2_rx(wir_r, r_b)));
|
||||
else if ( u2_yes == u2_cr_sing(n_a, n_b) ) {
|
||||
return u2nt(
|
||||
|
||||
u2k(n_b),
|
||||
j2_mcc(Pt4, in, uni)(u2k(l_a), u2k(l_b)),
|
||||
j2_mcc(Pt4, in, uni)(u2k(r_a), u2k(r_b)));
|
||||
}
|
||||
else if ( u2_yes == j2_mbc(Pt3, hor)(wir_r, n_b, n_a) ) {
|
||||
else if ( u2_yes == j2_mbc(Pt3, hor)(n_b, n_a) ) {
|
||||
return j2_mcc(Pt4, in, uni)(
|
||||
wir_r,
|
||||
u2_rt(wir_r,
|
||||
u2_rx(wir_r, n_a),
|
||||
j2_mcc(Pt4, in, uni)(wir_r,
|
||||
u2_rx(wir_r, l_a),
|
||||
u2_rt(wir_r,
|
||||
u2_rx(wir_r, n_b),
|
||||
u2_rx(wir_r, l_b),
|
||||
u2_rx(wir_r, u2_nul))),
|
||||
u2_rx(wir_r, r_a)),
|
||||
u2_rx(wir_r, r_b));
|
||||
|
||||
u2nt(
|
||||
u2k(n_a),
|
||||
j2_mcc(Pt4, in, uni)(
|
||||
u2k(l_a),
|
||||
u2nt(
|
||||
u2k(n_b),
|
||||
u2k(l_b),
|
||||
u2k(u2_nul))),
|
||||
u2k(r_a)),
|
||||
u2k(r_b));
|
||||
}
|
||||
else {
|
||||
return j2_mcc(Pt4, in, uni)(
|
||||
wir_r,
|
||||
u2_rt(wir_r,
|
||||
u2_rx(wir_r, n_a),
|
||||
u2_rx(wir_r, l_a),
|
||||
j2_mcc(Pt4, in, uni)(wir_r,
|
||||
u2_rx(wir_r, r_a),
|
||||
u2_rt(wir_r,
|
||||
u2_rx(wir_r, n_b),
|
||||
u2_rx(wir_r, u2_nul),
|
||||
u2_rx(wir_r, r_b)))),
|
||||
u2_rx(wir_r, l_b));
|
||||
|
||||
u2nt(
|
||||
u2k(n_a),
|
||||
u2k(l_a),
|
||||
j2_mcc(Pt4, in, uni)(
|
||||
u2k(r_a),
|
||||
u2nt(
|
||||
u2k(n_b),
|
||||
u2k(u2_nul),
|
||||
u2k(r_b)))),
|
||||
u2k(l_b));
|
||||
}
|
||||
}
|
||||
else if ( u2_no == u2_as_cell(lr_b, &l_b, &r_b) ) {
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
else if ( u2_no == u2_cr_cell(lr_b, &l_b, &r_b) ) {
|
||||
return u2_cm_bail(c3__exit);
|
||||
}
|
||||
else if ( u2_no == u2_as_cell(lr_a, &l_a, &r_a) ) {
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
else if ( u2_no == u2_cr_cell(lr_a, &l_a, &r_a) ) {
|
||||
return u2_cm_bail(c3__exit);
|
||||
}
|
||||
else if ( u2_yes == u2_sing(n_b, n_a) ) {
|
||||
return u2_rt(
|
||||
wir_r,
|
||||
u2_rx(wir_r, n_b),
|
||||
j2_mcc(Pt4, in, uni)(wir_r, u2_rx(wir_r, r_b), u2_rx(wir_r, r_a)),
|
||||
j2_mcc(Pt4, in, uni)(wir_r, u2_rx(wir_r, l_b), u2_rx(wir_r, l_a)));
|
||||
else if ( u2_yes == u2_cr_sing(n_b, n_a) ) {
|
||||
return u2nt(
|
||||
|
||||
u2k(n_b),
|
||||
j2_mcc(Pt4, in, uni)(u2k(r_b), u2k(r_a)),
|
||||
j2_mcc(Pt4, in, uni)(u2k(l_b), u2k(l_a)));
|
||||
}
|
||||
else if ( u2_yes == j2_mbc(Pt3, hor)(wir_r, n_a, n_b) ) {
|
||||
else if ( u2_yes == j2_mbc(Pt3, hor)(n_a, n_b) ) {
|
||||
return j2_mcc(Pt4, in, uni)(
|
||||
wir_r,
|
||||
u2_rx(wir_r, r_a),
|
||||
u2_rt(wir_r,
|
||||
u2_rx(wir_r, n_b),
|
||||
j2_mcc(Pt4, in, uni)(wir_r,
|
||||
u2_rt(wir_r,
|
||||
u2_rx(wir_r, n_a),
|
||||
u2_rx(wir_r, l_a),
|
||||
|
||||
u2k(r_a),
|
||||
u2nt(
|
||||
u2k(n_b),
|
||||
j2_mcc(Pt4, in, uni)(
|
||||
u2nt(
|
||||
u2k(n_a),
|
||||
u2k(l_a),
|
||||
u2_nul),
|
||||
u2_rx(wir_r, l_b)),
|
||||
u2_rx(wir_r, r_b)));
|
||||
u2k(l_b)),
|
||||
u2k(r_b)));
|
||||
}
|
||||
else {
|
||||
return j2_mcc(Pt4, in, uni)(
|
||||
wir_r,
|
||||
u2_rx(wir_r, l_a),
|
||||
u2_rt(wir_r,
|
||||
u2_rx(wir_r, n_b),
|
||||
u2_rx(wir_r, l_b),
|
||||
j2_mcc(Pt4, in, uni)(wir_r,
|
||||
u2_rt(wir_r,
|
||||
u2_rx(wir_r, n_a),
|
||||
u2_rx(wir_r, u2_nul),
|
||||
u2_rx(wir_r, r_a)),
|
||||
u2_rx(wir_r, r_b))));
|
||||
|
||||
u2k(l_a),
|
||||
u2nt(
|
||||
u2k(n_b),
|
||||
u2k(l_b),
|
||||
j2_mcc(Pt4, in, uni)(
|
||||
u2nt(
|
||||
u2k(n_a),
|
||||
u2k(u2_nul),
|
||||
u2k(r_a)),
|
||||
u2k(r_b))));
|
||||
}
|
||||
}
|
||||
}
|
||||
}
|
||||
u2_weak // transfer
|
||||
j2_mc(Pt4, in, uni)(u2_wire wir_r,
|
||||
j2_mc(Pt4, in, uni)(
|
||||
u2_noun cor) // retain
|
||||
{
|
||||
u2_noun a, b;
|
||||
|
||||
if ( u2_no == u2_mean(cor, u2_cv_sam, &b, u2_cv_con_sam, &a, 0) ) {
|
||||
return u2_bl_bail(wir_r, c3__exit);
|
||||
if ( u2_no == u2_cr_mean(cor, u2_cv_sam, &b, u2_cv_con_sam, &a, 0) ) {
|
||||
return u2_cm_bail(c3__exit);
|
||||
} else {
|
||||
return j2_mcc(Pt4, in, uni)(wir_r, a, b);
|
||||
return j2_mcc(Pt4, in, uni)(a, b);
|
||||
}
|
||||
}
|
||||
|
||||
|
||||
@ -1014,6 +1014,20 @@
|
||||
u2_noun
|
||||
u2_ci_cell(u2_noun a, u2_noun b);
|
||||
|
||||
/* u2_ci_trel():
|
||||
**
|
||||
** Produce the triple `[a b c]`.
|
||||
*/
|
||||
u2_noun
|
||||
u2_ci_trel(u2_noun a, u2_noun b, u2_noun c);
|
||||
|
||||
/* u2_ci_qual():
|
||||
**
|
||||
** Produce the cell `[a b c d]`.
|
||||
*/
|
||||
u2_noun
|
||||
u2_ci_qual(u2_noun a, u2_noun b, u2_noun c, u2_noun d);
|
||||
|
||||
/* u2_ci_string():
|
||||
**
|
||||
** Produce an LSB-first atom from the C string `a`.
|
||||
|
||||
Loading…
Reference in New Issue
Block a user