From 38e7ab0ea87fc671bb30b64340af3a37a9aca3d5 Mon Sep 17 00:00:00 2001 From: Paul Driver Date: Mon, 4 Jun 2018 12:21:13 -0700 Subject: [PATCH] kill mux and shux jets, whose services are no longer required --- jets/c/mux.c | 85 --------------------------------------------------- jets/e/shux.c | 41 ------------------------- 2 files changed, 126 deletions(-) delete mode 100644 jets/c/mux.c delete mode 100644 jets/e/shux.c diff --git a/jets/c/mux.c b/jets/c/mux.c deleted file mode 100644 index 54f4b570f..000000000 --- a/jets/c/mux.c +++ /dev/null @@ -1,85 +0,0 @@ -/* j/3/mux.c -** -*/ -#include "all.h" - -static u3_atom -_ham(void* has_u, u3_atom a) -{ - u3j_site *sit_u = has_u; - return u3j_gate_slam(sit_u, a); -} - -static u3_atom -_mam(void* mis_u, u3_atom a, u3_atom b) -{ - u3j_site *sit_u = mis_u; - u3_noun sam = u3nc(a, b); - return u3j_gate_slam(sit_u, sam); -} - -static u3_noun -_mux_in(u3p(u3h_root) cax_p, u3_noun a, - u3_atom (*hat)(void*, u3_atom), void* has_u, - u3_atom (*mix)(void*, u3_atom, u3_atom), void* mis_u) -{ - u3_weak got = u3h_get(cax_p, a); - u3_atom pro; - - if ( u3_none != got ) { - pro = got; - } - else { - if ( c3y == u3ud(a) ) { - pro = hat(has_u, u3k(a)); - } - else { - u3_atom lef = _mux_in(cax_p, u3k(u3h(a)), hat, has_u, mix, mis_u), - rit = _mux_in(cax_p, u3k(u3t(a)), hat, has_u, mix, mis_u); - pro = mix(mis_u, lef, rit); - } - u3h_put(cax_p, a, u3k(pro)); - } - - u3z(a); - return pro; -} - -/* functions -*/ - u3_noun - u3kc_mux_f(u3_noun a, - u3_atom (*hat)(void*, u3_atom), void* has_u, - u3_atom (*mix)(void*, u3_atom, u3_atom), void* mis_u) - { - u3p(u3h_root) cax_p = u3h_new(); - u3_noun pro = _mux_in(cax_p, a, hat, has_u, mix, mis_u); - u3h_free(cax_p); - return pro; - } - u3_noun - u3qc_mux(u3_noun a, u3_noun hat, u3_noun mix) - { - u3_noun pro; - u3j_site hat_u, mix_u; - u3j_gate_prep(&hat_u, u3k(hat)); - u3j_gate_prep(&mix_u, u3k(mix)); - pro = u3kc_mux_f(u3k(a), _ham, &hat_u, _mam, &mix_u); - u3j_gate_lose(&mix_u); - u3j_gate_lose(&hat_u); - return pro; - } - u3_noun - u3wc_mux(u3_noun cor) - { - u3_noun sam; - - if ( u3_none == (sam = u3r_at(u3x_sam, cor)) ) { - return u3m_bail(c3__exit); - } - else { - u3_noun a, hat, mix; - u3x_trel(sam, &a, &hat, &mix); - return u3qc_mux(a, hat, mix); - } - } diff --git a/jets/e/shux.c b/jets/e/shux.c deleted file mode 100644 index 4f1af9917..000000000 --- a/jets/e/shux.c +++ /dev/null @@ -1,41 +0,0 @@ -/* j/5/shux.c -** -*/ -#include "all.h" - -static u3_atom -_shux_shax(void* dat_u, u3_atom a) -{ - u3_atom pro = u3qe_shax(a); - u3z(a); - return pro; -} - -static u3_atom -_shux_mix(void* dat_u, u3_atom a, u3_atom b) -{ - u3_atom tac = u3qc_cat(8, a, b), - pro = u3qe_shay(32, tac); - u3z(a); u3z(b); u3z(tac); - return pro; -} - -/* functions -*/ - u3_noun - u3qe_shux(u3_atom a) - { - return u3kc_mux_f(u3k(a), _shux_shax, NULL, _shux_mix, NULL); - } - u3_noun - u3we_shux(u3_noun cor) - { - u3_noun sam; - - if ( u3_none == (sam = u3r_at(u3x_sam, cor)) ) { - return u3m_bail(c3__exit); - } - else { - return u3qe_shux(sam); - } - }