diff options
Diffstat (limited to 'src/Grasp/Examples/pick.grasp')
-rw-r--r-- | src/Grasp/Examples/pick.grasp | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/src/Grasp/Examples/pick.grasp b/src/Grasp/Examples/pick.grasp new file mode 100644 index 0000000..8fa78d8 --- /dev/null +++ b/src/Grasp/Examples/pick.grasp @@ -0,0 +1,18 @@ +digraph { + 1 [label="pick"] + 2 [label="grasp:main"] + 3 [label="first"] + 4 [label="second"] + 5 [label="third"] + 6 [label="empty"] + 7 [label="out"] + 8 [label="1"] + + 1 -> 2 [label="name"] + 1 -> 3 [label="stack"] + 1 -> 8 [label="depth"] + 3 -> 4 [label="next"] + 4 -> 5 [label="next"] + 5 -> 6 [label="next"] + 1 -> 7 [label="out"] +}
\ No newline at end of file |