diff --git a/Assignment-2/__pycache__/DCR_graph.cpython-310.pyc b/Assignment-2/__pycache__/DCR_graph.cpython-310.pyc index 35dbe5b..5ef1bd8 100644 Binary files a/Assignment-2/__pycache__/DCR_graph.cpython-310.pyc and b/Assignment-2/__pycache__/DCR_graph.cpython-310.pyc differ diff --git a/Assignment-2/__pycache__/conformance_testing.cpython-310.pyc b/Assignment-2/__pycache__/conformance_testing.cpython-310.pyc index 00dd4c2..fd004a2 100644 Binary files a/Assignment-2/__pycache__/conformance_testing.cpython-310.pyc and b/Assignment-2/__pycache__/conformance_testing.cpython-310.pyc differ diff --git a/Assignment-2/__pycache__/log.cpython-310.pyc b/Assignment-2/__pycache__/log.cpython-310.pyc index da85df8..b645fb0 100644 Binary files a/Assignment-2/__pycache__/log.cpython-310.pyc and b/Assignment-2/__pycache__/log.cpython-310.pyc differ diff --git a/Assignment-2/data/rule1.xml b/Assignment-2/data/rule1.xml new file mode 100644 index 0000000..7db80b4 --- /dev/null +++ b/Assignment-2/data/rule1.xml @@ -0,0 +1,145 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + private + + + + + + 1 + 1 + 0 + + + + + + + + + + + + + + + + + + + + + + + + + private + + + + + + 1 + 2 + 0 + + + + + + + + + + + + + + + + + + + + + + + + + + DCR Process + + en-US + process + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + \ No newline at end of file diff --git a/Assignment-2/data/rule2.xml b/Assignment-2/data/rule2.xml new file mode 100644 index 0000000..04bd35a --- /dev/null +++ b/Assignment-2/data/rule2.xml @@ -0,0 +1,182 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + private + + + + + + 1 + 1 + 0 + + + + + + + + + + + + + + + + + + + + + + + + + private + + + + + + 1 + 2 + 0 + + + + + + + + + + + + + + + + + + + + + + + + + private + + + + + + 1 + 3 + 0 + + + + + + + + + + + + + + + + + + + + + + + + + + + DCR Process + + en-US + process + + + + + + + + + DCR Process + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + \ No newline at end of file diff --git a/Assignment-2/data/rule3.xml b/Assignment-2/data/rule3.xml new file mode 100644 index 0000000..99d32e9 --- /dev/null +++ b/Assignment-2/data/rule3.xml @@ -0,0 +1,216 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + private + + + + + + 1 + 1 + 0 + + + + + + + + + + + + + + + + + + + + + + + + + private + + + + + + 1 + 2 + 0 + + + + + + + + + + + + + + + + + + + + + + + + + private + + + + + + 1 + 3 + 0 + + + + + + + + + + + + + + + + + + + + + + + + + private + + + + + + 1 + 4 + 0 + + + + + + + + + + + + + + + + + + + + + + + + + + + + DCR Process + + en-US + process + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + \ No newline at end of file diff --git a/Assignment-2/data/rule4.xml b/Assignment-2/data/rule4.xml new file mode 100644 index 0000000..f2817b0 --- /dev/null +++ b/Assignment-2/data/rule4.xml @@ -0,0 +1,184 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + private + + + + + + 1 + 1 + 0 + + + + + + + + + + + + + + + + + + + + + + + + + private + + + + + + 1 + 2 + 0 + + + + + + + + + + + + + + + + + + + + + + + + + private + + + + + + 1 + 3 + 0 + + + + + + + + + + + + + + + + + + + + + + + + + + + + + DCR Process + + en-US + process + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + \ No newline at end of file diff --git a/Assignment-2/data/rule5.xml b/Assignment-2/data/rule5.xml new file mode 100644 index 0000000..6e23c05 --- /dev/null +++ b/Assignment-2/data/rule5.xml @@ -0,0 +1,217 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + private + + + + + + 1 + 1 + 0 + + + + + + + + + + + + + + + + + + + + + + + + + private + + + + + + 1 + 2 + 0 + + + + + + + + + + + + + + + + + + + + + + + + + private + + + + + + 1 + 3 + 0 + + + + + + + + + + + + + + + + + + + + + + + + + private + + + + + + 1 + 4 + 0 + + + + + + + + + + + + + + + + + + + + + + + + + + + + DCR Process + + en-US + process + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + \ No newline at end of file diff --git a/Assignment-2/data/rule6.xml b/Assignment-2/data/rule6.xml new file mode 100644 index 0000000..e49810c --- /dev/null +++ b/Assignment-2/data/rule6.xml @@ -0,0 +1,179 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + private + + + + + + 1 + 1 + 0 + + + + + + + + + + + + + + + + + + + + + + + + + private + + + + + + 1 + 2 + 0 + + + + + + + + + + + + + + + + + + + + + + + + + private + + + + + + 1 + 3 + 0 + + + + + + + + + + + + + + + + + + + + + + + + + + + DCR Process + + en-US + process + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + \ No newline at end of file diff --git a/Assignment-2/data/rule7.xml b/Assignment-2/data/rule7.xml new file mode 100644 index 0000000..45b891e --- /dev/null +++ b/Assignment-2/data/rule7.xml @@ -0,0 +1,220 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + private + + + + + + 1 + 1 + 0 + + + + + + + + + + + + + + + + + + + + + + + + + private + + + + + + 1 + 2 + 0 + + + + + + + + + + + + + + + + + + + + + + + + + private + + + + + + 1 + 3 + 0 + + + + + + + + + + + + + + + + + + + + + + + + + private + + + + + + 1 + 4 + 0 + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + DCR Process + + en-US + process + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + \ No newline at end of file diff --git a/Assignment-2/data/rule8.xml b/Assignment-2/data/rule8.xml new file mode 100644 index 0000000..e27174c --- /dev/null +++ b/Assignment-2/data/rule8.xml @@ -0,0 +1,181 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + private + + + + + + 1 + 2 + 0 + + + + + + + + + + + + + + + + + + + + + + + + + private + + + + + + 1 + 3 + 0 + + + + + + + + + + + + + + + + + + + + + + + + private + + + + + + 1 + 1 + 0 + + + + + + + + + + + + + + + + + + + + + + + + + + + + DCR Process + + en-US + process + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + \ No newline at end of file