diff options
Diffstat (limited to '')
| -rw-r--r-- | sample/processnet1.in | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/sample/processnet1.in b/sample/processnet1.in index d02404e..c648650 100644 --- a/sample/processnet1.in +++ b/sample/processnet1.in @@ -9,6 +9,8 @@ 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 |----+ |