repositories
/
mc1516the.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
Merge branch 'master' of gitlab.science.ru.nl:mlubbers/mc1516the
[mc1516the.git]
/
img
/
1c.dot
1
digraph {
2
rankdir=LR;
3
s0a [label="s0a: {x=0,y=0}"]
4
s1a [label="s1a: {x=0,y=0}"]
5
s2 [label="s2: {0<=x=1,y=0}"]
6
s3 [label="s3: {0<=x=0,y=0}"]
7
8
s0b [label="s0b: {0<=x<1,0<=y<2}"]
9
s1b [label="s1b: {x=0,0<=y<2}"]
10
11
s0a -> s1a
12
s1a -> s2
13
s2 -> s3
14
15
s3 -> s0b
16
s0b -> s1b
17
s1b -> s3
18
}