<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8" />
<title>LongDistancePlugin xref</title>
<link type="text/css" rel="stylesheet" href="../../../../../stylesheet.css" />
</head>
<body>
<div id="overview"><a href="../../../../../../apidocs/org/apromore/plugin/portal/longdistance/LongDistancePlugin.html">View Javadoc</a></div><pre>

<a class="jxr_linenumber" name="1" href="#1">1</a>   <em class="jxr_comment">/*</em>
<a class="jxr_linenumber" name="2" href="#2">2</a>   <em class="jxr_comment"> * Copyright © 2020 The University of Melbourne.</em>
<a class="jxr_linenumber" name="3" href="#3">3</a>   <em class="jxr_comment"> *</em>
<a class="jxr_linenumber" name="4" href="#4">4</a>   <em class="jxr_comment"> * This file is part of "Apromore".</em>
<a class="jxr_linenumber" name="5" href="#5">5</a>   <em class="jxr_comment"> *</em>
<a class="jxr_linenumber" name="6" href="#6">6</a>   <em class="jxr_comment"> * "Apromore" is free software; you can redistribute it and/or modify</em>
<a class="jxr_linenumber" name="7" href="#7">7</a>   <em class="jxr_comment"> * it under the terms of the GNU Lesser General Public License as</em>
<a class="jxr_linenumber" name="8" href="#8">8</a>   <em class="jxr_comment"> * published by the Free Software Foundation; either version 3 of the</em>
<a class="jxr_linenumber" name="9" href="#9">9</a>   <em class="jxr_comment"> * License, or (at your option) any later version.</em>
<a class="jxr_linenumber" name="10" href="#10">10</a>  <em class="jxr_comment"> *</em>
<a class="jxr_linenumber" name="11" href="#11">11</a>  <em class="jxr_comment"> * "Apromore" is distributed in the hope that it will be useful, but</em>
<a class="jxr_linenumber" name="12" href="#12">12</a>  <em class="jxr_comment"> * WITHOUT ANY WARRANTY; without even the implied warranty</em>
<a class="jxr_linenumber" name="13" href="#13">13</a>  <em class="jxr_comment"> * of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.</em>
<a class="jxr_linenumber" name="14" href="#14">14</a>  <em class="jxr_comment"> * See the GNU Lesser General Public License for more details.</em>
<a class="jxr_linenumber" name="15" href="#15">15</a>  <em class="jxr_comment"> *</em>
<a class="jxr_linenumber" name="16" href="#16">16</a>  <em class="jxr_comment"> * You should have received a copy of the GNU Lesser General Public</em>
<a class="jxr_linenumber" name="17" href="#17">17</a>  <em class="jxr_comment"> * License along with this program.</em>
<a class="jxr_linenumber" name="18" href="#18">18</a>  <em class="jxr_comment"> * If not, see &lt;<a href="http://www.gnu.org/licenses/lgpl-3.0.html&gt;." target="alexandria_uri">http://www.gnu.org/licenses/lgpl-3.0.html&gt;.</a></em>
<a class="jxr_linenumber" name="19" href="#19">19</a>  <em class="jxr_comment"> */</em>
<a class="jxr_linenumber" name="20" href="#20">20</a>  
<a class="jxr_linenumber" name="21" href="#21">21</a>  <strong class="jxr_keyword">package</strong> org.apromore.plugin.portal.longdistance;
<a class="jxr_linenumber" name="22" href="#22">22</a>  
<a class="jxr_linenumber" name="23" href="#23">23</a>  
<a class="jxr_linenumber" name="24" href="#24">24</a>  <strong class="jxr_keyword">import</strong> java.util.*;
<a class="jxr_linenumber" name="25" href="#25">25</a>  
<a class="jxr_linenumber" name="26" href="#26">26</a>  <em class="jxr_comment">// Java 2 Enterprise Edition packages</em>
<a class="jxr_linenumber" name="27" href="#27">27</a>  <strong class="jxr_keyword">import</strong> javax.inject.Inject;
<a class="jxr_linenumber" name="28" href="#28">28</a>  
<a class="jxr_linenumber" name="29" href="#29">29</a>  <em class="jxr_comment">// Third party packages</em>
<a class="jxr_linenumber" name="30" href="#30">30</a>  <strong class="jxr_keyword">import</strong> org.apromore.model.SummaryType;
<a class="jxr_linenumber" name="31" href="#31">31</a>  <strong class="jxr_keyword">import</strong> org.apromore.service.EventLogService;
<a class="jxr_linenumber" name="32" href="#32">32</a>  <strong class="jxr_keyword">import</strong> org.deckfour.xes.model.XEvent;
<a class="jxr_linenumber" name="33" href="#33">33</a>  <strong class="jxr_keyword">import</strong> org.deckfour.xes.model.XLog;
<a class="jxr_linenumber" name="34" href="#34">34</a>  <strong class="jxr_keyword">import</strong> org.deckfour.xes.model.XTrace;
<a class="jxr_linenumber" name="35" href="#35">35</a>  <strong class="jxr_keyword">import</strong> org.apromore.processmining.models.graphbased.directed.bpmn.BPMNDiagram;
<a class="jxr_linenumber" name="36" href="#36">36</a>  <strong class="jxr_keyword">import</strong> org.apromore.processmining.models.graphbased.directed.bpmn.BPMNEdge;
<a class="jxr_linenumber" name="37" href="#37">37</a>  <strong class="jxr_keyword">import</strong> org.apromore.processmining.models.graphbased.directed.bpmn.BPMNNode;
<a class="jxr_linenumber" name="38" href="#38">38</a>  <strong class="jxr_keyword">import</strong> org.apromore.processmining.models.graphbased.directed.bpmn.elements.Activity;
<a class="jxr_linenumber" name="39" href="#39">39</a>  <strong class="jxr_keyword">import</strong> org.apromore.processmining.models.graphbased.directed.bpmn.elements.Gateway;
<a class="jxr_linenumber" name="40" href="#40">40</a>  <strong class="jxr_keyword">import</strong> org.apromore.processmining.models.graphbased.directed.bpmn.elements.Gateway.GatewayType;
<a class="jxr_linenumber" name="41" href="#41">41</a>  <strong class="jxr_keyword">import</strong> org.slf4j.Logger;
<a class="jxr_linenumber" name="42" href="#42">42</a>  <strong class="jxr_keyword">import</strong> org.slf4j.LoggerFactory;
<a class="jxr_linenumber" name="43" href="#43">43</a>  <strong class="jxr_keyword">import</strong> org.springframework.stereotype.Component;
<a class="jxr_linenumber" name="44" href="#44">44</a>  <strong class="jxr_keyword">import</strong> org.zkoss.zul.*;
<a class="jxr_linenumber" name="45" href="#45">45</a>  <strong class="jxr_keyword">import</strong> org.apache.commons.math3.util.Pair;
<a class="jxr_linenumber" name="46" href="#46">46</a>  
<a class="jxr_linenumber" name="47" href="#47">47</a>  <em class="jxr_comment">// Local packages</em>
<a class="jxr_linenumber" name="48" href="#48">48</a>  
<a class="jxr_linenumber" name="49" href="#49">49</a>  <strong class="jxr_keyword">import</strong> org.apromore.helper.Version;
<a class="jxr_linenumber" name="50" href="#50">50</a>  <strong class="jxr_keyword">import</strong> org.apromore.model.ProcessSummaryType;
<a class="jxr_linenumber" name="51" href="#51">51</a>  <strong class="jxr_keyword">import</strong> org.apromore.model.VersionSummaryType;
<a class="jxr_linenumber" name="52" href="#52">52</a>  <strong class="jxr_keyword">import</strong> org.apromore.plugin.portal.PortalContext;
<a class="jxr_linenumber" name="53" href="#53">53</a>  <strong class="jxr_keyword">import</strong> org.apromore.portal.custom.gui.plugin.PluginCustomGui;
<a class="jxr_linenumber" name="54" href="#54">54</a>  <strong class="jxr_keyword">import</strong> org.apromore.service.ProcessService;
<a class="jxr_linenumber" name="55" href="#55">55</a>  <strong class="jxr_keyword">import</strong> org.apromore.service.bpmndiagramimporter.BPMNDiagramImporter;
<a class="jxr_linenumber" name="56" href="#56">56</a>  <strong class="jxr_keyword">import</strong> org.apromore.model.LogSummaryType;
<a class="jxr_linenumber" name="57" href="#57">57</a>  <strong class="jxr_keyword">import</strong> dk.brics.automaton.*;
<a class="jxr_linenumber" name="58" href="#58">58</a>  
<a class="jxr_linenumber" name="59" href="#59">59</a>  
<a class="jxr_linenumber" name="60" href="#60">60</a>  <em class="jxr_javadoccomment">/**</em>
<a class="jxr_linenumber" name="61" href="#61">61</a>  <em class="jxr_javadoccomment"> * Plugin for the discovery of non-local dependencies. Created by Anna Kalenkova 28/01/2020</em>
<a class="jxr_linenumber" name="62" href="#62">62</a>  <em class="jxr_javadoccomment"> */</em>
<a class="jxr_linenumber" name="63" href="#63">63</a>  
<a class="jxr_linenumber" name="64" href="#64">64</a>  @Component(<span class="jxr_string">"plugin"</span>)
<a class="jxr_linenumber" name="65" href="#65">65</a>  <strong class="jxr_keyword">public</strong> <strong class="jxr_keyword">class</strong> <a href="../../../../../org/apromore/plugin/portal/longdistance/LongDistancePlugin.html">LongDistancePlugin</a> <strong class="jxr_keyword">extends</strong> PluginCustomGui {
<a class="jxr_linenumber" name="66" href="#66">66</a>      
<a class="jxr_linenumber" name="67" href="#67">67</a>  	enum <a href="../../../../../org/apromore/plugin/portal/longdistance/LongDistancePlugin.html">Type</a> 
<a class="jxr_linenumber" name="68" href="#68">68</a>  	{ 
<a class="jxr_linenumber" name="69" href="#69">69</a>  	    ENTER, EXIT, DO_NOT_CROSS; 
<a class="jxr_linenumber" name="70" href="#70">70</a>  	}
<a class="jxr_linenumber" name="71" href="#71">71</a>  	
<a class="jxr_linenumber" name="72" href="#72">72</a>  	<strong class="jxr_keyword">private</strong> <strong class="jxr_keyword">static</strong> <strong class="jxr_keyword">final</strong> Logger LOGGER = LoggerFactory.getLogger(LongDistancePlugin.<strong class="jxr_keyword">class</strong>);
<a class="jxr_linenumber" name="73" href="#73">73</a>  	<strong class="jxr_keyword">private</strong> <strong class="jxr_keyword">static</strong> <strong class="jxr_keyword">final</strong> Set&lt;Set&lt;State&gt;&gt; allRegions = <strong class="jxr_keyword">new</strong> HashSet&lt;Set&lt;State&gt;&gt;();
<a class="jxr_linenumber" name="74" href="#74">74</a>  
<a class="jxr_linenumber" name="75" href="#75">75</a>  
<a class="jxr_linenumber" name="76" href="#76">76</a>      @Inject <strong class="jxr_keyword">private</strong> ProcessService processService;
<a class="jxr_linenumber" name="77" href="#77">77</a>      @Inject <strong class="jxr_keyword">private</strong> BPMNDiagramImporter importerService;
<a class="jxr_linenumber" name="78" href="#78">78</a>      @Inject <strong class="jxr_keyword">private</strong> EventLogService eventLogService; 
<a class="jxr_linenumber" name="79" href="#79">79</a>      
<a class="jxr_linenumber" name="80" href="#80">80</a>      <strong class="jxr_keyword">private</strong> Map&lt;String, Character&gt; mapOfSymbols = <strong class="jxr_keyword">new</strong> HashMap&lt;String, Character&gt;();      
<a class="jxr_linenumber" name="81" href="#81">81</a>      
<a class="jxr_linenumber" name="82" href="#82">82</a>      @Override
<a class="jxr_linenumber" name="83" href="#83">83</a>      <strong class="jxr_keyword">public</strong> String getLabel(Locale locale) {
<a class="jxr_linenumber" name="84" href="#84">84</a>          <strong class="jxr_keyword">return</strong> <span class="jxr_string">"Add long-distance relations"</span>;
<a class="jxr_linenumber" name="85" href="#85">85</a>      }
<a class="jxr_linenumber" name="86" href="#86">86</a>  
<a class="jxr_linenumber" name="87" href="#87">87</a>      @Override
<a class="jxr_linenumber" name="88" href="#88">88</a>      <strong class="jxr_keyword">public</strong> String getGroupLabel(Locale locale) {
<a class="jxr_linenumber" name="89" href="#89">89</a>          <strong class="jxr_keyword">return</strong> <span class="jxr_string">"Discover"</span>;
<a class="jxr_linenumber" name="90" href="#90">90</a>      }
<a class="jxr_linenumber" name="91" href="#91">91</a>  
<a class="jxr_linenumber" name="92" href="#92">92</a>      @Override
<a class="jxr_linenumber" name="93" href="#93">93</a>      <strong class="jxr_keyword">public</strong> <strong class="jxr_keyword">void</strong> execute(<strong class="jxr_keyword">final</strong> PortalContext context) {
<a class="jxr_linenumber" name="94" href="#94">94</a>      
<a class="jxr_linenumber" name="95" href="#95">95</a>      	
<a class="jxr_linenumber" name="96" href="#96">96</a>      	  <em class="jxr_comment">// Show a message on the portal</em>
<a class="jxr_linenumber" name="97" href="#97">97</a>          <strong class="jxr_keyword">try</strong> {
<a class="jxr_linenumber" name="98" href="#98">98</a>              Set&lt;SummaryType&gt; elements = context.getSelection().getSelectedProcessModels();
<a class="jxr_linenumber" name="99" href="#99">99</a>              Map&lt;SummaryType,List&lt;VersionSummaryType&gt;&gt; vsts = context.getSelection().getSelectedProcessModelVersions();
<a class="jxr_linenumber" name="100" href="#100">100</a>             Set&lt;ProcessSummaryType&gt; selectedProcessess = <strong class="jxr_keyword">new</strong> HashSet&lt;&gt;();
<a class="jxr_linenumber" name="101" href="#101">101</a>             Set&lt;LogSummaryType&gt; selectedLogs = <strong class="jxr_keyword">new</strong> HashSet&lt;&gt;();
<a class="jxr_linenumber" name="102" href="#102">102</a>           
<a class="jxr_linenumber" name="103" href="#103">103</a>             
<a class="jxr_linenumber" name="104" href="#104">104</a>             <strong class="jxr_keyword">for</strong>(SummaryType entry : elements) {
<a class="jxr_linenumber" name="105" href="#105">105</a>                 <strong class="jxr_keyword">if</strong>(entry instanceof ProcessSummaryType) {
<a class="jxr_linenumber" name="106" href="#106">106</a>                 	selectedProcessess.add((ProcessSummaryType)entry);
<a class="jxr_linenumber" name="107" href="#107">107</a>                 }
<a class="jxr_linenumber" name="108" href="#108">108</a>                 <strong class="jxr_keyword">if</strong>(entry instanceof LogSummaryType) {
<a class="jxr_linenumber" name="109" href="#109">109</a>                 	selectedLogs.add((LogSummaryType)entry);
<a class="jxr_linenumber" name="110" href="#110">110</a>                 }
<a class="jxr_linenumber" name="111" href="#111">111</a>             }
<a class="jxr_linenumber" name="112" href="#112">112</a> 
<a class="jxr_linenumber" name="113" href="#113">113</a>             <em class="jxr_comment">// 1 process model must be selected. </em>
<a class="jxr_linenumber" name="114" href="#114">114</a>             <strong class="jxr_keyword">if</strong> (selectedProcessess.size() != 1) {
<a class="jxr_linenumber" name="115" href="#115">115</a>                 Messagebox.show(<span class="jxr_string">"Select one process model for the enhancement."</span>);
<a class="jxr_linenumber" name="116" href="#116">116</a>                 <strong class="jxr_keyword">return</strong>;
<a class="jxr_linenumber" name="117" href="#117">117</a>             }
<a class="jxr_linenumber" name="118" href="#118">118</a>             
<a class="jxr_linenumber" name="119" href="#119">119</a>             <em class="jxr_comment">// 1 log must be selected. </em>
<a class="jxr_linenumber" name="120" href="#120">120</a>             <strong class="jxr_keyword">if</strong> (selectedLogs.size() != 1) {
<a class="jxr_linenumber" name="121" href="#121">121</a>                 Messagebox.show(<span class="jxr_string">"Select one event log."</span>);
<a class="jxr_linenumber" name="122" href="#122">122</a>                 <strong class="jxr_keyword">return</strong>;
<a class="jxr_linenumber" name="123" href="#123">123</a>             }
<a class="jxr_linenumber" name="124" href="#124">124</a>             
<a class="jxr_linenumber" name="125" href="#125">125</a>             ProcessSummaryType process = selectedProcessess.iterator().next();
<a class="jxr_linenumber" name="126" href="#126">126</a>             VersionSummaryType vst = vsts.get(process).get(0);
<a class="jxr_linenumber" name="127" href="#127">127</a> 
<a class="jxr_linenumber" name="128" href="#128">128</a>             <em class="jxr_comment">// Fetch the BPMN serialization of the model</em>
<a class="jxr_linenumber" name="129" href="#129">129</a>             <strong class="jxr_keyword">int</strong> procID = process.getId();
<a class="jxr_linenumber" name="130" href="#130">130</a>             String procName = process.getName();
<a class="jxr_linenumber" name="131" href="#131">131</a>             String branch = vst.getName();
<a class="jxr_linenumber" name="132" href="#132">132</a>             Version version = <strong class="jxr_keyword">new</strong> Version(vst.getVersionNumber());
<a class="jxr_linenumber" name="133" href="#133">133</a> <em class="jxr_comment">//            try {</em>
<a class="jxr_linenumber" name="134" href="#134">134</a> <em class="jxr_comment">//            	Messagebox.show("Getting bpmn representation...");</em>
<a class="jxr_linenumber" name="135" href="#135">135</a>                 String bpmn = processService.getBPMNRepresentation(procName, procID, branch, version);
<a class="jxr_linenumber" name="136" href="#136">136</a>                 BPMNDiagram bpmnDiagram = importerService.importBPMNDiagram(bpmn);
<a class="jxr_linenumber" name="137" href="#137">137</a> <em class="jxr_comment">//              Messagebox.show("Finding free-choice candidates...");</em>
<a class="jxr_linenumber" name="138" href="#138">138</a>                 Set&lt;Set&lt;Activity&gt;&gt; freeChoiceCandidates = findFreeChoiceCandidates(bpmnDiagram);
<a class="jxr_linenumber" name="139" href="#139">139</a>                 
<a class="jxr_linenumber" name="140" href="#140">140</a>                 
<a class="jxr_linenumber" name="141" href="#141">141</a>                 
<a class="jxr_linenumber" name="142" href="#142">142</a>                 LogSummaryType logType = selectedLogs.iterator().next();
<a class="jxr_linenumber" name="143" href="#143">143</a>                 XLog log = eventLogService.getXLog(logType.getId());
<a class="jxr_linenumber" name="144" href="#144">144</a>                 
<a class="jxr_linenumber" name="145" href="#145">145</a> <em class="jxr_comment">//                Messagebox.show("Log size " + log.size());</em>
<a class="jxr_linenumber" name="146" href="#146">146</a> <em class="jxr_comment">//                LOGGER.info("Log size " + log.size());</em>
<a class="jxr_linenumber" name="147" href="#147">147</a> 
<a class="jxr_linenumber" name="148" href="#148">148</a>                 
<a class="jxr_linenumber" name="149" href="#149">149</a> <em class="jxr_comment">//              Messagebox.show("Building automaton...");</em>
<a class="jxr_linenumber" name="150" href="#150">150</a>                 Automaton aL = buildAutomaton(log);
<a class="jxr_linenumber" name="151" href="#151">151</a>                 aL.minimize();
<a class="jxr_linenumber" name="152" href="#152">152</a> <em class="jxr_comment">//              aL.determinize();</em>
<a class="jxr_linenumber" name="153" href="#153">153</a> <em class="jxr_comment">//              Messagebox.show(aL.toString());</em>
<a class="jxr_linenumber" name="154" href="#154">154</a> <em class="jxr_comment">//              LOGGER.info(aL.toString());</em>
<a class="jxr_linenumber" name="155" href="#155">155</a> <em class="jxr_comment">//              Messagebox.show(mapOfSymbols.toString());</em>
<a class="jxr_linenumber" name="156" href="#156">156</a>                 LOGGER.info(mapOfSymbols.toString());
<a class="jxr_linenumber" name="157" href="#157">157</a>                
<a class="jxr_linenumber" name="158" href="#158">158</a>                 <strong class="jxr_keyword">long</strong> time = System.currentTimeMillis();
<a class="jxr_linenumber" name="159" href="#159">159</a>                 <em class="jxr_comment">// Check free choice</em>
<a class="jxr_linenumber" name="160" href="#160">160</a>                 <strong class="jxr_keyword">for</strong>(Set&lt;Activity&gt; freeChoicecandidate : freeChoiceCandidates) {
<a class="jxr_linenumber" name="161" href="#161">161</a>                 	
<a class="jxr_linenumber" name="162" href="#162">162</a>                 	<strong class="jxr_keyword">if</strong>(!checkFreechoice(freeChoicecandidate, aL)) {
<a class="jxr_linenumber" name="163" href="#163">163</a> <em class="jxr_comment">//                		 Messagebox.show(freeChoicecandidate + " non free choice");</em>
<a class="jxr_linenumber" name="164" href="#164">164</a>                 		 LOGGER.info(freeChoicecandidate + <span class="jxr_string">" non free choice"</span>);
<a class="jxr_linenumber" name="165" href="#165">165</a>                 		 <strong class="jxr_keyword">for</strong>(Activity a : freeChoicecandidate) {
<a class="jxr_linenumber" name="166" href="#166">166</a>                 			 LOGGER.info(<span class="jxr_string">"Finding regions for activity "</span> + a);
<a class="jxr_linenumber" name="167" href="#167">167</a>                 			 findMinimalRegions(a, freeChoicecandidate, aL, bpmnDiagram);
<a class="jxr_linenumber" name="168" href="#168">168</a>                 		 }
<a class="jxr_linenumber" name="169" href="#169">169</a>                 	}
<a class="jxr_linenumber" name="170" href="#170">170</a>                 }
<a class="jxr_linenumber" name="171" href="#171">171</a>                 System.out.println(<span class="jxr_string">"Overall time: "</span> + (System.currentTimeMillis() - time));
<a class="jxr_linenumber" name="172" href="#172">172</a> <em class="jxr_comment">//                Messagebox.show("Calculation time " + (System.currentTimeMillis() - time));</em>
<a class="jxr_linenumber" name="173" href="#173">173</a> <em class="jxr_comment">//           	} </em>
<a class="jxr_linenumber" name="174" href="#174">174</a> <em class="jxr_comment">//            } catch (Exception e) {</em>
<a class="jxr_linenumber" name="175" href="#175">175</a> <em class="jxr_comment">//                Messagebox.show("Unable to read " + procName, "Attention", Messagebox.OK, Messagebox.ERROR);</em>
<a class="jxr_linenumber" name="176" href="#176">176</a> <em class="jxr_comment">//                e.printStackTrace();</em>
<a class="jxr_linenumber" name="177" href="#177">177</a> <em class="jxr_comment">//            }</em>
<a class="jxr_linenumber" name="178" href="#178">178</a>         } <strong class="jxr_keyword">catch</strong> (Exception e) {
<a class="jxr_linenumber" name="179" href="#179">179</a>             e.printStackTrace();
<a class="jxr_linenumber" name="180" href="#180">180</a> <em class="jxr_comment">//        	Messagebox.show("Unable discover long distance dependancies: " + e, "Error", 0, Messagebox.ERROR);</em>
<a class="jxr_linenumber" name="181" href="#181">181</a>             LOGGER.error(<span class="jxr_string">"Unable discover long distance dependancies"</span>, e);
<a class="jxr_linenumber" name="182" href="#182">182</a>         }
<a class="jxr_linenumber" name="183" href="#183">183</a>     }
<a class="jxr_linenumber" name="184" href="#184">184</a>         
<a class="jxr_linenumber" name="185" href="#185">185</a>     <strong class="jxr_keyword">private</strong> <strong class="jxr_keyword">void</strong> findMinimalRegions(Activity a, Set&lt;Activity&gt; freeChoiceCandidates, Automaton aL, BPMNDiagram bpmn) {
<a class="jxr_linenumber" name="186" href="#186">186</a>     	
<a class="jxr_linenumber" name="187" href="#187">187</a>     	Set&lt;State&gt; region = <strong class="jxr_keyword">new</strong> HashSet&lt;State&gt;();
<a class="jxr_linenumber" name="188" href="#188">188</a>     	
<a class="jxr_linenumber" name="189" href="#189">189</a>     	Set&lt;Character&gt; freeChoiceSymb = <strong class="jxr_keyword">new</strong> HashSet&lt;Character&gt;();
<a class="jxr_linenumber" name="190" href="#190">190</a>     	<strong class="jxr_keyword">for</strong>(Activity a1 : freeChoiceCandidates) {
<a class="jxr_linenumber" name="191" href="#191">191</a>     		freeChoiceSymb.add(mapOfSymbols.get(a1.getLabel()));
<a class="jxr_linenumber" name="192" href="#192">192</a>     	}
<a class="jxr_linenumber" name="193" href="#193">193</a>     	<strong class="jxr_keyword">int</strong> numberOfStates = 0;
<a class="jxr_linenumber" name="194" href="#194">194</a>     	
<a class="jxr_linenumber" name="195" href="#195">195</a>     	<strong class="jxr_keyword">for</strong>(State s : aL.getStates()) {
<a class="jxr_linenumber" name="196" href="#196">196</a>     		<strong class="jxr_keyword">for</strong>(Transition t : s.getTransitions()) {
<a class="jxr_linenumber" name="197" href="#197">197</a>     			<strong class="jxr_keyword">char</strong> maxChar = t.getMax();
<a class="jxr_linenumber" name="198" href="#198">198</a>     			<strong class="jxr_keyword">char</strong> minChar = t.getMin();
<a class="jxr_linenumber" name="199" href="#199">199</a>     			<strong class="jxr_keyword">if</strong> ((freeChoiceSymb.contains(maxChar)) || (freeChoiceSymb.contains(minChar))) {
<a class="jxr_linenumber" name="200" href="#200">200</a>     				numberOfStates++;
<a class="jxr_linenumber" name="201" href="#201">201</a>     			}
<a class="jxr_linenumber" name="202" href="#202">202</a>     			<strong class="jxr_keyword">if</strong>(mapOfSymbols.get(a.getLabel()) != <strong class="jxr_keyword">null</strong>) {
<a class="jxr_linenumber" name="203" href="#203">203</a>     				<strong class="jxr_keyword">char</strong> hashCode = mapOfSymbols.get(a.getLabel());
<a class="jxr_linenumber" name="204" href="#204">204</a>     				<strong class="jxr_keyword">if</strong> ((hashCode &lt;= maxChar) &amp;&amp; (hashCode &gt;= minChar)) {
<a class="jxr_linenumber" name="205" href="#205">205</a>     					region.add(s);
<a class="jxr_linenumber" name="206" href="#206">206</a>     				}
<a class="jxr_linenumber" name="207" href="#207">207</a> 				}
<a class="jxr_linenumber" name="208" href="#208">208</a>     		}
<a class="jxr_linenumber" name="209" href="#209">209</a>     	}
<a class="jxr_linenumber" name="210" href="#210">210</a>     	
<a class="jxr_linenumber" name="211" href="#211">211</a>     	<strong class="jxr_keyword">if</strong>(region.size() &lt; numberOfStates) {
<a class="jxr_linenumber" name="212" href="#212">212</a> <em class="jxr_comment">//    		Messagebox.show(region.toString());</em>
<a class="jxr_linenumber" name="213" href="#213">213</a>     		expandAndAddRegionsOpt(a, region, aL);    		
<a class="jxr_linenumber" name="214" href="#214">214</a>     	}
<a class="jxr_linenumber" name="215" href="#215">215</a>     	
<a class="jxr_linenumber" name="216" href="#216">216</a>     }
<a class="jxr_linenumber" name="217" href="#217">217</a>     
<a class="jxr_linenumber" name="218" href="#218">218</a> 	<strong class="jxr_keyword">private</strong> Set&lt;Pair&lt;State,Transition&gt;&gt; findIncomingTransitions(Set&lt;State&gt; region, Automaton aL) {
<a class="jxr_linenumber" name="219" href="#219">219</a> 		Set&lt;Pair&lt;State,Transition&gt;&gt; result = <strong class="jxr_keyword">new</strong> HashSet&lt;Pair&lt;State,Transition&gt;&gt;();
<a class="jxr_linenumber" name="220" href="#220">220</a> 
<a class="jxr_linenumber" name="221" href="#221">221</a> 		<strong class="jxr_keyword">for</strong> (State s : aL.getStates()) {
<a class="jxr_linenumber" name="222" href="#222">222</a> 			<strong class="jxr_keyword">for</strong> (Transition t : s.getTransitions()) {
<a class="jxr_linenumber" name="223" href="#223">223</a> 				<strong class="jxr_keyword">if</strong> (region.contains(t.getDest()) &amp;&amp; !region.contains(s)) {
<a class="jxr_linenumber" name="224" href="#224">224</a> 					result.add(<strong class="jxr_keyword">new</strong> Pair&lt;State,Transition&gt;(s,t));
<a class="jxr_linenumber" name="225" href="#225">225</a> 
<a class="jxr_linenumber" name="226" href="#226">226</a> 				}
<a class="jxr_linenumber" name="227" href="#227">227</a> 			}
<a class="jxr_linenumber" name="228" href="#228">228</a> 		}
<a class="jxr_linenumber" name="229" href="#229">229</a> 
<a class="jxr_linenumber" name="230" href="#230">230</a> 		<strong class="jxr_keyword">return</strong> result;
<a class="jxr_linenumber" name="231" href="#231">231</a> 	}
<a class="jxr_linenumber" name="232" href="#232">232</a> 	
<a class="jxr_linenumber" name="233" href="#233">233</a>     
<a class="jxr_linenumber" name="234" href="#234">234</a> 	<strong class="jxr_keyword">private</strong>  Set&lt;Pair&lt;State,Transition&gt;&gt; findOutgoingTransitions(Set&lt;State&gt; region, Automaton aL) {
<a class="jxr_linenumber" name="235" href="#235">235</a> 		
<a class="jxr_linenumber" name="236" href="#236">236</a> 		Set&lt;Pair&lt;State,Transition&gt;&gt; result = <strong class="jxr_keyword">new</strong> HashSet&lt;Pair&lt;State,Transition&gt;&gt;();
<a class="jxr_linenumber" name="237" href="#237">237</a> 
<a class="jxr_linenumber" name="238" href="#238">238</a> 		<strong class="jxr_keyword">for</strong> (State s : aL.getStates()) {
<a class="jxr_linenumber" name="239" href="#239">239</a> 			<strong class="jxr_keyword">for</strong> (Transition t : s.getTransitions()) {
<a class="jxr_linenumber" name="240" href="#240">240</a> 				<strong class="jxr_keyword">if</strong> (!region.contains(t.getDest()) &amp;&amp; region.contains(s)) {
<a class="jxr_linenumber" name="241" href="#241">241</a> 					result.add(<strong class="jxr_keyword">new</strong> Pair&lt;State,Transition&gt;(s,t));
<a class="jxr_linenumber" name="242" href="#242">242</a> 
<a class="jxr_linenumber" name="243" href="#243">243</a> 				}
<a class="jxr_linenumber" name="244" href="#244">244</a> 			}
<a class="jxr_linenumber" name="245" href="#245">245</a> 		}
<a class="jxr_linenumber" name="246" href="#246">246</a> 
<a class="jxr_linenumber" name="247" href="#247">247</a> 		<strong class="jxr_keyword">return</strong> result;
<a class="jxr_linenumber" name="248" href="#248">248</a> 	}
<a class="jxr_linenumber" name="249" href="#249">249</a>     
<a class="jxr_linenumber" name="250" href="#250">250</a>     <strong class="jxr_keyword">private</strong> Set&lt;Pair&lt;State,Transition&gt;&gt; findTransitionsLabeledBySymbol(<strong class="jxr_keyword">char</strong> c, Automaton aL) {
<a class="jxr_linenumber" name="251" href="#251">251</a>     	Set&lt;Pair&lt;State,Transition&gt;&gt; result = <strong class="jxr_keyword">new</strong> HashSet&lt;Pair&lt;State,Transition&gt;&gt;();
<a class="jxr_linenumber" name="252" href="#252">252</a>     	
<a class="jxr_linenumber" name="253" href="#253">253</a>     	<strong class="jxr_keyword">for</strong>(State s : aL.getStates()) {
<a class="jxr_linenumber" name="254" href="#254">254</a>         	<strong class="jxr_keyword">for</strong> (Transition t : s.getTransitions()) {
<a class="jxr_linenumber" name="255" href="#255">255</a>         		<strong class="jxr_keyword">char</strong> symb = t.getMin();
<a class="jxr_linenumber" name="256" href="#256">256</a> 				<strong class="jxr_keyword">if</strong> (symb == c) {
<a class="jxr_linenumber" name="257" href="#257">257</a> 					result.add(<strong class="jxr_keyword">new</strong> Pair&lt;State,Transition&gt;(s,t));
<a class="jxr_linenumber" name="258" href="#258">258</a> 				}
<a class="jxr_linenumber" name="259" href="#259">259</a>         	}
<a class="jxr_linenumber" name="260" href="#260">260</a>     	}
<a class="jxr_linenumber" name="261" href="#261">261</a>     	
<a class="jxr_linenumber" name="262" href="#262">262</a>     	<strong class="jxr_keyword">return</strong> result;
<a class="jxr_linenumber" name="263" href="#263">263</a>     }
<a class="jxr_linenumber" name="264" href="#264">264</a>     
<a class="jxr_linenumber" name="265" href="#265">265</a>     <strong class="jxr_keyword">private</strong> <strong class="jxr_keyword">void</strong> expandAndAddRegionsOpt(Activity outActivity, Set&lt;State&gt; region, Automaton aL) {
<a class="jxr_linenumber" name="266" href="#266">266</a>     	
<a class="jxr_linenumber" name="267" href="#267">267</a>     	LOGGER.info(<span class="jxr_string">"Expanding region of the size: "</span> + region.size());
<a class="jxr_linenumber" name="268" href="#268">268</a>     	Character outSymbol = mapOfSymbols.get(outActivity.getLabel());
<a class="jxr_linenumber" name="269" href="#269">269</a> 
<a class="jxr_linenumber" name="270" href="#270">270</a>     	Map&lt;Character, Type&gt; typeOfActivity= <strong class="jxr_keyword">new</strong> HashMap&lt;Character, Type&gt;();
<a class="jxr_linenumber" name="271" href="#271">271</a>     	Set&lt;Pair&lt;State,Transition&gt;&gt; incomingTransitions =  findIncomingTransitions(region, aL);
<a class="jxr_linenumber" name="272" href="#272">272</a>     	
<a class="jxr_linenumber" name="273" href="#273">273</a>     	Set&lt;Character&gt; analyzedInputSymbols = <strong class="jxr_keyword">new</strong> HashSet&lt;Character&gt;();
<a class="jxr_linenumber" name="274" href="#274">274</a>     	
<a class="jxr_linenumber" name="275" href="#275">275</a> 		<strong class="jxr_keyword">for</strong> (Pair&lt;State,Transition&gt; incomingTransition : incomingTransitions) {
<a class="jxr_linenumber" name="276" href="#276">276</a> 			<strong class="jxr_keyword">char</strong> c = incomingTransition.getSecond().getMin();
<a class="jxr_linenumber" name="277" href="#277">277</a> 			LOGGER.info(<span class="jxr_string">"Analysing incoming transitions labeled by "</span> + stringFromChar(c));
<a class="jxr_linenumber" name="278" href="#278">278</a> 			<strong class="jxr_keyword">if</strong> (analyzedInputSymbols.contains(<strong class="jxr_keyword">new</strong> Character(c))) {
<a class="jxr_linenumber" name="279" href="#279">279</a> 				<strong class="jxr_keyword">continue</strong>;
<a class="jxr_linenumber" name="280" href="#280">280</a> 			}
<a class="jxr_linenumber" name="281" href="#281">281</a> 			analyzedInputSymbols.add(<strong class="jxr_keyword">new</strong> Character(c));
<a class="jxr_linenumber" name="282" href="#282">282</a> 			
<a class="jxr_linenumber" name="283" href="#283">283</a> 			Set&lt;Pair&lt;State, Transition&gt;&gt; labeledTransitions = findTransitionsLabeledBySymbol(c, aL);
<a class="jxr_linenumber" name="284" href="#284">284</a> 			<strong class="jxr_keyword">for</strong> (Pair&lt;State, Transition&gt; labeledTransition : labeledTransitions) {
<a class="jxr_linenumber" name="285" href="#285">285</a> 
<a class="jxr_linenumber" name="286" href="#286">286</a> 				<em class="jxr_comment">// IF ENTERS</em>
<a class="jxr_linenumber" name="287" href="#287">287</a> 				<strong class="jxr_keyword">if</strong> ((!region.contains(labeledTransition.getFirst()))
<a class="jxr_linenumber" name="288" href="#288">288</a> 						&amp;&amp; region.contains(labeledTransition.getSecond().getDest())) {
<a class="jxr_linenumber" name="289" href="#289">289</a> 					<em class="jxr_comment">// Do nothing, all good</em>
<a class="jxr_linenumber" name="290" href="#290">290</a> 					LOGGER.info(<span class="jxr_string">"ENTERS"</span>);
<a class="jxr_linenumber" name="291" href="#291">291</a> 				}
<a class="jxr_linenumber" name="292" href="#292">292</a> 
<a class="jxr_linenumber" name="293" href="#293">293</a> 				<em class="jxr_comment">// IF EXITS</em>
<a class="jxr_linenumber" name="294" href="#294">294</a> 				<strong class="jxr_keyword">if</strong> ((region.contains(labeledTransition.getFirst()))
<a class="jxr_linenumber" name="295" href="#295">295</a> 						&amp;&amp; !region.contains(labeledTransition.getSecond().getDest())) {
<a class="jxr_linenumber" name="296" href="#296">296</a> 
<a class="jxr_linenumber" name="297" href="#297">297</a> 					LOGGER.info(<span class="jxr_string">"EXITS"</span>);
<a class="jxr_linenumber" name="298" href="#298">298</a> 					<em class="jxr_comment">//Adding entering/exiting transitions labeled by c inside				</em>
<a class="jxr_linenumber" name="299" href="#299">299</a> 					Set&lt;Pair&lt;State, Transition&gt;&gt; labeledTransitions2 = findTransitionsLabeledBySymbol(c, aL);
<a class="jxr_linenumber" name="300" href="#300">300</a> 					<strong class="jxr_keyword">for</strong>(Pair&lt;State, Transition&gt; labeledTransition2 : labeledTransitions2) {
<a class="jxr_linenumber" name="301" href="#301">301</a> 						<strong class="jxr_keyword">if</strong> ((region.contains(labeledTransition2.getFirst()))
<a class="jxr_linenumber" name="302" href="#302">302</a> 								|| region.contains(labeledTransition2.getSecond().getDest())) {
<a class="jxr_linenumber" name="303" href="#303">303</a> 							region.add(labeledTransition2.getFirst());
<a class="jxr_linenumber" name="304" href="#304">304</a> 							region.add(labeledTransition2.getSecond().getDest());
<a class="jxr_linenumber" name="305" href="#305">305</a> 						}
<a class="jxr_linenumber" name="306" href="#306">306</a> 					}
<a class="jxr_linenumber" name="307" href="#307">307</a> 					<strong class="jxr_keyword">if</strong>(!allRegions.contains(region)) {
<a class="jxr_linenumber" name="308" href="#308">308</a> 						allRegions.add(region);
<a class="jxr_linenumber" name="309" href="#309">309</a> 						expandAndAddRegionsOpt(outActivity, region, aL);
<a class="jxr_linenumber" name="310" href="#310">310</a> 					}
<a class="jxr_linenumber" name="311" href="#311">311</a> 					<strong class="jxr_keyword">return</strong>;
<a class="jxr_linenumber" name="312" href="#312">312</a> 				}
<a class="jxr_linenumber" name="313" href="#313">313</a> 				
<a class="jxr_linenumber" name="314" href="#314">314</a> 				<em class="jxr_comment">// IF DO NOT CROSS (inside)</em>
<a class="jxr_linenumber" name="315" href="#315">315</a> 				<strong class="jxr_keyword">if</strong> ((region.contains(labeledTransition.getFirst()))
<a class="jxr_linenumber" name="316" href="#316">316</a> 						&amp;&amp; region.contains(labeledTransition.getSecond().getDest())) {
<a class="jxr_linenumber" name="317" href="#317">317</a> 					
<a class="jxr_linenumber" name="318" href="#318">318</a> 					LOGGER.info(<span class="jxr_string">"INSIDE"</span>);
<a class="jxr_linenumber" name="319" href="#319">319</a> 					<em class="jxr_comment">//Adding entering/exiting transitions labeled by c inside</em>
<a class="jxr_linenumber" name="320" href="#320">320</a> 					Set&lt;Pair&lt;State, Transition&gt;&gt; labeledTransitions2 = findTransitionsLabeledBySymbol(c, aL);
<a class="jxr_linenumber" name="321" href="#321">321</a> 					<strong class="jxr_keyword">for</strong>(Pair&lt;State, Transition&gt; labeledTransition2 : labeledTransitions2) {
<a class="jxr_linenumber" name="322" href="#322">322</a> 						<strong class="jxr_keyword">if</strong> ((region.contains(labeledTransition2.getFirst()))
<a class="jxr_linenumber" name="323" href="#323">323</a> 								|| region.contains(labeledTransition2.getSecond().getDest())) {
<a class="jxr_linenumber" name="324" href="#324">324</a> 							region.add(labeledTransition2.getFirst());
<a class="jxr_linenumber" name="325" href="#325">325</a> 							region.add(labeledTransition2.getSecond().getDest());
<a class="jxr_linenumber" name="326" href="#326">326</a> 						}
<a class="jxr_linenumber" name="327" href="#327">327</a> 					}
<a class="jxr_linenumber" name="328" href="#328">328</a> 					<strong class="jxr_keyword">if</strong>(!allRegions.contains(region)) {
<a class="jxr_linenumber" name="329" href="#329">329</a> 						allRegions.add(region);
<a class="jxr_linenumber" name="330" href="#330">330</a> 						expandAndAddRegionsOpt(outActivity, region, aL);
<a class="jxr_linenumber" name="331" href="#331">331</a> 					}
<a class="jxr_linenumber" name="332" href="#332">332</a> 					<strong class="jxr_keyword">return</strong>;
<a class="jxr_linenumber" name="333" href="#333">333</a> 				}
<a class="jxr_linenumber" name="334" href="#334">334</a> 				
<a class="jxr_linenumber" name="335" href="#335">335</a> <em class="jxr_comment">//				// Check that EXIT or INSIDE exist</em>
<a class="jxr_linenumber" name="336" href="#336">336</a> <em class="jxr_comment">//				boolean existsEnterOrOutside = false;</em>
<a class="jxr_linenumber" name="337" href="#337">337</a> <em class="jxr_comment">//				Set&lt;Pair&lt;State, Transition&gt;&gt; labeledTransitions2 = findTransitionsLabeledBySymbol(c, aL);</em>
<a class="jxr_linenumber" name="338" href="#338">338</a> <em class="jxr_comment">//				for(Pair&lt;State, Transition&gt; labeledTransition2 : labeledTransitions2) {</em>
<a class="jxr_linenumber" name="339" href="#339">339</a> <em class="jxr_comment">//					if (region.contains(labeledTransition2.getFirst())) {</em>
<a class="jxr_linenumber" name="340" href="#340">340</a> <em class="jxr_comment">//						existsEnterOrOutside = true;</em>
<a class="jxr_linenumber" name="341" href="#341">341</a> <em class="jxr_comment">//					}</em>
<a class="jxr_linenumber" name="342" href="#342">342</a> <em class="jxr_comment">//				}</em>
<a class="jxr_linenumber" name="343" href="#343">343</a> <em class="jxr_comment">//				</em>
<a class="jxr_linenumber" name="344" href="#344">344</a> <em class="jxr_comment">//				if(existsEnterOrOutside) {</em>
<a class="jxr_linenumber" name="345" href="#345">345</a> <em class="jxr_comment">//					continue;</em>
<a class="jxr_linenumber" name="346" href="#346">346</a> <em class="jxr_comment">//				}	</em>
<a class="jxr_linenumber" name="347" href="#347">347</a> 				
<a class="jxr_linenumber" name="348" href="#348">348</a> 			}
<a class="jxr_linenumber" name="349" href="#349">349</a> 			
<a class="jxr_linenumber" name="350" href="#350">350</a> 			labeledTransitions = findTransitionsLabeledBySymbol(c, aL);
<a class="jxr_linenumber" name="351" href="#351">351</a> 			<strong class="jxr_keyword">for</strong> (Pair&lt;State, Transition&gt; labeledTransition : labeledTransitions) {
<a class="jxr_linenumber" name="352" href="#352">352</a> 
<a class="jxr_linenumber" name="353" href="#353">353</a> 				<em class="jxr_comment">// IF DO NOT CROSS (outside)</em>
<a class="jxr_linenumber" name="354" href="#354">354</a> 				<strong class="jxr_keyword">if</strong> ((!region.contains(labeledTransition.getFirst()))
<a class="jxr_linenumber" name="355" href="#355">355</a> 						&amp;&amp; !region.contains(labeledTransition.getSecond().getDest())) {
<a class="jxr_linenumber" name="356" href="#356">356</a> 					
<a class="jxr_linenumber" name="357" href="#357">357</a> 					LOGGER.info(<span class="jxr_string">"OUTSIDE"</span>);
<a class="jxr_linenumber" name="358" href="#358">358</a> 					Set&lt;Pair&lt;State, Transition&gt;&gt; labeledTransitions2 = findTransitionsLabeledBySymbol(c, aL);
<a class="jxr_linenumber" name="359" href="#359">359</a> 					
<a class="jxr_linenumber" name="360" href="#360">360</a> 					<em class="jxr_comment">// Making DO NOT CROSS</em>
<a class="jxr_linenumber" name="361" href="#361">361</a> 					LOGGER.info(<span class="jxr_string">"MAKING DO NOT CROSS"</span>);
<a class="jxr_linenumber" name="362" href="#362">362</a> 					Set&lt;State&gt; newRegion = <strong class="jxr_keyword">new</strong> HashSet&lt;State&gt;();
<a class="jxr_linenumber" name="363" href="#363">363</a> 					newRegion.addAll(region);
<a class="jxr_linenumber" name="364" href="#364">364</a> 					<strong class="jxr_keyword">for</strong> (Pair&lt;State, Transition&gt; labeledTransition2 : labeledTransitions2) {
<a class="jxr_linenumber" name="365" href="#365">365</a> 						<strong class="jxr_keyword">if</strong> (region.contains(labeledTransition2.getSecond().getDest())) {
<a class="jxr_linenumber" name="366" href="#366">366</a> 							newRegion.add(labeledTransition2.getFirst());
<a class="jxr_linenumber" name="367" href="#367">367</a> 						}
<a class="jxr_linenumber" name="368" href="#368">368</a> 					}
<a class="jxr_linenumber" name="369" href="#369">369</a> 					<strong class="jxr_keyword">if</strong> (!allRegions.contains(newRegion)) {
<a class="jxr_linenumber" name="370" href="#370">370</a> 						allRegions.add(newRegion);
<a class="jxr_linenumber" name="371" href="#371">371</a> 						expandAndAddRegionsOpt(outActivity, newRegion, aL);
<a class="jxr_linenumber" name="372" href="#372">372</a> 					}
<a class="jxr_linenumber" name="373" href="#373">373</a> 
<a class="jxr_linenumber" name="374" href="#374">374</a> 					<em class="jxr_comment">// Making ENTER</em>
<a class="jxr_linenumber" name="375" href="#375">375</a> 					LOGGER.info(<span class="jxr_string">"MAKING ENTER"</span>);
<a class="jxr_linenumber" name="376" href="#376">376</a> 					<strong class="jxr_keyword">boolean</strong> changed = false;
<a class="jxr_linenumber" name="377" href="#377">377</a> 					<strong class="jxr_keyword">for</strong> (Pair&lt;State, Transition&gt; labeledTransition2 : labeledTransitions2) {
<a class="jxr_linenumber" name="378" href="#378">378</a> 						<strong class="jxr_keyword">if</strong>(!region.contains(labeledTransition2.getSecond().getDest())) {
<a class="jxr_linenumber" name="379" href="#379">379</a> 							region.add(labeledTransition2.getSecond().getDest());
<a class="jxr_linenumber" name="380" href="#380">380</a> 							changed = <strong class="jxr_keyword">true</strong>;
<a class="jxr_linenumber" name="381" href="#381">381</a> 						}
<a class="jxr_linenumber" name="382" href="#382">382</a> 					}
<a class="jxr_linenumber" name="383" href="#383">383</a> 					<strong class="jxr_keyword">if</strong>(changed) {
<a class="jxr_linenumber" name="384" href="#384">384</a> 						expandAndAddRegionsOpt(outActivity, region, aL);
<a class="jxr_linenumber" name="385" href="#385">385</a> 						<strong class="jxr_keyword">return</strong>;
<a class="jxr_linenumber" name="386" href="#386">386</a> 					}
<a class="jxr_linenumber" name="387" href="#387">387</a> 				}
<a class="jxr_linenumber" name="388" href="#388">388</a> 			}
<a class="jxr_linenumber" name="389" href="#389">389</a> 		}
<a class="jxr_linenumber" name="390" href="#390">390</a> 			
<a class="jxr_linenumber" name="391" href="#391">391</a> 		Set&lt;Character&gt; analyzedOutputSymbols = <strong class="jxr_keyword">new</strong> HashSet&lt;Character&gt;();
<a class="jxr_linenumber" name="392" href="#392">392</a> 		Set&lt;Pair&lt;State,Transition&gt;&gt; outgoingTransitions =  findOutgoingTransitions(region, aL);
<a class="jxr_linenumber" name="393" href="#393">393</a> 		<strong class="jxr_keyword">for</strong> (Pair&lt;State,Transition&gt; outgoingTransition : outgoingTransitions) {
<a class="jxr_linenumber" name="394" href="#394">394</a> 			<strong class="jxr_keyword">char</strong> c = outgoingTransition.getSecond().getMin();
<a class="jxr_linenumber" name="395" href="#395">395</a> 			
<a class="jxr_linenumber" name="396" href="#396">396</a> 			LOGGER.info(<span class="jxr_string">"Analysing outgoing transitions labeled by "</span> + stringFromChar(c));
<a class="jxr_linenumber" name="397" href="#397">397</a> 			<strong class="jxr_keyword">if</strong> (analyzedOutputSymbols.contains(<strong class="jxr_keyword">new</strong> Character(c))) {
<a class="jxr_linenumber" name="398" href="#398">398</a> 				<strong class="jxr_keyword">continue</strong>;
<a class="jxr_linenumber" name="399" href="#399">399</a> 			}
<a class="jxr_linenumber" name="400" href="#400">400</a> 			analyzedOutputSymbols.add(<strong class="jxr_keyword">new</strong> Character(c));
<a class="jxr_linenumber" name="401" href="#401">401</a> 			
<a class="jxr_linenumber" name="402" href="#402">402</a> 			Set&lt;Pair&lt;State, Transition&gt;&gt; labeledTransitions = findTransitionsLabeledBySymbol(c, aL);
<a class="jxr_linenumber" name="403" href="#403">403</a> 			<strong class="jxr_keyword">for</strong> (Pair&lt;State, Transition&gt; labeledTransition : labeledTransitions) {
<a class="jxr_linenumber" name="404" href="#404">404</a> 
<a class="jxr_linenumber" name="405" href="#405">405</a> 				<em class="jxr_comment">// IF EXITS</em>
<a class="jxr_linenumber" name="406" href="#406">406</a> 				<strong class="jxr_keyword">if</strong> ((region.contains(labeledTransition.getFirst()))
<a class="jxr_linenumber" name="407" href="#407">407</a> 						&amp;&amp; !region.contains(labeledTransition.getSecond().getDest())) {
<a class="jxr_linenumber" name="408" href="#408">408</a> 					<em class="jxr_comment">// Do nothing, all good</em>
<a class="jxr_linenumber" name="409" href="#409">409</a> 				}
<a class="jxr_linenumber" name="410" href="#410">410</a> 
<a class="jxr_linenumber" name="411" href="#411">411</a> 				<em class="jxr_comment">// IF ENTERS</em>
<a class="jxr_linenumber" name="412" href="#412">412</a> 				<strong class="jxr_keyword">if</strong> ((!region.contains(labeledTransition.getFirst()))
<a class="jxr_linenumber" name="413" href="#413">413</a> 						&amp;&amp; region.contains(labeledTransition.getSecond().getDest())) {
<a class="jxr_linenumber" name="414" href="#414">414</a> 
<a class="jxr_linenumber" name="415" href="#415">415</a> 					
<a class="jxr_linenumber" name="416" href="#416">416</a> 					<em class="jxr_comment">//Adding entering/exiting transitions labeled by c inside</em>
<a class="jxr_linenumber" name="417" href="#417">417</a> 					Set&lt;Pair&lt;State, Transition&gt;&gt; labeledTransitions2 = findTransitionsLabeledBySymbol(c, aL);
<a class="jxr_linenumber" name="418" href="#418">418</a> 					<strong class="jxr_keyword">for</strong>(Pair&lt;State, Transition&gt; labeledTransition2 : labeledTransitions2) {
<a class="jxr_linenumber" name="419" href="#419">419</a> 						<strong class="jxr_keyword">if</strong> ((region.contains(labeledTransition2.getFirst()))
<a class="jxr_linenumber" name="420" href="#420">420</a> 								|| region.contains(labeledTransition2.getSecond().getDest())) {
<a class="jxr_linenumber" name="421" href="#421">421</a> 							region.add(labeledTransition2.getFirst());
<a class="jxr_linenumber" name="422" href="#422">422</a> 							region.add(labeledTransition2.getSecond().getDest());
<a class="jxr_linenumber" name="423" href="#423">423</a> 						}
<a class="jxr_linenumber" name="424" href="#424">424</a> 					}
<a class="jxr_linenumber" name="425" href="#425">425</a> 					<strong class="jxr_keyword">if</strong>(!allRegions.contains(region)) {
<a class="jxr_linenumber" name="426" href="#426">426</a> 						allRegions.add(region);
<a class="jxr_linenumber" name="427" href="#427">427</a> 						expandAndAddRegionsOpt(outActivity, region, aL);
<a class="jxr_linenumber" name="428" href="#428">428</a> 					}
<a class="jxr_linenumber" name="429" href="#429">429</a> 					<strong class="jxr_keyword">return</strong>;
<a class="jxr_linenumber" name="430" href="#430">430</a> 				}
<a class="jxr_linenumber" name="431" href="#431">431</a> 				
<a class="jxr_linenumber" name="432" href="#432">432</a> 				<em class="jxr_comment">// IF DO NOT CROSS (inside)</em>
<a class="jxr_linenumber" name="433" href="#433">433</a> 				<strong class="jxr_keyword">if</strong> ((region.contains(labeledTransition.getFirst()))
<a class="jxr_linenumber" name="434" href="#434">434</a> 						&amp;&amp; region.contains(labeledTransition.getSecond().getDest())) {
<a class="jxr_linenumber" name="435" href="#435">435</a> 					
<a class="jxr_linenumber" name="436" href="#436">436</a> 					<em class="jxr_comment">/*<em class="jxr_comment"> OPTIMIZATION : If OCCASIONALLY outActivity is inside, then stop and return*/</em></em>
<a class="jxr_linenumber" name="437" href="#437">437</a> 					<strong class="jxr_keyword">if</strong>(outSymbol.equals(<strong class="jxr_keyword">new</strong> Character(c))) {
<a class="jxr_linenumber" name="438" href="#438">438</a> 						<strong class="jxr_keyword">return</strong>;
<a class="jxr_linenumber" name="439" href="#439">439</a> 					}
<a class="jxr_linenumber" name="440" href="#440">440</a> 					
<a class="jxr_linenumber" name="441" href="#441">441</a> 					<em class="jxr_comment">//Adding entering/exiting transitions labeled by c inside</em>
<a class="jxr_linenumber" name="442" href="#442">442</a> 					Set&lt;Pair&lt;State, Transition&gt;&gt; labeledTransitions2 = findTransitionsLabeledBySymbol(c, aL);
<a class="jxr_linenumber" name="443" href="#443">443</a> 					<strong class="jxr_keyword">for</strong>(Pair&lt;State, Transition&gt; labeledTransition2 : labeledTransitions2) {
<a class="jxr_linenumber" name="444" href="#444">444</a> 						<strong class="jxr_keyword">if</strong> ((region.contains(labeledTransition2.getFirst()))
<a class="jxr_linenumber" name="445" href="#445">445</a> 								|| region.contains(labeledTransition2.getSecond().getDest())) {
<a class="jxr_linenumber" name="446" href="#446">446</a> 							region.add(labeledTransition2.getFirst());
<a class="jxr_linenumber" name="447" href="#447">447</a> 							region.add(labeledTransition2.getSecond().getDest());
<a class="jxr_linenumber" name="448" href="#448">448</a> 						}
<a class="jxr_linenumber" name="449" href="#449">449</a> 					}
<a class="jxr_linenumber" name="450" href="#450">450</a> 					<strong class="jxr_keyword">if</strong>(!allRegions.contains(region)) {
<a class="jxr_linenumber" name="451" href="#451">451</a> 						allRegions.add(region);
<a class="jxr_linenumber" name="452" href="#452">452</a> 						expandAndAddRegionsOpt(outActivity, region, aL);
<a class="jxr_linenumber" name="453" href="#453">453</a> 					}
<a class="jxr_linenumber" name="454" href="#454">454</a> 					<strong class="jxr_keyword">return</strong>;
<a class="jxr_linenumber" name="455" href="#455">455</a> 				
<a class="jxr_linenumber" name="456" href="#456">456</a> 				}
<a class="jxr_linenumber" name="457" href="#457">457</a> 				
<a class="jxr_linenumber" name="458" href="#458">458</a> <em class="jxr_comment">//				// Check that either EXIT or OUTSIDE exist</em>
<a class="jxr_linenumber" name="459" href="#459">459</a> <em class="jxr_comment">//				boolean existsExitOrOutside = false;</em>
<a class="jxr_linenumber" name="460" href="#460">460</a> <em class="jxr_comment">//				Set&lt;Pair&lt;State, Transition&gt;&gt; labeledTransitions2 = findTransitionsLabeledBySymbol(c, aL);</em>
<a class="jxr_linenumber" name="461" href="#461">461</a> <em class="jxr_comment">//				for(Pair&lt;State, Transition&gt; labeledTransition2 : labeledTransitions2) {</em>
<a class="jxr_linenumber" name="462" href="#462">462</a> <em class="jxr_comment">//					if (!region.contains(labeledTransition2.getSecond().getDest())) {</em>
<a class="jxr_linenumber" name="463" href="#463">463</a> <em class="jxr_comment">//						existsExitOrOutside = true;</em>
<a class="jxr_linenumber" name="464" href="#464">464</a> <em class="jxr_comment">//					}</em>
<a class="jxr_linenumber" name="465" href="#465">465</a> <em class="jxr_comment">//				}</em>
<a class="jxr_linenumber" name="466" href="#466">466</a> <em class="jxr_comment">//				</em>
<a class="jxr_linenumber" name="467" href="#467">467</a> <em class="jxr_comment">//				if(existsExitOrOutside) {</em>
<a class="jxr_linenumber" name="468" href="#468">468</a> <em class="jxr_comment">//					continue;</em>
<a class="jxr_linenumber" name="469" href="#469">469</a> <em class="jxr_comment">//				}</em>
<a class="jxr_linenumber" name="470" href="#470">470</a> 			}
<a class="jxr_linenumber" name="471" href="#471">471</a> 			
<a class="jxr_linenumber" name="472" href="#472">472</a> 			labeledTransitions = findTransitionsLabeledBySymbol(c, aL);
<a class="jxr_linenumber" name="473" href="#473">473</a> 			<strong class="jxr_keyword">for</strong> (Pair&lt;State, Transition&gt; labeledTransition : labeledTransitions) {
<a class="jxr_linenumber" name="474" href="#474">474</a> 					
<a class="jxr_linenumber" name="475" href="#475">475</a> 				<em class="jxr_comment">// IF DO NOT CROSS (outside)</em>
<a class="jxr_linenumber" name="476" href="#476">476</a> 				<strong class="jxr_keyword">if</strong> ((!region.contains(labeledTransition.getFirst()))
<a class="jxr_linenumber" name="477" href="#477">477</a> 						&amp;&amp; !region.contains(labeledTransition.getSecond().getDest())) {		
<a class="jxr_linenumber" name="478" href="#478">478</a> 					Set&lt;Pair&lt;State, Transition&gt;&gt; labeledTransitions2 = findTransitionsLabeledBySymbol(c, aL);
<a class="jxr_linenumber" name="479" href="#479">479</a> 					<em class="jxr_comment">// Making DO NOT CROSS</em>
<a class="jxr_linenumber" name="480" href="#480">480</a> 					Set&lt;State&gt; newRegion = <strong class="jxr_keyword">new</strong> HashSet&lt;State&gt;();
<a class="jxr_linenumber" name="481" href="#481">481</a> 					newRegion.addAll(region);
<a class="jxr_linenumber" name="482" href="#482">482</a> 					<strong class="jxr_keyword">for</strong>(Pair&lt;State, Transition&gt; labeledTransition2 : labeledTransitions2) {
<a class="jxr_linenumber" name="483" href="#483">483</a> 						<strong class="jxr_keyword">if</strong> (region.contains(labeledTransition2.getFirst())) {
<a class="jxr_linenumber" name="484" href="#484">484</a> 							newRegion.add(labeledTransition2.getSecond().getDest());
<a class="jxr_linenumber" name="485" href="#485">485</a> 						}
<a class="jxr_linenumber" name="486" href="#486">486</a> 					}
<a class="jxr_linenumber" name="487" href="#487">487</a> 					<strong class="jxr_keyword">if</strong>(!allRegions.contains(newRegion)) {
<a class="jxr_linenumber" name="488" href="#488">488</a> 						allRegions.add(newRegion);
<a class="jxr_linenumber" name="489" href="#489">489</a> 						expandAndAddRegionsOpt(outActivity, newRegion, aL);
<a class="jxr_linenumber" name="490" href="#490">490</a> 					}
<a class="jxr_linenumber" name="491" href="#491">491</a> 					
<a class="jxr_linenumber" name="492" href="#492">492</a> 					
<a class="jxr_linenumber" name="493" href="#493">493</a> 					<em class="jxr_comment">// Making EXIT</em>
<a class="jxr_linenumber" name="494" href="#494">494</a> 					<strong class="jxr_keyword">boolean</strong> changed = false;
<a class="jxr_linenumber" name="495" href="#495">495</a> 					<strong class="jxr_keyword">for</strong>(Pair&lt;State, Transition&gt; labeledTransition2 : labeledTransitions2) {
<a class="jxr_linenumber" name="496" href="#496">496</a> 						<strong class="jxr_keyword">if</strong>(!region.contains(labeledTransition2.getFirst())) {
<a class="jxr_linenumber" name="497" href="#497">497</a> 							region.add(labeledTransition2.getFirst());
<a class="jxr_linenumber" name="498" href="#498">498</a> 							changed = <strong class="jxr_keyword">true</strong>;
<a class="jxr_linenumber" name="499" href="#499">499</a> 						}
<a class="jxr_linenumber" name="500" href="#500">500</a> 					}
<a class="jxr_linenumber" name="501" href="#501">501</a> 					<strong class="jxr_keyword">if</strong>(changed) {
<a class="jxr_linenumber" name="502" href="#502">502</a> 						expandAndAddRegionsOpt(outActivity, region, aL);
<a class="jxr_linenumber" name="503" href="#503">503</a> 						<strong class="jxr_keyword">return</strong>;
<a class="jxr_linenumber" name="504" href="#504">504</a> 					}		
<a class="jxr_linenumber" name="505" href="#505">505</a> 				}
<a class="jxr_linenumber" name="506" href="#506">506</a> 			}
<a class="jxr_linenumber" name="507" href="#507">507</a> 		}
<a class="jxr_linenumber" name="508" href="#508">508</a>     	LOGGER.info(<span class="jxr_string">"New region found "</span> + region);
<a class="jxr_linenumber" name="509" href="#509">509</a> <em class="jxr_comment">//    	Messagebox.show("New region found: " + region);</em>
<a class="jxr_linenumber" name="510" href="#510">510</a>     	incomingTransitions =  findIncomingTransitions(region, aL);
<a class="jxr_linenumber" name="511" href="#511">511</a>     	String in = <span class="jxr_string">""</span>;
<a class="jxr_linenumber" name="512" href="#512">512</a>     	Set&lt;String&gt; inStrings = <strong class="jxr_keyword">new</strong> HashSet&lt;String&gt;();
<a class="jxr_linenumber" name="513" href="#513">513</a>     	<strong class="jxr_keyword">for</strong>(Pair&lt;State,Transition&gt; t : incomingTransitions) {
<a class="jxr_linenumber" name="514" href="#514">514</a>     		<strong class="jxr_keyword">char</strong> c =  t.getSecond().getMax();
<a class="jxr_linenumber" name="515" href="#515">515</a>     		String inString = stringFromChar(c);
<a class="jxr_linenumber" name="516" href="#516">516</a>     		<strong class="jxr_keyword">if</strong>(!inStrings.contains(inString)) {
<a class="jxr_linenumber" name="517" href="#517">517</a>     			in += inString + <span class="jxr_string">";"</span>;
<a class="jxr_linenumber" name="518" href="#518">518</a>     			inStrings.add(inString);
<a class="jxr_linenumber" name="519" href="#519">519</a>     		}
<a class="jxr_linenumber" name="520" href="#520">520</a>     			
<a class="jxr_linenumber" name="521" href="#521">521</a>     	}
<a class="jxr_linenumber" name="522" href="#522">522</a>     	LOGGER.info(<span class="jxr_string">"In: "</span> + in);
<a class="jxr_linenumber" name="523" href="#523">523</a>     	outgoingTransitions = findOutgoingTransitions(region, aL);
<a class="jxr_linenumber" name="524" href="#524">524</a>     	String out = <span class="jxr_string">""</span>;
<a class="jxr_linenumber" name="525" href="#525">525</a>     	Set&lt;String&gt; outStrings = <strong class="jxr_keyword">new</strong> HashSet&lt;String&gt;();
<a class="jxr_linenumber" name="526" href="#526">526</a>     	<strong class="jxr_keyword">for</strong>(Pair&lt;State,Transition&gt; t : outgoingTransitions) {
<a class="jxr_linenumber" name="527" href="#527">527</a>     		<strong class="jxr_keyword">char</strong> c =  t.getSecond().getMax();
<a class="jxr_linenumber" name="528" href="#528">528</a>     		String outString = stringFromChar(c);
<a class="jxr_linenumber" name="529" href="#529">529</a>     		<strong class="jxr_keyword">if</strong>(!outStrings.contains(outString)) {
<a class="jxr_linenumber" name="530" href="#530">530</a>     			out += outString + <span class="jxr_string">";"</span>;
<a class="jxr_linenumber" name="531" href="#531">531</a>     			outStrings.add(outString);
<a class="jxr_linenumber" name="532" href="#532">532</a>     		}
<a class="jxr_linenumber" name="533" href="#533">533</a>     	}
<a class="jxr_linenumber" name="534" href="#534">534</a>     	LOGGER.info(<span class="jxr_string">"Out: "</span> + out);
<a class="jxr_linenumber" name="535" href="#535">535</a>     	
<a class="jxr_linenumber" name="536" href="#536">536</a>     	<strong class="jxr_keyword">return</strong>;
<a class="jxr_linenumber" name="537" href="#537">537</a>     }
<a class="jxr_linenumber" name="538" href="#538">538</a>     
<a class="jxr_linenumber" name="539" href="#539">539</a>     <strong class="jxr_keyword">private</strong> String stringFromChar(<strong class="jxr_keyword">char</strong> c) {
<a class="jxr_linenumber" name="540" href="#540">540</a>     	String result = <span class="jxr_string">""</span>;
<a class="jxr_linenumber" name="541" href="#541">541</a>     	
<a class="jxr_linenumber" name="542" href="#542">542</a>     	<strong class="jxr_keyword">for</strong> (String s : mapOfSymbols.keySet()) {
<a class="jxr_linenumber" name="543" href="#543">543</a>     		<strong class="jxr_keyword">if</strong>(mapOfSymbols.get(s) == c) {
<a class="jxr_linenumber" name="544" href="#544">544</a>     			result = s;
<a class="jxr_linenumber" name="545" href="#545">545</a>     		}
<a class="jxr_linenumber" name="546" href="#546">546</a>     	}
<a class="jxr_linenumber" name="547" href="#547">547</a>     	
<a class="jxr_linenumber" name="548" href="#548">548</a>     	<strong class="jxr_keyword">return</strong> result;
<a class="jxr_linenumber" name="549" href="#549">549</a>     	
<a class="jxr_linenumber" name="550" href="#550">550</a>     }
<a class="jxr_linenumber" name="551" href="#551">551</a>     
<a class="jxr_linenumber" name="552" href="#552">552</a>     <strong class="jxr_keyword">private</strong> <strong class="jxr_keyword">void</strong> expandAndAddRegions(Activity outActivity, Set&lt;Activity&gt; freeChoiceCandidates, Set&lt;State&gt; region, Automaton aL) {
<a class="jxr_linenumber" name="553" href="#553">553</a>     	
<a class="jxr_linenumber" name="554" href="#554">554</a> <em class="jxr_comment">//    	Messagebox.show("Activity  " + outActivity.getLabel());</em>
<a class="jxr_linenumber" name="555" href="#555">555</a> <em class="jxr_comment">//    	Messagebox.show("Expanding region " + region);</em>
<a class="jxr_linenumber" name="556" href="#556">556</a>     	LOGGER.info(<span class="jxr_string">"Expanding region "</span> + region);
<a class="jxr_linenumber" name="557" href="#557">557</a>     	Map&lt;Character, Type&gt; typeOfActivity= <strong class="jxr_keyword">new</strong> HashMap&lt;Character, Type&gt;();
<a class="jxr_linenumber" name="558" href="#558">558</a>     	Character outSymbol = mapOfSymbols.get(outActivity.getLabel());
<a class="jxr_linenumber" name="559" href="#559">559</a>     	
<a class="jxr_linenumber" name="560" href="#560">560</a>     	Set&lt;Character&gt; freeChoiceSymb = <strong class="jxr_keyword">new</strong> HashSet&lt;Character&gt;();
<a class="jxr_linenumber" name="561" href="#561">561</a>     	<strong class="jxr_keyword">for</strong>(Activity a : freeChoiceCandidates) {
<a class="jxr_linenumber" name="562" href="#562">562</a>     		freeChoiceSymb.add(mapOfSymbols.get(a.getLabel()));
<a class="jxr_linenumber" name="563" href="#563">563</a>     	}
<a class="jxr_linenumber" name="564" href="#564">564</a>     	
<a class="jxr_linenumber" name="565" href="#565">565</a>     	Set&lt;State&gt; outStates = <strong class="jxr_keyword">new</strong> HashSet&lt;State&gt;();
<a class="jxr_linenumber" name="566" href="#566">566</a>     	<strong class="jxr_keyword">for</strong>(State s : aL.getStates()) {
<a class="jxr_linenumber" name="567" href="#567">567</a>     		<strong class="jxr_keyword">for</strong> (Transition t : s.getTransitions()) {
<a class="jxr_linenumber" name="568" href="#568">568</a>     			<strong class="jxr_keyword">char</strong> maxChar = t.getMax();
<a class="jxr_linenumber" name="569" href="#569">569</a>     			<strong class="jxr_keyword">char</strong> minChar = t.getMin();
<a class="jxr_linenumber" name="570" href="#570">570</a>     			<strong class="jxr_keyword">if</strong> ((outSymbol &gt;= minChar) &amp;&amp; (outSymbol &lt;= maxChar)) {
<a class="jxr_linenumber" name="571" href="#571">571</a>     				outStates.add(t.getDest());
<a class="jxr_linenumber" name="572" href="#572">572</a>     			}
<a class="jxr_linenumber" name="573" href="#573">573</a>     		}
<a class="jxr_linenumber" name="574" href="#574">574</a>     	}
<a class="jxr_linenumber" name="575" href="#575">575</a>     	
<a class="jxr_linenumber" name="576" href="#576">576</a>     	<strong class="jxr_keyword">for</strong>(State s : aL.getStates()) {
<a class="jxr_linenumber" name="577" href="#577">577</a>     		<strong class="jxr_keyword">for</strong> (Transition t : s.getTransitions()) {
<a class="jxr_linenumber" name="578" href="#578">578</a>     			<strong class="jxr_keyword">char</strong> maxChar = t.getMax();
<a class="jxr_linenumber" name="579" href="#579">579</a>     			<strong class="jxr_keyword">char</strong> minChar = t.getMin();
<a class="jxr_linenumber" name="580" href="#580">580</a>     			<strong class="jxr_keyword">if</strong>(!region.contains(s)) {
<a class="jxr_linenumber" name="581" href="#581">581</a> 	    			<strong class="jxr_keyword">if</strong> ((freeChoiceSymb.contains(maxChar)) &amp;&amp; freeChoiceSymb.contains(minChar)) {
<a class="jxr_linenumber" name="582" href="#582">582</a> 	    				outStates.add(s);
<a class="jxr_linenumber" name="583" href="#583">583</a> 	    			}
<a class="jxr_linenumber" name="584" href="#584">584</a>     			}
<a class="jxr_linenumber" name="585" href="#585">585</a>     		}
<a class="jxr_linenumber" name="586" href="#586">586</a>     	}
<a class="jxr_linenumber" name="587" href="#587">587</a>     	
<a class="jxr_linenumber" name="588" href="#588">588</a>     	
<a class="jxr_linenumber" name="589" href="#589">589</a>     	Set&lt;Character&gt; possibleOutgoingCharaters = <strong class="jxr_keyword">new</strong> HashSet&lt;Character&gt;();
<a class="jxr_linenumber" name="590" href="#590">590</a>     	<strong class="jxr_keyword">for</strong>(Activity possibleOutActivity: freeChoiceCandidates) {
<a class="jxr_linenumber" name="591" href="#591">591</a>     		possibleOutgoingCharaters.add(mapOfSymbols.get(possibleOutActivity.getLabel()));
<a class="jxr_linenumber" name="592" href="#592">592</a>     	}
<a class="jxr_linenumber" name="593" href="#593">593</a>     	
<a class="jxr_linenumber" name="594" href="#594">594</a> <em class="jxr_comment">//    	Messagebox.show("Out states " + outStates);</em>
<a class="jxr_linenumber" name="595" href="#595">595</a>     	
<a class="jxr_linenumber" name="596" href="#596">596</a>     	<strong class="jxr_keyword">for</strong>(State s : aL.getStates()) {
<a class="jxr_linenumber" name="597" href="#597">597</a>     		LOGGER.info(<span class="jxr_string">"Type of activity "</span> + typeOfActivity);
<a class="jxr_linenumber" name="598" href="#598">598</a>     		<strong class="jxr_keyword">for</strong> (Transition t : s.getTransitions()) {
<a class="jxr_linenumber" name="599" href="#599">599</a>     			<strong class="jxr_keyword">char</strong> maxChar = t.getMax();
<a class="jxr_linenumber" name="600" href="#600">600</a>     			<strong class="jxr_keyword">char</strong> minChar = t.getMin();
<a class="jxr_linenumber" name="601" href="#601">601</a>     			<strong class="jxr_keyword">for</strong>(<strong class="jxr_keyword">char</strong> c = minChar; c &lt;= maxChar; c++) {
<a class="jxr_linenumber" name="602" href="#602">602</a>     				
<a class="jxr_linenumber" name="603" href="#603">603</a>     				<em class="jxr_comment">// IF EXIT</em>
<a class="jxr_linenumber" name="604" href="#604">604</a>     				<strong class="jxr_keyword">if</strong> ((region.contains(s)) &amp;&amp; !region.contains(t.getDest())) {
<a class="jxr_linenumber" name="605" href="#605">605</a>     					<strong class="jxr_keyword">if</strong> (typeOfActivity.get(<strong class="jxr_keyword">new</strong> Character(c)) == <strong class="jxr_keyword">null</strong>) {
<a class="jxr_linenumber" name="606" href="#606">606</a>     						typeOfActivity.put(<strong class="jxr_keyword">new</strong> Character(c), Type.EXIT);
<a class="jxr_linenumber" name="607" href="#607">607</a>     					} <strong class="jxr_keyword">else</strong> {
<a class="jxr_linenumber" name="608" href="#608">608</a>     						<strong class="jxr_keyword">if</strong>(typeOfActivity.get(<strong class="jxr_keyword">new</strong> Character(c)).equals(Type.ENTER)) {
<a class="jxr_linenumber" name="609" href="#609">609</a>     							<strong class="jxr_keyword">if</strong>(!outStates.contains(t.getDest())) {
<a class="jxr_linenumber" name="610" href="#610">610</a>     								region.add(t.getDest());  
<a class="jxr_linenumber" name="611" href="#611">611</a>     								expandAndAddRegions(outActivity, freeChoiceCandidates, region, aL);
<a class="jxr_linenumber" name="612" href="#612">612</a>     							}
<a class="jxr_linenumber" name="613" href="#613">613</a>     							<strong class="jxr_keyword">return</strong>;
<a class="jxr_linenumber" name="614" href="#614">614</a>     						}
<a class="jxr_linenumber" name="615" href="#615">615</a>     						<strong class="jxr_keyword">if</strong> (typeOfActivity.get(<strong class="jxr_keyword">new</strong> Character(c)).equals(Type.DO_NOT_CROSS)) {
<a class="jxr_linenumber" name="616" href="#616">616</a>     							<strong class="jxr_keyword">if</strong>(!outStates.contains(t.getDest())) {
<a class="jxr_linenumber" name="617" href="#617">617</a>     								Set&lt;State&gt; region1 = <strong class="jxr_keyword">new</strong> HashSet&lt;State&gt;();
<a class="jxr_linenumber" name="618" href="#618">618</a>     								region1.addAll(region);
<a class="jxr_linenumber" name="619" href="#619">619</a>     								region1.add(t.getDest());  
<a class="jxr_linenumber" name="620" href="#620">620</a>     								expandAndAddRegions(outActivity, freeChoiceCandidates, region1, aL);
<a class="jxr_linenumber" name="621" href="#621">621</a>     							}
<a class="jxr_linenumber" name="622" href="#622">622</a>     							
<a class="jxr_linenumber" name="623" href="#623">623</a>     							<strong class="jxr_keyword">if</strong>((possibleOutgoingCharaters.contains(c))) {
<a class="jxr_linenumber" name="624" href="#624">624</a> 	    							Set&lt;State&gt; region2 = <strong class="jxr_keyword">new</strong> HashSet&lt;State&gt;();
<a class="jxr_linenumber" name="625" href="#625">625</a> 	    							region2.addAll(region);
<a class="jxr_linenumber" name="626" href="#626">626</a> 	    							<strong class="jxr_keyword">for</strong>(State s1 : aL.getStates()) {
<a class="jxr_linenumber" name="627" href="#627">627</a> 	    								<strong class="jxr_keyword">for</strong> (Transition t1 : s1.getTransitions()) {
<a class="jxr_linenumber" name="628" href="#628">628</a> 	    									<strong class="jxr_keyword">char</strong> maxChar1 = t1.getMax();
<a class="jxr_linenumber" name="629" href="#629">629</a> 	    					    			<strong class="jxr_keyword">char</strong> minChar1 = t1.getMin();
<a class="jxr_linenumber" name="630" href="#630">630</a> 	    					    			<strong class="jxr_keyword">if</strong> ((c&gt;=minChar1) &amp;&amp; (c&lt;=maxChar1)) {
<a class="jxr_linenumber" name="631" href="#631">631</a> 	    					    				<strong class="jxr_keyword">if</strong>(!outStates.contains(s1)) {
<a class="jxr_linenumber" name="632" href="#632">632</a> 	    					    					region2.add(s1);
<a class="jxr_linenumber" name="633" href="#633">633</a> 	    					    				}
<a class="jxr_linenumber" name="634" href="#634">634</a> 	    					    			}
<a class="jxr_linenumber" name="635" href="#635">635</a> 	    								}
<a class="jxr_linenumber" name="636" href="#636">636</a> 	    							}
<a class="jxr_linenumber" name="637" href="#637">637</a> 	    							<strong class="jxr_keyword">if</strong>(region2.size() &gt; region.size()) {
<a class="jxr_linenumber" name="638" href="#638">638</a> 	    								expandAndAddRegions(outActivity, freeChoiceCandidates, region2, aL);
<a class="jxr_linenumber" name="639" href="#639">639</a> 	    							}
<a class="jxr_linenumber" name="640" href="#640">640</a> 	    							<strong class="jxr_keyword">return</strong>;
<a class="jxr_linenumber" name="641" href="#641">641</a>     							}
<a class="jxr_linenumber" name="642" href="#642">642</a>     							
<a class="jxr_linenumber" name="643" href="#643">643</a>     						}
<a class="jxr_linenumber" name="644" href="#644">644</a>     					}
<a class="jxr_linenumber" name="645" href="#645">645</a>     				}
<a class="jxr_linenumber" name="646" href="#646">646</a>     				<em class="jxr_comment">// IF ENTER</em>
<a class="jxr_linenumber" name="647" href="#647">647</a>     				<strong class="jxr_keyword">else</strong> <strong class="jxr_keyword">if</strong> ((!region.contains(s)) &amp;&amp; region.contains(t.getDest())) {
<a class="jxr_linenumber" name="648" href="#648">648</a>     					<strong class="jxr_keyword">if</strong> (typeOfActivity.get(<strong class="jxr_keyword">new</strong> Character(c)) == <strong class="jxr_keyword">null</strong>) {
<a class="jxr_linenumber" name="649" href="#649">649</a>     						typeOfActivity.put(<strong class="jxr_keyword">new</strong> Character(c), Type.ENTER);
<a class="jxr_linenumber" name="650" href="#650">650</a>     					} <strong class="jxr_keyword">else</strong> {
<a class="jxr_linenumber" name="651" href="#651">651</a>     						<strong class="jxr_keyword">if</strong>(typeOfActivity.get(<strong class="jxr_keyword">new</strong> Character(c)).equals(Type.EXIT)) {
<a class="jxr_linenumber" name="652" href="#652">652</a>     							<strong class="jxr_keyword">if</strong>(!outStates.contains(s)) {
<a class="jxr_linenumber" name="653" href="#653">653</a>     								region.add(s);  
<a class="jxr_linenumber" name="654" href="#654">654</a>     								expandAndAddRegions(outActivity, freeChoiceCandidates, region, aL);
<a class="jxr_linenumber" name="655" href="#655">655</a>     							}
<a class="jxr_linenumber" name="656" href="#656">656</a>     							<strong class="jxr_keyword">return</strong>;
<a class="jxr_linenumber" name="657" href="#657">657</a>     						}
<a class="jxr_linenumber" name="658" href="#658">658</a>     						<strong class="jxr_keyword">if</strong>(typeOfActivity.get(<strong class="jxr_keyword">new</strong> Character(c)).equals(Type.DO_NOT_CROSS)) {
<a class="jxr_linenumber" name="659" href="#659">659</a>     							<strong class="jxr_keyword">if</strong>(!outStates.contains(s)) {
<a class="jxr_linenumber" name="660" href="#660">660</a> 	    							Set&lt;State&gt; region1 = <strong class="jxr_keyword">new</strong> HashSet&lt;State&gt;();
<a class="jxr_linenumber" name="661" href="#661">661</a> 	    							region1.addAll(region);
<a class="jxr_linenumber" name="662" href="#662">662</a> 	    							region1.add(s);  
<a class="jxr_linenumber" name="663" href="#663">663</a> 	    							expandAndAddRegions(outActivity, freeChoiceCandidates, region1, aL);
<a class="jxr_linenumber" name="664" href="#664">664</a>     							}
<a class="jxr_linenumber" name="665" href="#665">665</a>     							
<a class="jxr_linenumber" name="666" href="#666">666</a>     							Set&lt;State&gt; region2 = <strong class="jxr_keyword">new</strong> HashSet&lt;State&gt;();
<a class="jxr_linenumber" name="667" href="#667">667</a>     							region2.addAll(region);
<a class="jxr_linenumber" name="668" href="#668">668</a>     							<strong class="jxr_keyword">for</strong>(State s1 : aL.getStates()) {
<a class="jxr_linenumber" name="669" href="#669">669</a>     								<strong class="jxr_keyword">for</strong> (Transition t1 : s1.getTransitions()) {
<a class="jxr_linenumber" name="670" href="#670">670</a>     									<strong class="jxr_keyword">char</strong> maxChar1 = t1.getMax();
<a class="jxr_linenumber" name="671" href="#671">671</a>     					    			<strong class="jxr_keyword">char</strong> minChar1 = t1.getMin();
<a class="jxr_linenumber" name="672" href="#672">672</a>     					    			<strong class="jxr_keyword">if</strong>(!outStates.contains(t1.getDest())) {
<a class="jxr_linenumber" name="673" href="#673">673</a> 	    					    			<strong class="jxr_keyword">if</strong> ((c&gt;=minChar1) &amp;&amp; (c&lt;=maxChar1)) {
<a class="jxr_linenumber" name="674" href="#674">674</a> 	    					    				region2.add(t1.getDest());
<a class="jxr_linenumber" name="675" href="#675">675</a> 	    					    			}
<a class="jxr_linenumber" name="676" href="#676">676</a>     					    			}
<a class="jxr_linenumber" name="677" href="#677">677</a>     								}
<a class="jxr_linenumber" name="678" href="#678">678</a>     							}
<a class="jxr_linenumber" name="679" href="#679">679</a>     							<strong class="jxr_keyword">if</strong>(region2.size() &gt; region.size()) {
<a class="jxr_linenumber" name="680" href="#680">680</a>     								expandAndAddRegions(outActivity, freeChoiceCandidates, region2, aL);
<a class="jxr_linenumber" name="681" href="#681">681</a>     							}
<a class="jxr_linenumber" name="682" href="#682">682</a>     							<strong class="jxr_keyword">return</strong>;
<a class="jxr_linenumber" name="683" href="#683">683</a>     						}
<a class="jxr_linenumber" name="684" href="#684">684</a>     					}
<a class="jxr_linenumber" name="685" href="#685">685</a>     				}
<a class="jxr_linenumber" name="686" href="#686">686</a>     				<em class="jxr_comment">// IF DO NOT CROSS</em>
<a class="jxr_linenumber" name="687" href="#687">687</a>     				<strong class="jxr_keyword">else</strong> {
<a class="jxr_linenumber" name="688" href="#688">688</a>     					<strong class="jxr_keyword">if</strong> (typeOfActivity.get(<strong class="jxr_keyword">new</strong> Character(c)) == <strong class="jxr_keyword">null</strong>) {
<a class="jxr_linenumber" name="689" href="#689">689</a>     						typeOfActivity.put(<strong class="jxr_keyword">new</strong> Character(c), Type.DO_NOT_CROSS);
<a class="jxr_linenumber" name="690" href="#690">690</a>     					} <strong class="jxr_keyword">else</strong> {
<a class="jxr_linenumber" name="691" href="#691">691</a>     						<strong class="jxr_keyword">if</strong>(typeOfActivity.get(<strong class="jxr_keyword">new</strong> Character(c)).equals(Type.EXIT)) {
<a class="jxr_linenumber" name="692" href="#692">692</a>     							
<a class="jxr_linenumber" name="693" href="#693">693</a>     							<strong class="jxr_keyword">if</strong>((possibleOutgoingCharaters.contains(c))) {
<a class="jxr_linenumber" name="694" href="#694">694</a> 	    							<strong class="jxr_keyword">if</strong>(!region.contains(s) &amp;&amp; !outStates.contains(s)) {
<a class="jxr_linenumber" name="695" href="#695">695</a> 	    								Set&lt;State&gt; region1 = <strong class="jxr_keyword">new</strong> HashSet&lt;State&gt;();
<a class="jxr_linenumber" name="696" href="#696">696</a> 		    							region1.addAll(region);
<a class="jxr_linenumber" name="697" href="#697">697</a> 		    							region1.add(s); 
<a class="jxr_linenumber" name="698" href="#698">698</a> 		    							expandAndAddRegions(outActivity, freeChoiceCandidates, region1, aL);
<a class="jxr_linenumber" name="699" href="#699">699</a> 	    							}
<a class="jxr_linenumber" name="700" href="#700">700</a>     							}
<a class="jxr_linenumber" name="701" href="#701">701</a> 	    							
<a class="jxr_linenumber" name="702" href="#702">702</a>     							Set&lt;State&gt; region2 = <strong class="jxr_keyword">new</strong> HashSet&lt;State&gt;();
<a class="jxr_linenumber" name="703" href="#703">703</a>     							region2.addAll(region);
<a class="jxr_linenumber" name="704" href="#704">704</a>     							<strong class="jxr_keyword">for</strong>(State s1 : aL.getStates()) {
<a class="jxr_linenumber" name="705" href="#705">705</a>     								<strong class="jxr_keyword">for</strong> (Transition t1 : s1.getTransitions()) {
<a class="jxr_linenumber" name="706" href="#706">706</a>     									<strong class="jxr_keyword">char</strong> maxChar1 = t1.getMax();
<a class="jxr_linenumber" name="707" href="#707">707</a>     					    			<strong class="jxr_keyword">char</strong> minChar1 = t1.getMin();
<a class="jxr_linenumber" name="708" href="#708">708</a>     					    			<strong class="jxr_keyword">if</strong> ((c&gt;=minChar1) &amp;&amp; (c&lt;=maxChar1)) {
<a class="jxr_linenumber" name="709" href="#709">709</a>     					    				<strong class="jxr_keyword">if</strong>(!outStates.contains(t1.getDest())) {
<a class="jxr_linenumber" name="710" href="#710">710</a>     					    					<strong class="jxr_keyword">if</strong>(region.contains(s1)) { 
<a class="jxr_linenumber" name="711" href="#711">711</a>     					    						region2.add(t1.getDest());
<a class="jxr_linenumber" name="712" href="#712">712</a>     					    					}
<a class="jxr_linenumber" name="713" href="#713">713</a>     					    				}
<a class="jxr_linenumber" name="714" href="#714">714</a>     					    			}
<a class="jxr_linenumber" name="715" href="#715">715</a>     								}
<a class="jxr_linenumber" name="716" href="#716">716</a>     							}
<a class="jxr_linenumber" name="717" href="#717">717</a>     							<strong class="jxr_keyword">if</strong>(region2.size() &gt; region.size()) {
<a class="jxr_linenumber" name="718" href="#718">718</a>     								expandAndAddRegions(outActivity, freeChoiceCandidates, region2, aL);
<a class="jxr_linenumber" name="719" href="#719">719</a>     							}
<a class="jxr_linenumber" name="720" href="#720">720</a>     							<strong class="jxr_keyword">return</strong>;
<a class="jxr_linenumber" name="721" href="#721">721</a>     						}
<a class="jxr_linenumber" name="722" href="#722">722</a>     						<strong class="jxr_keyword">if</strong>(typeOfActivity.get(<strong class="jxr_keyword">new</strong> Character(c)).equals(Type.ENTER)) {
<a class="jxr_linenumber" name="723" href="#723">723</a>     							
<a class="jxr_linenumber" name="724" href="#724">724</a>     							
<a class="jxr_linenumber" name="725" href="#725">725</a>     							<strong class="jxr_keyword">if</strong>(!region.contains(t.getDest()) &amp;&amp; !outStates.contains(t.getDest())) {
<a class="jxr_linenumber" name="726" href="#726">726</a> 	    							Set&lt;State&gt; region1 = <strong class="jxr_keyword">new</strong> HashSet&lt;State&gt;();
<a class="jxr_linenumber" name="727" href="#727">727</a> 	    							region1.addAll(region);
<a class="jxr_linenumber" name="728" href="#728">728</a> 	    							region1.add(t.getDest()); 
<a class="jxr_linenumber" name="729" href="#729">729</a> 	    							expandAndAddRegions(outActivity, freeChoiceCandidates, region1, aL);
<a class="jxr_linenumber" name="730" href="#730">730</a>     							}
<a class="jxr_linenumber" name="731" href="#731">731</a>     							
<a class="jxr_linenumber" name="732" href="#732">732</a>     							Set&lt;State&gt; region2 = <strong class="jxr_keyword">new</strong> HashSet&lt;State&gt;();
<a class="jxr_linenumber" name="733" href="#733">733</a>     							region2.addAll(region);
<a class="jxr_linenumber" name="734" href="#734">734</a>     							<strong class="jxr_keyword">for</strong>(State s1 : aL.getStates()) {
<a class="jxr_linenumber" name="735" href="#735">735</a>     								<strong class="jxr_keyword">for</strong> (Transition t1 : s1.getTransitions()) {
<a class="jxr_linenumber" name="736" href="#736">736</a>     									<strong class="jxr_keyword">char</strong> maxChar1 = t1.getMax();
<a class="jxr_linenumber" name="737" href="#737">737</a>     					    			<strong class="jxr_keyword">char</strong> minChar1 = t1.getMin();
<a class="jxr_linenumber" name="738" href="#738">738</a>     					    			<strong class="jxr_keyword">if</strong> ((c&gt;=minChar1) &amp;&amp; (c&lt;=maxChar1)) {
<a class="jxr_linenumber" name="739" href="#739">739</a>     					    				<strong class="jxr_keyword">if</strong>(!outStates.contains(s1)) {
<a class="jxr_linenumber" name="740" href="#740">740</a>     					    					<strong class="jxr_keyword">if</strong>(region.contains(t1.getDest())) { 
<a class="jxr_linenumber" name="741" href="#741">741</a>     					    						region2.add(s1);
<a class="jxr_linenumber" name="742" href="#742">742</a>     					    					}
<a class="jxr_linenumber" name="743" href="#743">743</a>     					    				}
<a class="jxr_linenumber" name="744" href="#744">744</a>     					    			}
<a class="jxr_linenumber" name="745" href="#745">745</a>     							
<a class="jxr_linenumber" name="746" href="#746">746</a>     								}
<a class="jxr_linenumber" name="747" href="#747">747</a>     							}
<a class="jxr_linenumber" name="748" href="#748">748</a>     							<strong class="jxr_keyword">if</strong>(region2.size() &gt; region.size()) {
<a class="jxr_linenumber" name="749" href="#749">749</a>     								expandAndAddRegions(outActivity, freeChoiceCandidates, region2, aL);
<a class="jxr_linenumber" name="750" href="#750">750</a>     							}
<a class="jxr_linenumber" name="751" href="#751">751</a>     							<strong class="jxr_keyword">return</strong>;
<a class="jxr_linenumber" name="752" href="#752">752</a>     						}
<a class="jxr_linenumber" name="753" href="#753">753</a>     					}
<a class="jxr_linenumber" name="754" href="#754">754</a>     				}
<a class="jxr_linenumber" name="755" href="#755">755</a>     			}
<a class="jxr_linenumber" name="756" href="#756">756</a>     		}
<a class="jxr_linenumber" name="757" href="#757">757</a>     	}
<a class="jxr_linenumber" name="758" href="#758">758</a>     	
<a class="jxr_linenumber" name="759" href="#759">759</a>     	Messagebox.show(<span class="jxr_string">"New region found: "</span> + typeOfActivity);
<a class="jxr_linenumber" name="760" href="#760">760</a>     	LOGGER.info(<span class="jxr_string">"New region found "</span> + region);
<a class="jxr_linenumber" name="761" href="#761">761</a>     	<strong class="jxr_keyword">return</strong>;
<a class="jxr_linenumber" name="762" href="#762">762</a>     }
<a class="jxr_linenumber" name="763" href="#763">763</a>   
<a class="jxr_linenumber" name="764" href="#764">764</a>     <strong class="jxr_keyword">private</strong> <strong class="jxr_keyword">boolean</strong> checkFreechoice(Set&lt;Activity&gt; freeChoicecandidate, Automaton aL) {
<a class="jxr_linenumber" name="765" href="#765">765</a>     	
<a class="jxr_linenumber" name="766" href="#766">766</a>     	<strong class="jxr_keyword">for</strong>(State s : aL.getStates()) {
<a class="jxr_linenumber" name="767" href="#767">767</a>     		<strong class="jxr_keyword">int</strong> outActivity = 0;
<a class="jxr_linenumber" name="768" href="#768">768</a>     		<strong class="jxr_keyword">for</strong>(Transition t : s.getTransitions()) {
<a class="jxr_linenumber" name="769" href="#769">769</a>     			<strong class="jxr_keyword">char</strong> maxChar = t.getMax();
<a class="jxr_linenumber" name="770" href="#770">770</a>     			<strong class="jxr_keyword">char</strong> minChar = t.getMin();
<a class="jxr_linenumber" name="771" href="#771">771</a>     			<strong class="jxr_keyword">for</strong>(Activity a: freeChoicecandidate) {
<a class="jxr_linenumber" name="772" href="#772">772</a> <em class="jxr_comment">//    				Messagebox.show(a.getLabel());</em>
<a class="jxr_linenumber" name="773" href="#773">773</a> <em class="jxr_comment">//    				Messagebox.show(mapOfSymbols.get(a.getLabel()).toString());</em>
<a class="jxr_linenumber" name="774" href="#774">774</a> <em class="jxr_comment">//    				Messagebox.show("Max char" + maxChar);</em>
<a class="jxr_linenumber" name="775" href="#775">775</a> <em class="jxr_comment">//    				Messagebox.show("Min char" + minChar);</em>
<a class="jxr_linenumber" name="776" href="#776">776</a>     				<strong class="jxr_keyword">if</strong>(mapOfSymbols.get(a.getLabel()) != <strong class="jxr_keyword">null</strong>) {
<a class="jxr_linenumber" name="777" href="#777">777</a> 	    				<strong class="jxr_keyword">char</strong> hashCode = mapOfSymbols.get(a.getLabel());
<a class="jxr_linenumber" name="778" href="#778">778</a> 	    				<strong class="jxr_keyword">if</strong> ((hashCode &lt;= maxChar) &amp;&amp; (hashCode &gt;= minChar)) {
<a class="jxr_linenumber" name="779" href="#779">779</a> 	    					outActivity ++;
<a class="jxr_linenumber" name="780" href="#780">780</a> 	    				}
<a class="jxr_linenumber" name="781" href="#781">781</a>     				}
<a class="jxr_linenumber" name="782" href="#782">782</a>     			}
<a class="jxr_linenumber" name="783" href="#783">783</a>     		}
<a class="jxr_linenumber" name="784" href="#784">784</a>     		<strong class="jxr_keyword">if</strong> ((outActivity &gt; 0) &amp;&amp; (outActivity &lt; freeChoicecandidate.size())) {
<a class="jxr_linenumber" name="785" href="#785">785</a>     			<strong class="jxr_keyword">return</strong> false;
<a class="jxr_linenumber" name="786" href="#786">786</a>     		}
<a class="jxr_linenumber" name="787" href="#787">787</a>     	}
<a class="jxr_linenumber" name="788" href="#788">788</a>     	
<a class="jxr_linenumber" name="789" href="#789">789</a>     	<strong class="jxr_keyword">return</strong> <strong class="jxr_keyword">true</strong>;
<a class="jxr_linenumber" name="790" href="#790">790</a>     	
<a class="jxr_linenumber" name="791" href="#791">791</a>     }
<a class="jxr_linenumber" name="792" href="#792">792</a>         <em class="jxr_javadoccomment">/**</em>
<a class="jxr_linenumber" name="793" href="#793">793</a> <em class="jxr_javadoccomment">    	 * Build a transition system from log using window and prefixes</em>
<a class="jxr_linenumber" name="794" href="#794">794</a> <em class="jxr_javadoccomment">    	 * </em>
<a class="jxr_linenumber" name="795" href="#795">795</a> <em class="jxr_javadoccomment">    	 */</em>
<a class="jxr_linenumber" name="796" href="#796">796</a> 	@SuppressWarnings(<span class="jxr_string">"deprecation"</span>)
<a class="jxr_linenumber" name="797" href="#797">797</a> 	<strong class="jxr_keyword">private</strong> Automaton buildAutomaton(XLog log) {
<a class="jxr_linenumber" name="798" href="#798">798</a> 
<a class="jxr_linenumber" name="799" href="#799">799</a> 		Set&lt;String&gt; allTraces = <strong class="jxr_keyword">new</strong> HashSet&lt;String&gt;();
<a class="jxr_linenumber" name="800" href="#800">800</a> 		Automaton a = <strong class="jxr_keyword">new</strong> Automaton();
<a class="jxr_linenumber" name="801" href="#801">801</a> 		a.setInitialState(<strong class="jxr_keyword">new</strong> State());
<a class="jxr_linenumber" name="802" href="#802">802</a> 
<a class="jxr_linenumber" name="803" href="#803">803</a> 		<em class="jxr_comment">// For each trace define states and transitions</em>
<a class="jxr_linenumber" name="804" href="#804">804</a> 		<strong class="jxr_keyword">for</strong> (XTrace trace : log) {
<a class="jxr_linenumber" name="805" href="#805">805</a> 			String sTrace = <span class="jxr_string">""</span>;
<a class="jxr_linenumber" name="806" href="#806">806</a> 			<strong class="jxr_keyword">for</strong> (XEvent e : trace) {
<a class="jxr_linenumber" name="807" href="#807">807</a> 				String sEvent = e.getAttributes().get(<span class="jxr_string">"concept:name"</span>).toString();
<a class="jxr_linenumber" name="808" href="#808">808</a> 				<strong class="jxr_keyword">int</strong> hashCode = sEvent.hashCode();
<a class="jxr_linenumber" name="809" href="#809">809</a> 				<strong class="jxr_keyword">char</strong> symb = (<strong class="jxr_keyword">char</strong>) hashCode;
<a class="jxr_linenumber" name="810" href="#810">810</a> 				<strong class="jxr_keyword">if</strong> (mapOfSymbols.get(sEvent) == <strong class="jxr_keyword">null</strong>) {
<a class="jxr_linenumber" name="811" href="#811">811</a> 					mapOfSymbols.put(sEvent, <strong class="jxr_keyword">new</strong> Character((<strong class="jxr_keyword">char</strong>) hashCode));
<a class="jxr_linenumber" name="812" href="#812">812</a> 				}
<a class="jxr_linenumber" name="813" href="#813">813</a> 				sTrace += symb;
<a class="jxr_linenumber" name="814" href="#814">814</a> 			}
<a class="jxr_linenumber" name="815" href="#815">815</a> 			<strong class="jxr_keyword">if</strong>(!allTraces.contains(sTrace)) {
<a class="jxr_linenumber" name="816" href="#816">816</a> 				Automaton temp = Automaton.makeString(sTrace);
<a class="jxr_linenumber" name="817" href="#817">817</a> 				a = a.union(temp);
<a class="jxr_linenumber" name="818" href="#818">818</a> 			
<a class="jxr_linenumber" name="819" href="#819">819</a> 				allTraces.add(sTrace);
<a class="jxr_linenumber" name="820" href="#820">820</a> 			}
<a class="jxr_linenumber" name="821" href="#821">821</a> 		}
<a class="jxr_linenumber" name="822" href="#822">822</a> 		<strong class="jxr_keyword">return</strong> a;
<a class="jxr_linenumber" name="823" href="#823">823</a> 	}
<a class="jxr_linenumber" name="824" href="#824">824</a> 
<a class="jxr_linenumber" name="825" href="#825">825</a>     <strong class="jxr_keyword">private</strong> Set&lt;Set&lt;Activity&gt;&gt; findFreeChoiceCandidates(BPMNDiagram bpmnDiagram) {
<a class="jxr_linenumber" name="826" href="#826">826</a>     	Set&lt;Set&lt;Activity&gt;&gt; freechoiceCandidates = <strong class="jxr_keyword">new</strong> HashSet&lt;Set&lt;Activity&gt;&gt;();
<a class="jxr_linenumber" name="827" href="#827">827</a>     	<strong class="jxr_keyword">for</strong>(Gateway g : bpmnDiagram.getGateways()) {
<a class="jxr_linenumber" name="828" href="#828">828</a>     		<strong class="jxr_keyword">if</strong>(g.getGatewayType().equals(GatewayType.DATABASED)) {
<a class="jxr_linenumber" name="829" href="#829">829</a>     			<strong class="jxr_keyword">if</strong>(bpmnDiagram.getOutEdges(g).size() &gt; 1) {
<a class="jxr_linenumber" name="830" href="#830">830</a>     				Collection&lt;BPMNEdge&lt;? <strong class="jxr_keyword">extends</strong> BPMNNode, ? <strong class="jxr_keyword">extends</strong> BPMNNode&gt;&gt; outEdges = bpmnDiagram.getOutEdges(g);
<a class="jxr_linenumber" name="831" href="#831">831</a>     				Set&lt;Activity&gt; activitiesInFreeChoice = <strong class="jxr_keyword">new</strong> HashSet&lt;Activity&gt;();
<a class="jxr_linenumber" name="832" href="#832">832</a>     				<strong class="jxr_keyword">for</strong> (BPMNEdge&lt;? <strong class="jxr_keyword">extends</strong> BPMNNode, ? <strong class="jxr_keyword">extends</strong> BPMNNode&gt; e : outEdges) {
<a class="jxr_linenumber" name="833" href="#833">833</a>     					BPMNNode outNode = e.getTarget();
<a class="jxr_linenumber" name="834" href="#834">834</a>     					<strong class="jxr_keyword">if</strong>(outNode instanceof Activity) {
<a class="jxr_linenumber" name="835" href="#835">835</a>     						activitiesInFreeChoice.add((Activity)(outNode));
<a class="jxr_linenumber" name="836" href="#836">836</a>     					}
<a class="jxr_linenumber" name="837" href="#837">837</a>     				}
<a class="jxr_linenumber" name="838" href="#838">838</a> 					<em class="jxr_comment">//if (activitiesInFreeChoice.size() &gt; 1) {</em>
<a class="jxr_linenumber" name="839" href="#839">839</a> 						freechoiceCandidates.add(activitiesInFreeChoice);
<a class="jxr_linenumber" name="840" href="#840">840</a> 					<em class="jxr_comment">//}</em>
<a class="jxr_linenumber" name="841" href="#841">841</a>     			}
<a class="jxr_linenumber" name="842" href="#842">842</a>     		}
<a class="jxr_linenumber" name="843" href="#843">843</a>     	}
<a class="jxr_linenumber" name="844" href="#844">844</a>     	
<a class="jxr_linenumber" name="845" href="#845">845</a> <em class="jxr_comment">//    	Messagebox.show(freechoiceCandidates.toString());</em>
<a class="jxr_linenumber" name="846" href="#846">846</a>     	<strong class="jxr_keyword">return</strong> freechoiceCandidates;
<a class="jxr_linenumber" name="847" href="#847">847</a>     }
<a class="jxr_linenumber" name="848" href="#848">848</a>     
<a class="jxr_linenumber" name="849" href="#849">849</a> }
</pre>
<hr/><div id="footer">This page was automatically generated by <a href="http://maven.apache.org/">Maven</a></div></body>
</html>

