src/Grasp/Examples/push.grasp


1
2
3
4
5
6
7
8
9
10

digraph {
	1 [label="push"]
	2 [label="grasp:main"]
	3 [label="empty"]
	4 [label="abc"]

    1 -> 2 [label="name"]
    1 -> 3 [label="stack"]
    1 -> 4 [label="in"]
}