From 945f487a08b643392a5d5918c631640b9a0e4605 Mon Sep 17 00:00:00 2001
From: 20001LastOrder <boqi.chen@mail.mcgill.ca>
Date: Tue, 3 Nov 2020 22:52:26 -0500
Subject: add realistic solver

---
 .../data/Yakindumm/na_rep/R_2017419.xmi            | 138 +++++++++++++++++++++
 1 file changed, 138 insertions(+)
 create mode 100644 Metrics/Metrics-Calculation/SocialNetwork_plugin/data/Yakindumm/na_rep/R_2017419.xmi

(limited to 'Metrics/Metrics-Calculation/SocialNetwork_plugin/data/Yakindumm/na_rep')

diff --git a/Metrics/Metrics-Calculation/SocialNetwork_plugin/data/Yakindumm/na_rep/R_2017419.xmi b/Metrics/Metrics-Calculation/SocialNetwork_plugin/data/Yakindumm/na_rep/R_2017419.xmi
new file mode 100644
index 00000000..369760bf
--- /dev/null
+++ b/Metrics/Metrics-Calculation/SocialNetwork_plugin/data/Yakindumm/na_rep/R_2017419.xmi
@@ -0,0 +1,138 @@
+<?xml version="1.0" encoding="ASCII"?>
+<hu.bme.mit.inf.yakindumm:Statechart xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hu.bme.mit.inf.yakindumm="hu.bme.mit.inf.yakindumm">
+  <regions>
+    <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.1/@outgoingTransitions.0 //@regions.0/@vertices.2/@outgoingTransitions.0 //@regions.0/@vertices.5/@outgoingTransitions.0">
+      <regions>
+        <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.0/@regions.0/@vertices.2/@outgoingTransitions.0 //@regions.0/@vertices.0/@regions.0/@vertices.8/@outgoingTransitions.2 //@regions.0/@vertices.0/@regions.0/@vertices.5/@outgoingTransitions.2 //@regions.0/@vertices.0/@regions.0/@vertices.1/@outgoingTransitions.2 //@regions.0/@vertices.0/@regions.0/@vertices.8/@outgoingTransitions.3">
+          <outgoingTransitions target="//@regions.0/@vertices.1"/>
+          <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.1"/>
+        </vertices>
+        <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.0/@regions.0/@vertices.4/@outgoingTransitions.1 //@regions.0/@vertices.0/@regions.0/@vertices.3/@outgoingTransitions.0 //@regions.0/@vertices.0/@regions.0/@vertices.3/@outgoingTransitions.1 //@regions.0/@vertices.0/@regions.0/@vertices.4/@outgoingTransitions.0 //@regions.0/@vertices.0/@regions.0/@vertices.0/@outgoingTransitions.1">
+          <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.5"/>
+          <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.4"/>
+          <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.0"/>
+          <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.3"/>
+        </vertices>
+        <vertices xsi:type="hu.bme.mit.inf.yakindumm:Entry">
+          <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.0"/>
+        </vertices>
+        <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.0/@regions.0/@vertices.1/@outgoingTransitions.3">
+          <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.1"/>
+          <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.1"/>
+        </vertices>
+        <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.0/@regions.0/@vertices.1/@outgoingTransitions.1">
+          <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.1"/>
+          <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.1"/>
+        </vertices>
+        <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.0/@regions.0/@vertices.6/@outgoingTransitions.1 //@regions.0/@vertices.0/@regions.0/@vertices.1/@outgoingTransitions.0 //@regions.0/@vertices.0/@regions.0/@vertices.7/@outgoingTransitions.1 //@regions.0/@vertices.0/@regions.0/@vertices.6/@outgoingTransitions.0 //@regions.0/@vertices.0/@regions.0/@vertices.7/@outgoingTransitions.0">
+          <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.6"/>
+          <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.7"/>
+          <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.0"/>
+          <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.8"/>
+        </vertices>
+        <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.0/@regions.0/@vertices.5/@outgoingTransitions.0">
+          <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.5"/>
+          <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.5"/>
+        </vertices>
+        <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.0/@regions.0/@vertices.5/@outgoingTransitions.1">
+          <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.5"/>
+          <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.5"/>
+        </vertices>
+        <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.0/@regions.0/@vertices.10/@outgoingTransitions.0 //@regions.0/@vertices.0/@regions.0/@vertices.9/@outgoingTransitions.0 //@regions.0/@vertices.0/@regions.0/@vertices.5/@outgoingTransitions.3 //@regions.0/@vertices.0/@regions.0/@vertices.10/@outgoingTransitions.1 //@regions.0/@vertices.0/@regions.0/@vertices.9/@outgoingTransitions.1">
+          <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.10"/>
+          <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.9"/>
+          <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.0"/>
+          <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.0"/>
+        </vertices>
+        <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.0/@regions.0/@vertices.8/@outgoingTransitions.1">
+          <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.8"/>
+          <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.8"/>
+        </vertices>
+        <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.0/@regions.0/@vertices.8/@outgoingTransitions.0">
+          <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.8"/>
+          <outgoingTransitions target="//@regions.0/@vertices.0/@regions.0/@vertices.8"/>
+        </vertices>
+      </regions>
+    </vertices>
+    <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.4/@outgoingTransitions.0 //@regions.0/@vertices.0/@regions.0/@vertices.0/@outgoingTransitions.0 //@regions.0/@vertices.4/@outgoingTransitions.1">
+      <outgoingTransitions target="//@regions.0/@vertices.0"/>
+      <regions>
+        <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.1/@regions.0/@vertices.7/@outgoingTransitions.1 //@regions.0/@vertices.1/@regions.0/@vertices.7/@outgoingTransitions.0">
+          <outgoingTransitions target="//@regions.0/@vertices.3"/>
+        </vertices>
+        <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.1/@regions.0/@vertices.4/@outgoingTransitions.0 //@regions.0/@vertices.1/@regions.0/@vertices.5/@outgoingTransitions.1">
+          <outgoingTransitions target="//@regions.0/@vertices.1/@regions.0/@vertices.3"/>
+          <outgoingTransitions target="//@regions.0/@vertices.3"/>
+          <outgoingTransitions target="//@regions.0/@vertices.1/@regions.0/@vertices.5"/>
+        </vertices>
+        <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.1/@regions.0/@vertices.5/@outgoingTransitions.0 //@regions.0/@vertices.1/@regions.0/@vertices.6/@outgoingTransitions.0"/>
+        <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.1/@regions.0/@vertices.1/@outgoingTransitions.0 //@regions.0/@vertices.1/@regions.0/@vertices.6/@outgoingTransitions.1">
+          <outgoingTransitions target="//@regions.0/@vertices.1/@regions.0/@vertices.7"/>
+          <outgoingTransitions target="//@regions.0/@vertices.1/@regions.0/@vertices.6"/>
+        </vertices>
+        <vertices xsi:type="hu.bme.mit.inf.yakindumm:Entry">
+          <outgoingTransitions target="//@regions.0/@vertices.1/@regions.0/@vertices.1"/>
+        </vertices>
+        <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.1/@regions.0/@vertices.1/@outgoingTransitions.2">
+          <outgoingTransitions target="//@regions.0/@vertices.1/@regions.0/@vertices.2"/>
+          <outgoingTransitions target="//@regions.0/@vertices.1/@regions.0/@vertices.1"/>
+        </vertices>
+        <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.1/@regions.0/@vertices.3/@outgoingTransitions.1">
+          <outgoingTransitions target="//@regions.0/@vertices.1/@regions.0/@vertices.2"/>
+          <outgoingTransitions target="//@regions.0/@vertices.1/@regions.0/@vertices.3"/>
+        </vertices>
+        <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.1/@regions.0/@vertices.3/@outgoingTransitions.0">
+          <outgoingTransitions target="//@regions.0/@vertices.1/@regions.0/@vertices.0"/>
+          <outgoingTransitions target="//@regions.0/@vertices.1/@regions.0/@vertices.0"/>
+        </vertices>
+      </regions>
+    </vertices>
+    <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.3/@outgoingTransitions.1 //@regions.0/@vertices.3/@outgoingTransitions.0">
+      <outgoingTransitions target="//@regions.0/@vertices.0"/>
+      <regions>
+        <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.2/@regions.0/@vertices.7/@outgoingTransitions.0 //@regions.0/@vertices.2/@regions.0/@vertices.7/@outgoingTransitions.1">
+          <outgoingTransitions target="//@regions.0/@vertices.4"/>
+        </vertices>
+        <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.2/@regions.0/@vertices.4/@outgoingTransitions.0 //@regions.0/@vertices.2/@regions.0/@vertices.5/@outgoingTransitions.1">
+          <outgoingTransitions target="//@regions.0/@vertices.2/@regions.0/@vertices.3"/>
+          <outgoingTransitions target="//@regions.0/@vertices.4"/>
+          <outgoingTransitions target="//@regions.0/@vertices.2/@regions.0/@vertices.5"/>
+        </vertices>
+        <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.2/@regions.0/@vertices.6/@outgoingTransitions.0 //@regions.0/@vertices.2/@regions.0/@vertices.5/@outgoingTransitions.0"/>
+        <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.2/@regions.0/@vertices.1/@outgoingTransitions.0 //@regions.0/@vertices.2/@regions.0/@vertices.6/@outgoingTransitions.1">
+          <outgoingTransitions target="//@regions.0/@vertices.2/@regions.0/@vertices.6"/>
+          <outgoingTransitions target="//@regions.0/@vertices.2/@regions.0/@vertices.7"/>
+        </vertices>
+        <vertices xsi:type="hu.bme.mit.inf.yakindumm:Entry">
+          <outgoingTransitions target="//@regions.0/@vertices.2/@regions.0/@vertices.1"/>
+        </vertices>
+        <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.2/@regions.0/@vertices.1/@outgoingTransitions.2">
+          <outgoingTransitions target="//@regions.0/@vertices.2/@regions.0/@vertices.2"/>
+          <outgoingTransitions target="//@regions.0/@vertices.2/@regions.0/@vertices.1"/>
+        </vertices>
+        <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.2/@regions.0/@vertices.3/@outgoingTransitions.0">
+          <outgoingTransitions target="//@regions.0/@vertices.2/@regions.0/@vertices.2"/>
+          <outgoingTransitions target="//@regions.0/@vertices.2/@regions.0/@vertices.3"/>
+        </vertices>
+        <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.2/@regions.0/@vertices.3/@outgoingTransitions.1">
+          <outgoingTransitions target="//@regions.0/@vertices.2/@regions.0/@vertices.0"/>
+          <outgoingTransitions target="//@regions.0/@vertices.2/@regions.0/@vertices.0"/>
+        </vertices>
+      </regions>
+    </vertices>
+    <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.1/@regions.0/@vertices.0/@outgoingTransitions.0 //@regions.0/@vertices.1/@regions.0/@vertices.1/@outgoingTransitions.1">
+      <outgoingTransitions target="//@regions.0/@vertices.2"/>
+      <outgoingTransitions target="//@regions.0/@vertices.2"/>
+    </vertices>
+    <vertices xsi:type="hu.bme.mit.inf.yakindumm:Choice" incomingTransitions="//@regions.0/@vertices.2/@regions.0/@vertices.0/@outgoingTransitions.0 //@regions.0/@vertices.2/@regions.0/@vertices.1/@outgoingTransitions.1">
+      <outgoingTransitions target="//@regions.0/@vertices.1"/>
+      <outgoingTransitions target="//@regions.0/@vertices.1"/>
+    </vertices>
+    <vertices xsi:type="hu.bme.mit.inf.yakindumm:State" incomingTransitions="//@regions.0/@vertices.6/@outgoingTransitions.0">
+      <outgoingTransitions target="//@regions.0/@vertices.0"/>
+    </vertices>
+    <vertices xsi:type="hu.bme.mit.inf.yakindumm:Entry">
+      <outgoingTransitions target="//@regions.0/@vertices.5"/>
+    </vertices>
+  </regions>
+</hu.bme.mit.inf.yakindumm:Statechart>
-- 
cgit v1.2.3-54-g00ecf