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/process_networks/processnet1.in | 22 ++++++++++++++++++++++ 1 file changed, 22 insertions(+) create mode 100644 sample/process_networks/processnet1.in (limited to 'sample/process_networks/processnet1.in') diff --git a/sample/process_networks/processnet1.in b/sample/process_networks/processnet1.in new file mode 100644 index 0000000..c648650 --- /dev/null +++ b/sample/process_networks/processnet1.in @@ -0,0 +1,22 @@ +// Rules +dup(a1,a2) >< (int i):xs => a1~(i:xs1), a2~(i:xs2), dup(xs1,xs2)~xs; +dup(a1,a2) >< [] => a1~[], a2~[]; + +inc(r) >< (int i):xs => r~(i+1):w, inc(w)~xs; +inc(r) >< [] => r~[]; + + +// Nets +dup(r,w)~r1, inc(r1) ~ (0:w); + +// r,w << dup(r1), r1 << inc(0:w) + +// +-----+ +-----+ +---+ +// r ----| | r1 | | | | +// | dup |--->---| inc |---><---| 0 |----+ +// +---| | | | | | | +// | +-----+ +-----+ +---+ | +// | | +// +-----------------------------------------+ +// w + \ No newline at end of file -- cgit v1.2.3