diff options
| author | Shinya Sato <shinnya.sato@gmail.com> | 2024-03-05 18:19:27 +0900 |
|---|---|---|
| committer | Shinya Sato <shinnya.sato@gmail.com> | 2024-03-05 18:19:27 +0900 |
| commit | 49960d8950d001a372a0abde670a66ee60026957 (patch) | |
| tree | adad1d5fe428bf0bea151f71ed114223fc246bca /sample/processnet1.in | |
| parent | 0cf73da9ad035089c66d21021a656e4606796c47 (diff) | |
| download | inpla-49960d8950d001a372a0abde670a66ee60026957.tar.gz inpla-49960d8950d001a372a0abde670a66ee60026957.zip | |
v0.12.0
Diffstat (limited to 'sample/processnet1.in')
| -rw-r--r-- | sample/processnet1.in | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/sample/processnet1.in b/sample/processnet1.in deleted file mode 100644 index c648650..0000000 --- a/sample/processnet1.in +++ /dev/null @@ -1,22 +0,0 @@ -// 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 |