Commit d896d091 authored by Gijs van Cuyck's avatar Gijs van Cuyck

added input and output directory to project repository

parent c5c260dc
......@@ -42,8 +42,3 @@ com_crashlytics_export_strings.xml
crashlytics.properties
crashlytics-build.properties
fabric.properties
#project specific
outputs/
examples/
todos en vragen.txt
\ No newline at end of file
*
!.gitignore
!coffe_machine.dot
!lee_yannakakis_difficult.dot
!lee_yannakakis_distinguishable.dot
\ No newline at end of file
digraph g {
__start0 [label="" shape="none"];
__start0 -> s0;
s0 [shape="circle" label="s0"];
s1 [shape="circle" label="s1"];
s2 [shape="circle" label="s2"];
s3 [shape="circle" label="s3"];
s4 [shape="circle" label="s4"];
s5 [shape="circle" label="s5"];
s0 -> s4 [label="WATER / ok"];
s0 -> s2 [label="POD / ok"];
s0 -> s1 [label="BUTTON / error"];
s0 -> s0 [label="CLEAN / ok"];
s1 -> s1 [label="WATER / error"];
s1 -> s1 [label="POD / error"];
s1 -> s1 [label="BUTTON / error"];
s1 -> s1 [label="CLEAN / error"];
s2 -> s3 [label="WATER / ok"];
s2 -> s2 [label="POD / ok"];
s2 -> s1 [label="BUTTON / error"];
s2 -> s0 [label="CLEAN / ok"];
s3 -> s3 [label="WATER / ok"];
s3 -> s3 [label="POD / ok"];
s3 -> s5 [label="BUTTON / coffee!"];
s3 -> s0 [label="CLEAN / ok"];
s4 -> s4 [label="WATER / ok"];
s4 -> s3 [label="POD / ok"];
s4 -> s1 [label="BUTTON / error"];
s4 -> s0 [label="CLEAN / ok"];
s5 -> s1 [label="WATER / error"];
s5 -> s1 [label="POD / error"];
s5 -> s1 [label="BUTTON / error"];
s5 -> s0 [label="CLEAN / ok"];
}
\ No newline at end of file
digraph distinguishable {
s1 -> s1 [label="a / 0"];
s1 -> s3 [label="b / 0"];
s2 -> s2 [label="b / 1"];
s2 -> s1 [label="a / 0"];
s3 -> s3 [label="a / 1"];
s3 -> s2 [label="b / 1"];
}
\ No newline at end of file
digraph distinguishable {
s1 -> s2 [label="a / 0"];
s2 -> s3 [label="a / 1"];
s3 -> s4 [label="a / 0"];
s4 -> s5 [label="a / 1"];
s5 -> s6 [label="a / 0"];
s6 -> s1 [label="a / 1"];
s1 -> s1 [label="b / 0"];
s2 -> s3 [label="b / 0"];
s3 -> s4 [label="b / 0"];
s4 -> s5 [label="b / 0"];
s5 -> s6 [label="b / 0"];
s6 -> s1 [label="b / 0"];
}
*
!.gitignore
\ No newline at end of file
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment