-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathgraph.drawio
31 lines (31 loc) · 2.14 KB
/
graph.drawio
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
<mxfile>
<diagram id="jz0_U5Z7Crxs52SEYNgJ" name="Page-1">
<mxGraphModel dx="678" dy="637" grid="1" gridSize="10" guides="1" tooltips="1" connect="1" arrows="1" fold="1" page="1" pageScale="1" pageWidth="850" pageHeight="1100" math="0" shadow="0">
<root>
<mxCell id="0"/>
<mxCell id="1" parent="0"/>
<mxCell id="2" value="<h1>Automata Graph</h1><p>GUI: Streamlit</p><p><br></p>" style="text;html=1;strokeColor=none;fillColor=none;spacing=5;spacingTop=-20;whiteSpace=wrap;overflow=hidden;rounded=0;" parent="1" vertex="1">
<mxGeometry x="10" y="10" width="230" height="120" as="geometry"/>
</mxCell>
<mxCell id="3" value="streamlit" style="rounded=0;whiteSpace=wrap;html=1;" vertex="1" parent="1">
<mxGeometry x="310" y="110" width="120" height="60" as="geometry"/>
</mxCell>
<mxCell id="4" value="st.sidebar.selectbox" style="rounded=0;whiteSpace=wrap;html=1;" vertex="1" parent="1">
<mxGeometry x="310" y="210" width="120" height="60" as="geometry"/>
</mxCell>
<mxCell id="5" value="if q1" style="rounded=0;whiteSpace=wrap;html=1;" vertex="1" parent="1">
<mxGeometry x="160" y="320" width="120" height="60" as="geometry"/>
</mxCell>
<mxCell id="6" value="if q2" style="rounded=0;whiteSpace=wrap;html=1;" vertex="1" parent="1">
<mxGeometry x="450" y="320" width="120" height="60" as="geometry"/>
</mxCell>
<mxCell id="7" value="create q1 DFA" style="rounded=0;whiteSpace=wrap;html=1;" vertex="1" parent="1">
<mxGeometry x="160" y="420" width="120" height="60" as="geometry"/>
</mxCell>
<mxCell id="8" value="create q2 DFA" style="rounded=0;whiteSpace=wrap;html=1;" vertex="1" parent="1">
<mxGeometry x="450" y="420" width="120" height="60" as="geometry"/>
</mxCell>
</root>
</mxGraphModel>
</diagram>
</mxfile>