From 49548203b5d170347b6a234cbddf2a58a0e70fee Mon Sep 17 00:00:00 2001 From: Therese Lyngby Date: Fri, 6 Jan 2023 11:41:58 +0100 Subject: [PATCH] More DCL graphs! --- .../__pycache__/DCR_graph.cpython-310.pyc | Bin 7637 -> 7641 bytes .../conformance_testing.cpython-310.pyc | Bin 852 -> 858 bytes Assignment-2/__pycache__/log.cpython-310.pyc | Bin 380 -> 386 bytes Assignment-2/data/rule1.xml | 145 ++++++++++++ Assignment-2/data/rule2.xml | 182 +++++++++++++++ Assignment-2/data/rule3.xml | 216 +++++++++++++++++ Assignment-2/data/rule4.xml | 184 +++++++++++++++ Assignment-2/data/rule5.xml | 217 +++++++++++++++++ Assignment-2/data/rule6.xml | 179 ++++++++++++++ Assignment-2/data/rule7.xml | 220 ++++++++++++++++++ Assignment-2/data/rule8.xml | 181 ++++++++++++++ 11 files changed, 1524 insertions(+) create mode 100644 Assignment-2/data/rule1.xml create mode 100644 Assignment-2/data/rule2.xml create mode 100644 Assignment-2/data/rule3.xml create mode 100644 Assignment-2/data/rule4.xml create mode 100644 Assignment-2/data/rule5.xml create mode 100644 Assignment-2/data/rule6.xml create mode 100644 Assignment-2/data/rule7.xml create mode 100644 Assignment-2/data/rule8.xml diff --git a/Assignment-2/__pycache__/DCR_graph.cpython-310.pyc b/Assignment-2/__pycache__/DCR_graph.cpython-310.pyc index 35dbe5b2aa85fd3c4c20e5951399098fa34efb22..5ef1bd84c264e8d018e373a3052336ce1cc5c098 100644 GIT binary patch delta 137 zcmca=ebbsRpO=@50SFE(-kMw`vyo4d(Jj!~DkiizwWv78Cp9m>EI-CSFV&?evn(~n zJ2WQ9)hRf}vA8%hJuf#kucSD}$iT?R$w(I{jwGyW6tg*MAt}vb1q{BivSPMP&Ni8CN4&%zf6p5|2IEo WZ4qV`V&T}FC3%<;%rKB%$pipgRwV5J diff --git a/Assignment-2/__pycache__/conformance_testing.cpython-310.pyc b/Assignment-2/__pycache__/conformance_testing.cpython-310.pyc index 00dd4c2c3baa6a2a2c13203d1485e58c0b932b66..fd004a2b9605453dc5411ca1d47a219871f3072f 100644 GIT binary patch delta 98 zcmcb@c8iTSpO=@50SNXl+nT&@BX2sRTeP!POlWaxQE`kU>evE%!s!LI3S!#@T qXiSi+Q*ex9adBpPUT$h$NpXykfsv7ukuFdiNm$n?X7d)t1&jb?{2|Z) delta 92 zcmcb`c7=^MpO=@50SLI3ZB1UZkvE;uAyhvjKQ~oBFEcwoCoxOkIX@*;-zBjmF(*Gg kQ{TwI$jHe^H^|iqndw+uoSB}No0?amYoxz<7vlm(00AN#FaQ7m diff --git a/Assignment-2/__pycache__/log.cpython-310.pyc b/Assignment-2/__pycache__/log.cpython-310.pyc index da85df8a490afe1ea0712a5cc36cc31df36d6a6d..b645fb09d2661cab5b45380af41d2b612f8c81a8 100644 GIT binary patch delta 96 zcmeyv)Wpo2&&$ij00ajXZ%v*xk@t+7x3g7DXmM&$ag0xDUVd4AjDKFLOHpQ7YK(Vi oOpvQnaExPdab|j6Zfaghag33Hk&%;;E>IjvSl1|KvLs_N04k9nt^fc4 delta 90 zcmZo-{=>wZ&&$ij00awWZcUytk@t*)tA0j)ZmND>W_Er~VwS#heoCsoOJYf4PJVi( izL9~Ek&}^bkgF3i)3LZXGd(XiHLpb1NPn_CV=@5zFdMG` 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