From 49960d8950d001a372a0abde670a66ee60026957 Mon Sep 17 00:00:00 2001 From: Shinya Sato Date: Tue, 5 Mar 2024 18:19:27 +0900 Subject: v0.12.0 --- sample/processnet_fib.in | 30 ------------------------------ 1 file changed, 30 deletions(-) delete mode 100644 sample/processnet_fib.in (limited to 'sample/processnet_fib.in') diff --git a/sample/processnet_fib.in b/sample/processnet_fib.in deleted file mode 100644 index ab19eec..0000000 --- a/sample/processnet_fib.in +++ /dev/null @@ -1,30 +0,0 @@ -// Rules -dup(a1,a2) >< (int i):xs => a1~(i:xs1), a2~(i:xs2), dup(xs1,xs2)~xs; -dup(a1,a2) >< [] => a1~[], a2~[]; - -add(r, ys) >< (int i):xs => addn(r, xs, i)~ys; -addn(r, xs, int i) >< (int j):ys => r~(i+j):w, add(w,ys)~xs; - - -// Nets -dup(r, r1)~(1:xs), r1~add(sum, w), dup(xs, w)~(1:sum); - -// r,r1 << dup(1:xs), -// xs,w << dup(1:sum), -// sum << add(r1,w); - -// +-----+ +---+ -// r ----| | | | xs +-----+ +---+ -// | dup |---><---| 1 |-----| | | | -// +---| | | | | dup |---><---| 1 |----+ -// | +-----+ +---+ +--| | | | | -// | | +-----+ +---+ | sum -// | | | -// | | +-----+ -// | | | add | -// | | +-----+ -// | | w | | -// | +------------------------+ v -// | r1 | -// +------------------------------------------------------+ -// -- cgit v1.2.3