Start line:  
End line:  

Snippet Preview

Snippet HTML Code

Stack Overflow Questions
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<!-- NewPage -->
<html lang="de">
<head>
<!-- Generated by javadoc (1.8.0_25) on Thu Jun 11 13:58:30 CEST 2015 -->
<title>ReachabilityGraph (SDMLib 1.1.505 API)</title>
<meta name="date" content="2015-06-11">
<link rel="stylesheet" type="text/css" href="../../../../stylesheet.css" title="Style">
<script type="text/javascript" src="../../../../script.js"></script>
</head>
<body>
<script type="text/javascript"><!--
    try {
        if (location.href.indexOf('is-external=true') == -1) {
            parent.document.title="ReachabilityGraph (SDMLib 1.1.505 API)";
        }
    }
    catch(err) {
    }
//-->
var methods = {"i0":10,"i1":10,"i2":10,"i3":10,"i4":10,"i5":10,"i6":10,"i7":10,"i8":10,"i9":10,"i10":10,"i11":10,"i12":10,"i13":10,"i14":10,"i15":10,"i16":10,"i17":10,"i18":10,"i19":10,"i20":10,"i21":10,"i22":10,"i23":10,"i24":10,"i25":10,"i26":10,"i27":10,"i28":10,"i29":10,"i30":10,"i31":10,"i32":10,"i33":10,"i34":10,"i35":10,"i36":10,"i37":10,"i38":10,"i39":10,"i40":10,"i41":10,"i42":10,"i43":10};
var tabs = {65535:["t0","All Methods"],2:["t2","Instance Methods"],8:["t4","Concrete Methods"]};
var altColor = "altColor";
var rowColor = "rowColor";
var tableTab = "tableTab";
var activeTableTab = "activeTableTab";
</script>
<noscript>
<div>JavaScript is disabled on your browser.</div>
</noscript>
<!-- ========= START OF TOP NAVBAR ======= -->
<div class="topNav"><a name="navbar.top">
<!--   -->
</a>
<div class="skipNav"><a href="#skip.navbar.top" title="Skip navigation links">Skip navigation links</a></div>
<a name="navbar.top.firstrow">
<!--   -->
</a>
<ul class="navList" title="Navigation">
<li><a href="../../../../overview-summary.html">Overview</a></li>
<li><a href="package-summary.html">Package</a></li>
<li class="navBarCell1Rev">Class</li>
<li><a href="package-tree.html">Tree</a></li>
<li><a href="../../../../deprecated-list.html">Deprecated</a></li>
<li><a href="../../../../index-all.html">Index</a></li>
<li><a href="../../../../help-doc.html">Help</a></li>
</ul>
</div>
<div class="subNav">
<ul class="navList">
<li><a href="../../../../org/sdmlib/models/pattern/PatternObject.html" title="class in org.sdmlib.models.pattern"><span class="typeNameLink">Prev&nbsp;Class</span></a></li>
<li><a href="../../../../org/sdmlib/models/pattern/ReachableState.html" title="class in org.sdmlib.models.pattern"><span class="typeNameLink">Next&nbsp;Class</span></a></li>
</ul>
<ul class="navList">
<li><a href="../../../../index.html?org/sdmlib/models/pattern/ReachabilityGraph.html" target="_top">Frames</a></li>
<li><a href="ReachabilityGraph.html" target="_top">No&nbsp;Frames</a></li>
</ul>
<ul class="navList" id="allclasses_navbar_top">
<li><a href="../../../../allclasses-noframe.html">All&nbsp;Classes</a></li>
</ul>
<div>
<script type="text/javascript"><!--
  allClassesLink = document.getElementById("allclasses_navbar_top");
  if(window==top) {
    allClassesLink.style.display = "block";
  }
  else {
    allClassesLink.style.display = "none";
  }
  //-->
</script>
</div>
<div>
<ul class="subNavList">
<li>Summary:&nbsp;</li>
<li>Nested&nbsp;|&nbsp;</li>
<li><a href="#field.summary">Field</a>&nbsp;|&nbsp;</li>
<li><a href="#constructor.summary">Constr</a>&nbsp;|&nbsp;</li>
<li><a href="#method.summary">Method</a></li>
</ul>
<ul class="subNavList">
<li>Detail:&nbsp;</li>
<li><a href="#field.detail">Field</a>&nbsp;|&nbsp;</li>
<li><a href="#constructor.detail">Constr</a>&nbsp;|&nbsp;</li>
<li><a href="#method.detail">Method</a></li>
</ul>
</div>
<a name="skip.navbar.top">
<!--   -->
</a></div>
<!-- ========= END OF TOP NAVBAR ========= -->
<!-- ======== START OF CLASS DATA ======== -->
<div class="header">
<div class="subTitle">org.sdmlib.models.pattern</div>
<h2 title="Class ReachabilityGraph" class="title">Class ReachabilityGraph</h2>
</div>
<div class="contentContainer">
<ul class="inheritance">
<li>java.lang.Object</li>
<li>
<ul class="inheritance">
<li>org.sdmlib.models.pattern.ReachabilityGraph</li>
</ul>
</li>
</ul>
<div class="description">
<ul class="blockList">
<li class="blockList">
<dl>
<dt>All Implemented Interfaces:</dt>
<dd><a href="../../../../org/sdmlib/serialization/PropertyChangeInterface.html" title="interface in org.sdmlib.serialization">PropertyChangeInterface</a></dd>
</dl>
<hr>
<br>
<pre>public class <span class="typeNameLabel">ReachabilityGraph</span>
extends java.lang.Object
implements <a href="../../../../org/sdmlib/serialization/PropertyChangeInterface.html" title="interface in org.sdmlib.serialization">PropertyChangeInterface</a></pre>
</li>
</ul>
</div>
<div class="summary">
<ul class="blockList">
<li class="blockList">
<!-- =========== FIELD SUMMARY =========== -->
<ul class="blockList">
<li class="blockList"><a name="field.summary">
<!--   -->
</a>
<h3>Field Summary</h3>
<table class="memberSummary" border="0" cellpadding="3" cellspacing="0" summary="Field Summary table, listing fields, and an explanation">
<caption><span>Fields</span><span class="tabEnd">&nbsp;</span></caption>
<tr>
<th class="colFirst" scope="col">Modifier and Type</th>
<th class="colLast" scope="col">Field and Description</th>
</tr>
<tr class="altColor">
<td class="colFirst"><code>protected java.beans.PropertyChangeSupport</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../../../org/sdmlib/models/pattern/ReachabilityGraph.html#listeners">listeners</a></span></code>&nbsp;</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../../../org/sdmlib/models/pattern/ReachabilityGraph.html#PROPERTY_RULES">PROPERTY_RULES</a></span></code>
<div class="block">
              one                       many
 ReachabilityGraph ----------------------------------- Pattern
              rgraph                   rules
 </div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../../../org/sdmlib/models/pattern/ReachabilityGraph.html#PROPERTY_STATES">PROPERTY_STATES</a></span></code>
<div class="block">
              one                       many
 ReachabilityGraph ----------------------------------- ReachableState
              parent                   states
 </div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../../../org/sdmlib/models/pattern/ReachabilityGraph.html#PROPERTY_TODO">PROPERTY_TODO</a></span></code>
<div class="block">
              one                       many
 ReachabilityGraph ----------------------------------- ReachableState
              master                   todo
 </div>
</td>
</tr>
</table>
</li>
</ul>
<!-- ======== CONSTRUCTOR SUMMARY ======== -->
<ul class="blockList">
<li class="blockList"><a name="constructor.summary">
<!--   -->
</a>
<h3>Constructor Summary</h3>
<table class="memberSummary" border="0" cellpadding="3" cellspacing="0" summary="Constructor Summary table, listing constructors, and an explanation">
<caption><span>Constructors</span><span class="tabEnd">&nbsp;</span></caption>
<tr>
<th class="colOne" scope="col">Constructor and Description</th>
</tr>
<tr class="altColor">
<td class="colOne"><code><span class="memberNameLink"><a href="../../../../org/sdmlib/models/pattern/ReachabilityGraph.html#ReachabilityGraph--">ReachabilityGraph</a></span>()</code>&nbsp;</td>
</tr>
</table>
</li>
</ul>
<!-- ========== METHOD SUMMARY =========== -->
<ul class="blockList">
<li class="blockList"><a name="method.summary">
<!--   -->
</a>
<h3>Method Summary</h3>
<table class="memberSummary" border="0" cellpadding="3" cellspacing="0" summary="Method Summary table, listing methods, and an explanation">
<caption><span id="t0" class="activeTableTab"><span>All Methods</span><span class="tabEnd">&nbsp;</span></span><span id="t2" class="tableTab"><span><a href="javascript:show(2);">Instance Methods</a></span><span class="tabEnd">&nbsp;</span></span><span id="t4" class="tableTab"><span><a href="javascript:show(8);">Concrete Methods</a></span><span class="tabEnd">&nbsp;</span></span></caption>
<tr>
<th class="colFirst" scope="col">Modifier and Type</th>
<th class="colLast" scope="col">Method and Description</th>
</tr>
<tr id="i0" class="altColor">
<td class="colFirst"><code>boolean</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../../../org/sdmlib/models/pattern/ReachabilityGraph.html#addToRules-org.sdmlib.models.pattern.Pattern-">addToRules</a></span>(<a href="../../../../org/sdmlib/models/pattern/Pattern.html" title="class in org.sdmlib.models.pattern">Pattern</a>&nbsp;value)</code>&nbsp;</td>
</tr>
<tr id="i1" class="rowColor">
<td class="colFirst"><code>boolean</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../../../org/sdmlib/models/pattern/ReachabilityGraph.html#addToStates-org.sdmlib.models.pattern.ReachableState-">addToStates</a></span>(<a href="../../../../org/sdmlib/models/pattern/ReachableState.html" title="class in org.sdmlib.models.pattern">ReachableState</a>&nbsp;value)</code>&nbsp;</td>
</tr>
<tr id="i2" class="altColor">
<td class="colFirst"><code>boolean</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../../../org/sdmlib/models/pattern/ReachabilityGraph.html#addToTodo-org.sdmlib.models.pattern.ReachableState-">addToTodo</a></span>(<a href="../../../../org/sdmlib/models/pattern/ReachableState.html" title="class in org.sdmlib.models.pattern">ReachableState</a>&nbsp;value)</code>&nbsp;</td>
</tr>
<tr id="i3" class="rowColor">
<td class="colFirst"><code><a href="../../../../org/sdmlib/models/pattern/NegativeApplicationCondition.html" title="class in org.sdmlib.models.pattern">NegativeApplicationCondition</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../../../org/sdmlib/models/pattern/ReachabilityGraph.html#createNegativeApplicationCondition--">createNegativeApplicationCondition</a></span>()</code>&nbsp;</td>
</tr>
<tr id="i4" class="altColor">
<td class="colFirst"><code><a href="../../../../org/sdmlib/models/pattern/OptionalSubPattern.html" title="class in org.sdmlib.models.pattern">OptionalSubPattern</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../../../org/sdmlib/models/pattern/ReachabilityGraph.html#createOptionalSubPattern--">createOptionalSubPattern</a></span>()</code>&nbsp;</td>
</tr>
<tr id="i5" class="rowColor">
<td class="colFirst"><code><a href="../../../../org/sdmlib/models/pattern/Pattern.html" title="class in org.sdmlib.models.pattern">Pattern</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../../../org/sdmlib/models/pattern/ReachabilityGraph.html#createRules--">createRules</a></span>()</code>&nbsp;</td>
</tr>
<tr id="i6" class="altColor">
<td class="colFirst"><code><a href="../../../../org/sdmlib/models/pattern/Pattern.html" title="class in org.sdmlib.models.pattern">Pattern</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../../../org/sdmlib/models/pattern/ReachabilityGraph.html#createRulesNegativeApplicationCondition--">createRulesNegativeApplicationCondition</a></span>()</code>&nbsp;</td>
</tr>
<tr id="i7" class="rowColor">
<td class="colFirst"><code><a href="../../../../org/sdmlib/models/pattern/Pattern.html" title="class in org.sdmlib.models.pattern">Pattern</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../../../org/sdmlib/models/pattern/ReachabilityGraph.html#createRulesOptionalSubPattern--">createRulesOptionalSubPattern</a></span>()</code>&nbsp;</td>
</tr>
<tr id="i8" class="altColor">
<td class="colFirst"><code><a href="../../../../org/sdmlib/models/pattern/ReachableState.html" title="class in org.sdmlib.models.pattern">ReachableState</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../../../org/sdmlib/models/pattern/ReachabilityGraph.html#createStates--">createStates</a></span>()</code>&nbsp;</td>
</tr>
<tr id="i9" class="rowColor">
<td class="colFirst"><code><a href="../../../../org/sdmlib/models/pattern/ReachableState.html" title="class in org.sdmlib.models.pattern">ReachableState</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../../../org/sdmlib/models/pattern/ReachabilityGraph.html#createTodo--">createTodo</a></span>()</code>&nbsp;</td>
</tr>
<tr id="i10" class="altColor">
<td class="colFirst"><code>java.lang.String</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../../../org/sdmlib/models/pattern/ReachabilityGraph.html#dumpDiagram-java.lang.String-">dumpDiagram</a></span>(java.lang.String&nbsp;name)</code>&nbsp;</td>
</tr>
<tr id="i11" class="rowColor">
<td class="colFirst"><code>long</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../../../org/sdmlib/models/pattern/ReachabilityGraph.html#explore--">explore</a></span>()</code>&nbsp;</td>
</tr>
<tr id="i12" class="altColor">
<td class="colFirst"><code>long</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../../../org/sdmlib/models/pattern/ReachabilityGraph.html#explore-long-">explore</a></span>(long&nbsp;maxNoOfNewStates)</code>&nbsp;</td>
</tr>
<tr id="i13" class="rowColor">
<td class="colFirst"><code><a href="../../../../org/sdmlib/doc/interfaze/Adapter/GuiAdapter.html" title="interface in org.sdmlib.doc.interfaze.Adapter">GuiAdapter</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../../../org/sdmlib/models/pattern/ReachabilityGraph.html#getAdapter--">getAdapter</a></span>()</code>&nbsp;</td>
</tr>
<tr id="i14" class="altColor">
<td class="colFirst"><code>de.uniks.networkparser.json.JsonIdMap</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../../../org/sdmlib/models/pattern/ReachabilityGraph.html#getMasterMap--">getMasterMap</a></span>()</code>&nbsp;</td>
</tr>
<tr id="i15" class="rowColor">
<td class="colFirst"><code>java.beans.PropertyChangeSupport</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../../../org/sdmlib/models/pattern/ReachabilityGraph.html#getPropertyChangeSupport--">getPropertyChangeSupport</a></span>()</code>
<div class="block">Get the propertyChangeSupport attribute of the PropertyChangeInterface
 object</div>
</td>
</tr>
<tr id="i16" class="altColor">
<td class="colFirst"><code><a href="../../../../org/sdmlib/models/pattern/util/PatternSet.html" title="class in org.sdmlib.models.pattern.util">PatternSet</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../../../org/sdmlib/models/pattern/ReachabilityGraph.html#getRules--">getRules</a></span>()</code>&nbsp;</td>
</tr>
<tr id="i17" class="rowColor">
<td class="colFirst"><code><a href="../../../../org/sdmlib/models/pattern/util/ReachableStateSet.html" title="class in org.sdmlib.models.pattern.util">ReachableStateSet</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../../../org/sdmlib/models/pattern/ReachabilityGraph.html#getStateMap-java.lang.String-">getStateMap</a></span>(java.lang.String&nbsp;certificate)</code>&nbsp;</td>
</tr>
<tr id="i18" class="altColor">
<td class="colFirst"><code><a href="../../../../org/sdmlib/models/pattern/util/ReachableStateSet.html" title="class in org.sdmlib.models.pattern.util">ReachableStateSet</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../../../org/sdmlib/models/pattern/ReachabilityGraph.html#getStates--">getStates</a></span>()</code>&nbsp;</td>
</tr>
<tr id="i19" class="rowColor">
<td class="colFirst"><code><a href="../../../../org/sdmlib/models/pattern/util/ReachableStateSet.html" title="class in org.sdmlib.models.pattern.util">ReachableStateSet</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../../../org/sdmlib/models/pattern/ReachabilityGraph.html#getTodo--">getTodo</a></span>()</code>&nbsp;</td>
</tr>
<tr id="i20" class="altColor">
<td class="colFirst"><code>boolean</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../../../org/sdmlib/models/pattern/ReachabilityGraph.html#match-org.sdmlib.models.pattern.ReachableState-de.uniks.networkparser.json.JsonArray-java.util.LinkedHashMap-org.sdmlib.models.pattern.ReachableState-de.uniks.networkparser.json.JsonArray-java.util.LinkedHashMap-java.lang.String-java.util.LinkedHashMap-java.util.LinkedHashMap-">match</a></span>(<a href="../../../../org/sdmlib/models/pattern/ReachableState.html" title="class in org.sdmlib.models.pattern">ReachableState</a>&nbsp;s1,
     de.uniks.networkparser.json.JsonArray&nbsp;ja1,
     java.util.LinkedHashMap&lt;java.lang.String,de.uniks.networkparser.json.JsonObject&gt;&nbsp;joMap1,
     <a href="../../../../org/sdmlib/models/pattern/ReachableState.html" title="class in org.sdmlib.models.pattern">ReachableState</a>&nbsp;s2,
     de.uniks.networkparser.json.JsonArray&nbsp;ja2,
     java.util.LinkedHashMap&lt;java.lang.String,de.uniks.networkparser.json.JsonObject&gt;&nbsp;joMap2,
     java.lang.String&nbsp;cn1,
     java.util.LinkedHashMap&lt;java.lang.String,java.lang.String&gt;&nbsp;fwdmapping,
     java.util.LinkedHashMap&lt;java.lang.String,java.lang.String&gt;&nbsp;bwdmapping)</code>&nbsp;</td>
</tr>
<tr id="i21" class="rowColor">
<td class="colFirst"><code>java.util.LinkedHashMap&lt;java.lang.String,java.lang.String&gt;</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../../../org/sdmlib/models/pattern/ReachabilityGraph.html#match-org.sdmlib.models.pattern.ReachableState-org.sdmlib.models.pattern.ReachableState-">match</a></span>(<a href="../../../../org/sdmlib/models/pattern/ReachableState.html" title="class in org.sdmlib.models.pattern">ReachableState</a>&nbsp;s1,
     <a href="../../../../org/sdmlib/models/pattern/ReachableState.html" title="class in org.sdmlib.models.pattern">ReachableState</a>&nbsp;s2)</code>&nbsp;</td>
</tr>
<tr id="i22" class="altColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../../../org/sdmlib/models/pattern/ReachabilityGraph.html#removeAllFromRules--">removeAllFromRules</a></span>()</code>&nbsp;</td>
</tr>
<tr id="i23" class="rowColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../../../org/sdmlib/models/pattern/ReachabilityGraph.html#removeAllFromStates--">removeAllFromStates</a></span>()</code>&nbsp;</td>
</tr>
<tr id="i24" class="altColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../../../org/sdmlib/models/pattern/ReachabilityGraph.html#removeAllFromTodo--">removeAllFromTodo</a></span>()</code>&nbsp;</td>
</tr>
<tr id="i25" class="rowColor">
<td class="colFirst"><code>boolean</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../../../org/sdmlib/models/pattern/ReachabilityGraph.html#removeFromRules-org.sdmlib.models.pattern.Pattern-">removeFromRules</a></span>(<a href="../../../../org/sdmlib/models/pattern/Pattern.html" title="class in org.sdmlib.models.pattern">Pattern</a>&nbsp;value)</code>&nbsp;</td>
</tr>
<tr id="i26" class="altColor">
<td class="colFirst"><code>boolean</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../../../org/sdmlib/models/pattern/ReachabilityGraph.html#removeFromStates-org.sdmlib.models.pattern.ReachableState-">removeFromStates</a></span>(<a href="../../../../org/sdmlib/models/pattern/ReachableState.html" title="class in org.sdmlib.models.pattern">ReachableState</a>&nbsp;value)</code>&nbsp;</td>
</tr>
<tr id="i27" class="rowColor">
<td class="colFirst"><code>boolean</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../../../org/sdmlib/models/pattern/ReachabilityGraph.html#removeFromTodo-org.sdmlib.models.pattern.ReachableState-">removeFromTodo</a></span>(<a href="../../../../org/sdmlib/models/pattern/ReachableState.html" title="class in org.sdmlib.models.pattern">ReachableState</a>&nbsp;value)</code>&nbsp;</td>
</tr>
<tr id="i28" class="altColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../../../org/sdmlib/models/pattern/ReachabilityGraph.html#removeYou--">removeYou</a></span>()</code>&nbsp;</td>
</tr>
<tr id="i29" class="rowColor">
<td class="colFirst"><code>void</code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../../../org/sdmlib/models/pattern/ReachabilityGraph.html#setMasterMap-de.uniks.networkparser.json.JsonIdMap-">setMasterMap</a></span>(de.uniks.networkparser.json.JsonIdMap&nbsp;newMasterMap)</code>&nbsp;</td>
</tr>
<tr id="i30" class="altColor">
<td class="colFirst"><code><a href="../../../../org/sdmlib/models/pattern/ReachabilityGraph.html" title="class in org.sdmlib.models.pattern">ReachabilityGraph</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../../../org/sdmlib/models/pattern/ReachabilityGraph.html#withMasterMap-de.uniks.networkparser.json.JsonIdMap-">withMasterMap</a></span>(de.uniks.networkparser.json.JsonIdMap&nbsp;map)</code>&nbsp;</td>
</tr>
<tr id="i31" class="rowColor">
<td class="colFirst"><code><a href="../../../../org/sdmlib/models/pattern/ReachabilityGraph.html" title="class in org.sdmlib.models.pattern">ReachabilityGraph</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../../../org/sdmlib/models/pattern/ReachabilityGraph.html#withoutRules-org.sdmlib.models.pattern.Pattern...-">withoutRules</a></span>(<a href="../../../../org/sdmlib/models/pattern/Pattern.html" title="class in org.sdmlib.models.pattern">Pattern</a>...&nbsp;value)</code>&nbsp;</td>
</tr>
<tr id="i32" class="altColor">
<td class="colFirst"><code><a href="../../../../org/sdmlib/models/pattern/ReachabilityGraph.html" title="class in org.sdmlib.models.pattern">ReachabilityGraph</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../../../org/sdmlib/models/pattern/ReachabilityGraph.html#withoutRules-org.sdmlib.models.pattern.Pattern-">withoutRules</a></span>(<a href="../../../../org/sdmlib/models/pattern/Pattern.html" title="class in org.sdmlib.models.pattern">Pattern</a>&nbsp;value)</code>&nbsp;</td>
</tr>
<tr id="i33" class="rowColor">
<td class="colFirst"><code><a href="../../../../org/sdmlib/models/pattern/ReachabilityGraph.html" title="class in org.sdmlib.models.pattern">ReachabilityGraph</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../../../org/sdmlib/models/pattern/ReachabilityGraph.html#withoutStates-org.sdmlib.models.pattern.ReachableState...-">withoutStates</a></span>(<a href="../../../../org/sdmlib/models/pattern/ReachableState.html" title="class in org.sdmlib.models.pattern">ReachableState</a>...&nbsp;value)</code>&nbsp;</td>
</tr>
<tr id="i34" class="altColor">
<td class="colFirst"><code><a href="../../../../org/sdmlib/models/pattern/ReachabilityGraph.html" title="class in org.sdmlib.models.pattern">ReachabilityGraph</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../../../org/sdmlib/models/pattern/ReachabilityGraph.html#withoutStates-org.sdmlib.models.pattern.ReachableState-">withoutStates</a></span>(<a href="../../../../org/sdmlib/models/pattern/ReachableState.html" title="class in org.sdmlib.models.pattern">ReachableState</a>&nbsp;value)</code>&nbsp;</td>
</tr>
<tr id="i35" class="rowColor">
<td class="colFirst"><code><a href="../../../../org/sdmlib/models/pattern/ReachabilityGraph.html" title="class in org.sdmlib.models.pattern">ReachabilityGraph</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../../../org/sdmlib/models/pattern/ReachabilityGraph.html#withoutTodo-org.sdmlib.models.pattern.ReachableState...-">withoutTodo</a></span>(<a href="../../../../org/sdmlib/models/pattern/ReachableState.html" title="class in org.sdmlib.models.pattern">ReachableState</a>...&nbsp;value)</code>&nbsp;</td>
</tr>
<tr id="i36" class="altColor">
<td class="colFirst"><code><a href="../../../../org/sdmlib/models/pattern/ReachabilityGraph.html" title="class in org.sdmlib.models.pattern">ReachabilityGraph</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../../../org/sdmlib/models/pattern/ReachabilityGraph.html#withoutTodo-org.sdmlib.models.pattern.ReachableState-">withoutTodo</a></span>(<a href="../../../../org/sdmlib/models/pattern/ReachableState.html" title="class in org.sdmlib.models.pattern">ReachableState</a>&nbsp;value)</code>&nbsp;</td>
</tr>
<tr id="i37" class="rowColor">
<td class="colFirst"><code><a href="../../../../org/sdmlib/models/pattern/ReachabilityGraph.html" title="class in org.sdmlib.models.pattern">ReachabilityGraph</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../../../org/sdmlib/models/pattern/ReachabilityGraph.html#withRules-org.sdmlib.models.pattern.Pattern...-">withRules</a></span>(<a href="../../../../org/sdmlib/models/pattern/Pattern.html" title="class in org.sdmlib.models.pattern">Pattern</a>...&nbsp;value)</code>&nbsp;</td>
</tr>
<tr id="i38" class="altColor">
<td class="colFirst"><code><a href="../../../../org/sdmlib/models/pattern/ReachabilityGraph.html" title="class in org.sdmlib.models.pattern">ReachabilityGraph</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../../../org/sdmlib/models/pattern/ReachabilityGraph.html#withRules-org.sdmlib.models.pattern.Pattern-">withRules</a></span>(<a href="../../../../org/sdmlib/models/pattern/Pattern.html" title="class in org.sdmlib.models.pattern">Pattern</a>&nbsp;value)</code>&nbsp;</td>
</tr>
<tr id="i39" class="rowColor">
<td class="colFirst"><code><a href="../../../../org/sdmlib/models/pattern/ReachabilityGraph.html" title="class in org.sdmlib.models.pattern">ReachabilityGraph</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../../../org/sdmlib/models/pattern/ReachabilityGraph.html#withStateMap-java.lang.String-org.sdmlib.models.pattern.ReachableState-">withStateMap</a></span>(java.lang.String&nbsp;certificate,
            <a href="../../../../org/sdmlib/models/pattern/ReachableState.html" title="class in org.sdmlib.models.pattern">ReachableState</a>&nbsp;newState)</code>&nbsp;</td>
</tr>
<tr id="i40" class="altColor">
<td class="colFirst"><code><a href="../../../../org/sdmlib/models/pattern/ReachabilityGraph.html" title="class in org.sdmlib.models.pattern">ReachabilityGraph</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../../../org/sdmlib/models/pattern/ReachabilityGraph.html#withStates-org.sdmlib.models.pattern.ReachableState...-">withStates</a></span>(<a href="../../../../org/sdmlib/models/pattern/ReachableState.html" title="class in org.sdmlib.models.pattern">ReachableState</a>...&nbsp;value)</code>&nbsp;</td>
</tr>
<tr id="i41" class="rowColor">
<td class="colFirst"><code><a href="../../../../org/sdmlib/models/pattern/ReachabilityGraph.html" title="class in org.sdmlib.models.pattern">ReachabilityGraph</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../../../org/sdmlib/models/pattern/ReachabilityGraph.html#withStates-org.sdmlib.models.pattern.ReachableState-">withStates</a></span>(<a href="../../../../org/sdmlib/models/pattern/ReachableState.html" title="class in org.sdmlib.models.pattern">ReachableState</a>&nbsp;value)</code>&nbsp;</td>
</tr>
<tr id="i42" class="altColor">
<td class="colFirst"><code><a href="../../../../org/sdmlib/models/pattern/ReachabilityGraph.html" title="class in org.sdmlib.models.pattern">ReachabilityGraph</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../../../org/sdmlib/models/pattern/ReachabilityGraph.html#withTodo-org.sdmlib.models.pattern.ReachableState...-">withTodo</a></span>(<a href="../../../../org/sdmlib/models/pattern/ReachableState.html" title="class in org.sdmlib.models.pattern">ReachableState</a>...&nbsp;value)</code>&nbsp;</td>
</tr>
<tr id="i43" class="rowColor">
<td class="colFirst"><code><a href="../../../../org/sdmlib/models/pattern/ReachabilityGraph.html" title="class in org.sdmlib.models.pattern">ReachabilityGraph</a></code></td>
<td class="colLast"><code><span class="memberNameLink"><a href="../../../../org/sdmlib/models/pattern/ReachabilityGraph.html#withTodo-org.sdmlib.models.pattern.ReachableState-">withTodo</a></span>(<a href="../../../../org/sdmlib/models/pattern/ReachableState.html" title="class in org.sdmlib.models.pattern">ReachableState</a>&nbsp;value)</code>&nbsp;</td>
</tr>
</table>
<ul class="blockList">
<li class="blockList"><a name="methods.inherited.from.class.java.lang.Object">
<!--   -->
</a>
<h3>Methods inherited from class&nbsp;java.lang.Object</h3>
<code>clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait</code></li>
</ul>
</li>
</ul>
</li>
</ul>
</div>
<div class="details">
<ul class="blockList">
<li class="blockList">
<!-- ============ FIELD DETAIL =========== -->
<ul class="blockList">
<li class="blockList"><a name="field.detail">
<!--   -->
</a>
<h3>Field Detail</h3>
<a name="listeners">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>listeners</h4>
<pre>protected&nbsp;java.beans.PropertyChangeSupport listeners</pre>
</li>
</ul>
<a name="PROPERTY_STATES">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>PROPERTY_STATES</h4>
<pre>public static final&nbsp;java.lang.String PROPERTY_STATES</pre>
<div class="block"><pre>
              one                       many
 ReachabilityGraph ----------------------------------- ReachableState
              parent                   states
 </pre></div>
<dl>
<dt><span class="seeLabel">See Also:</span></dt>
<dd><a href="../../../../constant-values.html#org.sdmlib.models.pattern.ReachabilityGraph.PROPERTY_STATES">Constant Field Values</a></dd>
</dl>
</li>
</ul>
<a name="PROPERTY_TODO">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>PROPERTY_TODO</h4>
<pre>public static final&nbsp;java.lang.String PROPERTY_TODO</pre>
<div class="block"><pre>
              one                       many
 ReachabilityGraph ----------------------------------- ReachableState
              master                   todo
 </pre></div>
<dl>
<dt><span class="seeLabel">See Also:</span></dt>
<dd><a href="../../../../constant-values.html#org.sdmlib.models.pattern.ReachabilityGraph.PROPERTY_TODO">Constant Field Values</a></dd>
</dl>
</li>
</ul>
<a name="PROPERTY_RULES">
<!--   -->
</a>
<ul class="blockListLast">
<li class="blockList">
<h4>PROPERTY_RULES</h4>
<pre>public static final&nbsp;java.lang.String PROPERTY_RULES</pre>
<div class="block"><pre>
              one                       many
 ReachabilityGraph ----------------------------------- Pattern
              rgraph                   rules
 </pre></div>
<dl>
<dt><span class="seeLabel">See Also:</span></dt>
<dd><a href="../../../../constant-values.html#org.sdmlib.models.pattern.ReachabilityGraph.PROPERTY_RULES">Constant Field Values</a></dd>
</dl>
</li>
</ul>
</li>
</ul>
<!-- ========= CONSTRUCTOR DETAIL ======== -->
<ul class="blockList">
<li class="blockList"><a name="constructor.detail">
<!--   -->
</a>
<h3>Constructor Detail</h3>
<a name="ReachabilityGraph--">
<!--   -->
</a>
<ul class="blockListLast">
<li class="blockList">
<h4>ReachabilityGraph</h4>
<pre>public&nbsp;ReachabilityGraph()</pre>
</li>
</ul>
</li>
</ul>
<!-- ============ METHOD DETAIL ========== -->
<ul class="blockList">
<li class="blockList"><a name="method.detail">
<!--   -->
</a>
<h3>Method Detail</h3>
<a name="dumpDiagram-java.lang.String-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>dumpDiagram</h4>
<pre>public&nbsp;java.lang.String&nbsp;dumpDiagram(java.lang.String&nbsp;name)</pre>
</li>
</ul>
<a name="getAdapter--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getAdapter</h4>
<pre>public&nbsp;<a href="../../../../org/sdmlib/doc/interfaze/Adapter/GuiAdapter.html" title="interface in org.sdmlib.doc.interfaze.Adapter">GuiAdapter</a>&nbsp;getAdapter()</pre>
</li>
</ul>
<a name="getPropertyChangeSupport--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getPropertyChangeSupport</h4>
<pre>public&nbsp;java.beans.PropertyChangeSupport&nbsp;getPropertyChangeSupport()</pre>
<div class="block"><span class="descfrmTypeLabel">Description copied from interface:&nbsp;<code><a href="../../../../org/sdmlib/serialization/PropertyChangeInterface.html#getPropertyChangeSupport--">PropertyChangeInterface</a></code></span></div>
<div class="block">Get the propertyChangeSupport attribute of the PropertyChangeInterface
 object</div>
<dl>
<dt><span class="overrideSpecifyLabel">Specified by:</span></dt>
<dd><code><a href="../../../../org/sdmlib/serialization/PropertyChangeInterface.html#getPropertyChangeSupport--">getPropertyChangeSupport</a></code>&nbsp;in interface&nbsp;<code><a href="../../../../org/sdmlib/serialization/PropertyChangeInterface.html" title="interface in org.sdmlib.serialization">PropertyChangeInterface</a></code></dd>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>The propertyChangeSupport value</dd>
</dl>
</li>
</ul>
<a name="removeYou--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>removeYou</h4>
<pre>public&nbsp;void&nbsp;removeYou()</pre>
</li>
</ul>
<a name="withStateMap-java.lang.String-org.sdmlib.models.pattern.ReachableState-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>withStateMap</h4>
<pre>public&nbsp;<a href="../../../../org/sdmlib/models/pattern/ReachabilityGraph.html" title="class in org.sdmlib.models.pattern">ReachabilityGraph</a>&nbsp;withStateMap(java.lang.String&nbsp;certificate,
                                      <a href="../../../../org/sdmlib/models/pattern/ReachableState.html" title="class in org.sdmlib.models.pattern">ReachableState</a>&nbsp;newState)</pre>
</li>
</ul>
<a name="getStateMap-java.lang.String-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getStateMap</h4>
<pre>public&nbsp;<a href="../../../../org/sdmlib/models/pattern/util/ReachableStateSet.html" title="class in org.sdmlib.models.pattern.util">ReachableStateSet</a>&nbsp;getStateMap(java.lang.String&nbsp;certificate)</pre>
</li>
</ul>
<a name="getStates--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getStates</h4>
<pre>public&nbsp;<a href="../../../../org/sdmlib/models/pattern/util/ReachableStateSet.html" title="class in org.sdmlib.models.pattern.util">ReachableStateSet</a>&nbsp;getStates()</pre>
</li>
</ul>
<a name="addToStates-org.sdmlib.models.pattern.ReachableState-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>addToStates</h4>
<pre>public&nbsp;boolean&nbsp;addToStates(<a href="../../../../org/sdmlib/models/pattern/ReachableState.html" title="class in org.sdmlib.models.pattern">ReachableState</a>&nbsp;value)</pre>
</li>
</ul>
<a name="removeFromStates-org.sdmlib.models.pattern.ReachableState-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>removeFromStates</h4>
<pre>public&nbsp;boolean&nbsp;removeFromStates(<a href="../../../../org/sdmlib/models/pattern/ReachableState.html" title="class in org.sdmlib.models.pattern">ReachableState</a>&nbsp;value)</pre>
</li>
</ul>
<a name="withStates-org.sdmlib.models.pattern.ReachableState-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>withStates</h4>
<pre>public&nbsp;<a href="../../../../org/sdmlib/models/pattern/ReachabilityGraph.html" title="class in org.sdmlib.models.pattern">ReachabilityGraph</a>&nbsp;withStates(<a href="../../../../org/sdmlib/models/pattern/ReachableState.html" title="class in org.sdmlib.models.pattern">ReachableState</a>&nbsp;value)</pre>
</li>
</ul>
<a name="withoutStates-org.sdmlib.models.pattern.ReachableState-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>withoutStates</h4>
<pre>public&nbsp;<a href="../../../../org/sdmlib/models/pattern/ReachabilityGraph.html" title="class in org.sdmlib.models.pattern">ReachabilityGraph</a>&nbsp;withoutStates(<a href="../../../../org/sdmlib/models/pattern/ReachableState.html" title="class in org.sdmlib.models.pattern">ReachableState</a>&nbsp;value)</pre>
</li>
</ul>
<a name="removeAllFromStates--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>removeAllFromStates</h4>
<pre>public&nbsp;void&nbsp;removeAllFromStates()</pre>
</li>
</ul>
<a name="createStates--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>createStates</h4>
<pre>public&nbsp;<a href="../../../../org/sdmlib/models/pattern/ReachableState.html" title="class in org.sdmlib.models.pattern">ReachableState</a>&nbsp;createStates()</pre>
</li>
</ul>
<a name="getTodo--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getTodo</h4>
<pre>public&nbsp;<a href="../../../../org/sdmlib/models/pattern/util/ReachableStateSet.html" title="class in org.sdmlib.models.pattern.util">ReachableStateSet</a>&nbsp;getTodo()</pre>
</li>
</ul>
<a name="addToTodo-org.sdmlib.models.pattern.ReachableState-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>addToTodo</h4>
<pre>public&nbsp;boolean&nbsp;addToTodo(<a href="../../../../org/sdmlib/models/pattern/ReachableState.html" title="class in org.sdmlib.models.pattern">ReachableState</a>&nbsp;value)</pre>
</li>
</ul>
<a name="removeFromTodo-org.sdmlib.models.pattern.ReachableState-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>removeFromTodo</h4>
<pre>public&nbsp;boolean&nbsp;removeFromTodo(<a href="../../../../org/sdmlib/models/pattern/ReachableState.html" title="class in org.sdmlib.models.pattern">ReachableState</a>&nbsp;value)</pre>
</li>
</ul>
<a name="withTodo-org.sdmlib.models.pattern.ReachableState-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>withTodo</h4>
<pre>public&nbsp;<a href="../../../../org/sdmlib/models/pattern/ReachabilityGraph.html" title="class in org.sdmlib.models.pattern">ReachabilityGraph</a>&nbsp;withTodo(<a href="../../../../org/sdmlib/models/pattern/ReachableState.html" title="class in org.sdmlib.models.pattern">ReachableState</a>&nbsp;value)</pre>
</li>
</ul>
<a name="withoutTodo-org.sdmlib.models.pattern.ReachableState-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>withoutTodo</h4>
<pre>public&nbsp;<a href="../../../../org/sdmlib/models/pattern/ReachabilityGraph.html" title="class in org.sdmlib.models.pattern">ReachabilityGraph</a>&nbsp;withoutTodo(<a href="../../../../org/sdmlib/models/pattern/ReachableState.html" title="class in org.sdmlib.models.pattern">ReachableState</a>&nbsp;value)</pre>
</li>
</ul>
<a name="removeAllFromTodo--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>removeAllFromTodo</h4>
<pre>public&nbsp;void&nbsp;removeAllFromTodo()</pre>
</li>
</ul>
<a name="createTodo--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>createTodo</h4>
<pre>public&nbsp;<a href="../../../../org/sdmlib/models/pattern/ReachableState.html" title="class in org.sdmlib.models.pattern">ReachableState</a>&nbsp;createTodo()</pre>
</li>
</ul>
<a name="getRules--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getRules</h4>
<pre>public&nbsp;<a href="../../../../org/sdmlib/models/pattern/util/PatternSet.html" title="class in org.sdmlib.models.pattern.util">PatternSet</a>&nbsp;getRules()</pre>
</li>
</ul>
<a name="addToRules-org.sdmlib.models.pattern.Pattern-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>addToRules</h4>
<pre>public&nbsp;boolean&nbsp;addToRules(<a href="../../../../org/sdmlib/models/pattern/Pattern.html" title="class in org.sdmlib.models.pattern">Pattern</a>&nbsp;value)</pre>
</li>
</ul>
<a name="removeFromRules-org.sdmlib.models.pattern.Pattern-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>removeFromRules</h4>
<pre>public&nbsp;boolean&nbsp;removeFromRules(<a href="../../../../org/sdmlib/models/pattern/Pattern.html" title="class in org.sdmlib.models.pattern">Pattern</a>&nbsp;value)</pre>
</li>
</ul>
<a name="withRules-org.sdmlib.models.pattern.Pattern-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>withRules</h4>
<pre>public&nbsp;<a href="../../../../org/sdmlib/models/pattern/ReachabilityGraph.html" title="class in org.sdmlib.models.pattern">ReachabilityGraph</a>&nbsp;withRules(<a href="../../../../org/sdmlib/models/pattern/Pattern.html" title="class in org.sdmlib.models.pattern">Pattern</a>&nbsp;value)</pre>
</li>
</ul>
<a name="withoutRules-org.sdmlib.models.pattern.Pattern-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>withoutRules</h4>
<pre>public&nbsp;<a href="../../../../org/sdmlib/models/pattern/ReachabilityGraph.html" title="class in org.sdmlib.models.pattern">ReachabilityGraph</a>&nbsp;withoutRules(<a href="../../../../org/sdmlib/models/pattern/Pattern.html" title="class in org.sdmlib.models.pattern">Pattern</a>&nbsp;value)</pre>
</li>
</ul>
<a name="removeAllFromRules--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>removeAllFromRules</h4>
<pre>public&nbsp;void&nbsp;removeAllFromRules()</pre>
</li>
</ul>
<a name="createRules--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>createRules</h4>
<pre>public&nbsp;<a href="../../../../org/sdmlib/models/pattern/Pattern.html" title="class in org.sdmlib.models.pattern">Pattern</a>&nbsp;createRules()</pre>
</li>
</ul>
<a name="explore--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>explore</h4>
<pre>public&nbsp;long&nbsp;explore()</pre>
</li>
</ul>
<a name="explore-long-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>explore</h4>
<pre>public&nbsp;long&nbsp;explore(long&nbsp;maxNoOfNewStates)</pre>
</li>
</ul>
<a name="match-org.sdmlib.models.pattern.ReachableState-org.sdmlib.models.pattern.ReachableState-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>match</h4>
<pre>public&nbsp;java.util.LinkedHashMap&lt;java.lang.String,java.lang.String&gt;&nbsp;match(<a href="../../../../org/sdmlib/models/pattern/ReachableState.html" title="class in org.sdmlib.models.pattern">ReachableState</a>&nbsp;s1,
                                                                        <a href="../../../../org/sdmlib/models/pattern/ReachableState.html" title="class in org.sdmlib.models.pattern">ReachableState</a>&nbsp;s2)</pre>
</li>
</ul>
<a name="match-org.sdmlib.models.pattern.ReachableState-de.uniks.networkparser.json.JsonArray-java.util.LinkedHashMap-org.sdmlib.models.pattern.ReachableState-de.uniks.networkparser.json.JsonArray-java.util.LinkedHashMap-java.lang.String-java.util.LinkedHashMap-java.util.LinkedHashMap-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>match</h4>
<pre>public&nbsp;boolean&nbsp;match(<a href="../../../../org/sdmlib/models/pattern/ReachableState.html" title="class in org.sdmlib.models.pattern">ReachableState</a>&nbsp;s1,
                     de.uniks.networkparser.json.JsonArray&nbsp;ja1,
                     java.util.LinkedHashMap&lt;java.lang.String,de.uniks.networkparser.json.JsonObject&gt;&nbsp;joMap1,
                     <a href="../../../../org/sdmlib/models/pattern/ReachableState.html" title="class in org.sdmlib.models.pattern">ReachableState</a>&nbsp;s2,
                     de.uniks.networkparser.json.JsonArray&nbsp;ja2,
                     java.util.LinkedHashMap&lt;java.lang.String,de.uniks.networkparser.json.JsonObject&gt;&nbsp;joMap2,
                     java.lang.String&nbsp;cn1,
                     java.util.LinkedHashMap&lt;java.lang.String,java.lang.String&gt;&nbsp;fwdmapping,
                     java.util.LinkedHashMap&lt;java.lang.String,java.lang.String&gt;&nbsp;bwdmapping)</pre>
</li>
</ul>
<a name="getMasterMap--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getMasterMap</h4>
<pre>public&nbsp;de.uniks.networkparser.json.JsonIdMap&nbsp;getMasterMap()</pre>
</li>
</ul>
<a name="setMasterMap-de.uniks.networkparser.json.JsonIdMap-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>setMasterMap</h4>
<pre>public&nbsp;void&nbsp;setMasterMap(de.uniks.networkparser.json.JsonIdMap&nbsp;newMasterMap)</pre>
</li>
</ul>
<a name="withMasterMap-de.uniks.networkparser.json.JsonIdMap-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>withMasterMap</h4>
<pre>public&nbsp;<a href="../../../../org/sdmlib/models/pattern/ReachabilityGraph.html" title="class in org.sdmlib.models.pattern">ReachabilityGraph</a>&nbsp;withMasterMap(de.uniks.networkparser.json.JsonIdMap&nbsp;map)</pre>
</li>
</ul>
<a name="withStates-org.sdmlib.models.pattern.ReachableState...-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>withStates</h4>
<pre>public&nbsp;<a href="../../../../org/sdmlib/models/pattern/ReachabilityGraph.html" title="class in org.sdmlib.models.pattern">ReachabilityGraph</a>&nbsp;withStates(<a href="../../../../org/sdmlib/models/pattern/ReachableState.html" title="class in org.sdmlib.models.pattern">ReachableState</a>...&nbsp;value)</pre>
</li>
</ul>
<a name="withoutStates-org.sdmlib.models.pattern.ReachableState...-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>withoutStates</h4>
<pre>public&nbsp;<a href="../../../../org/sdmlib/models/pattern/ReachabilityGraph.html" title="class in org.sdmlib.models.pattern">ReachabilityGraph</a>&nbsp;withoutStates(<a href="../../../../org/sdmlib/models/pattern/ReachableState.html" title="class in org.sdmlib.models.pattern">ReachableState</a>...&nbsp;value)</pre>
</li>
</ul>
<a name="withTodo-org.sdmlib.models.pattern.ReachableState...-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>withTodo</h4>
<pre>public&nbsp;<a href="../../../../org/sdmlib/models/pattern/ReachabilityGraph.html" title="class in org.sdmlib.models.pattern">ReachabilityGraph</a>&nbsp;withTodo(<a href="../../../../org/sdmlib/models/pattern/ReachableState.html" title="class in org.sdmlib.models.pattern">ReachableState</a>...&nbsp;value)</pre>
</li>
</ul>
<a name="withoutTodo-org.sdmlib.models.pattern.ReachableState...-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>withoutTodo</h4>
<pre>public&nbsp;<a href="../../../../org/sdmlib/models/pattern/ReachabilityGraph.html" title="class in org.sdmlib.models.pattern">ReachabilityGraph</a>&nbsp;withoutTodo(<a href="../../../../org/sdmlib/models/pattern/ReachableState.html" title="class in org.sdmlib.models.pattern">ReachableState</a>...&nbsp;value)</pre>
</li>
</ul>
<a name="withRules-org.sdmlib.models.pattern.Pattern...-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>withRules</h4>
<pre>public&nbsp;<a href="../../../../org/sdmlib/models/pattern/ReachabilityGraph.html" title="class in org.sdmlib.models.pattern">ReachabilityGraph</a>&nbsp;withRules(<a href="../../../../org/sdmlib/models/pattern/Pattern.html" title="class in org.sdmlib.models.pattern">Pattern</a>...&nbsp;value)</pre>
</li>
</ul>
<a name="withoutRules-org.sdmlib.models.pattern.Pattern...-">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>withoutRules</h4>
<pre>public&nbsp;<a href="../../../../org/sdmlib/models/pattern/ReachabilityGraph.html" title="class in org.sdmlib.models.pattern">ReachabilityGraph</a>&nbsp;withoutRules(<a href="../../../../org/sdmlib/models/pattern/Pattern.html" title="class in org.sdmlib.models.pattern">Pattern</a>...&nbsp;value)</pre>
</li>
</ul>
<a name="createRulesNegativeApplicationCondition--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>createRulesNegativeApplicationCondition</h4>
<pre>public&nbsp;<a href="../../../../org/sdmlib/models/pattern/Pattern.html" title="class in org.sdmlib.models.pattern">Pattern</a>&nbsp;createRulesNegativeApplicationCondition()</pre>
</li>
</ul>
<a name="createRulesOptionalSubPattern--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>createRulesOptionalSubPattern</h4>
<pre>public&nbsp;<a href="../../../../org/sdmlib/models/pattern/Pattern.html" title="class in org.sdmlib.models.pattern">Pattern</a>&nbsp;createRulesOptionalSubPattern()</pre>
</li>
</ul>
<a name="createNegativeApplicationCondition--">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>createNegativeApplicationCondition</h4>
<pre>public&nbsp;<a href="../../../../org/sdmlib/models/pattern/NegativeApplicationCondition.html" title="class in org.sdmlib.models.pattern">NegativeApplicationCondition</a>&nbsp;createNegativeApplicationCondition()</pre>
</li>
</ul>
<a name="createOptionalSubPattern--">
<!--   -->
</a>
<ul class="blockListLast">
<li class="blockList">
<h4>createOptionalSubPattern</h4>
<pre>public&nbsp;<a href="../../../../org/sdmlib/models/pattern/OptionalSubPattern.html" title="class in org.sdmlib.models.pattern">OptionalSubPattern</a>&nbsp;createOptionalSubPattern()</pre>
</li>
</ul>
</li>
</ul>
</li>
</ul>
</div>
</div>
<!-- ========= END OF CLASS DATA ========= -->
<!-- ======= START OF BOTTOM NAVBAR ====== -->
<div class="bottomNav"><a name="navbar.bottom">
<!--   -->
</a>
<div class="skipNav"><a href="#skip.navbar.bottom" title="Skip navigation links">Skip navigation links</a></div>
<a name="navbar.bottom.firstrow">
<!--   -->
</a>
<ul class="navList" title="Navigation">
<li><a href="../../../../overview-summary.html">Overview</a></li>
<li><a href="package-summary.html">Package</a></li>
<li class="navBarCell1Rev">Class</li>
<li><a href="package-tree.html">Tree</a></li>
<li><a href="../../../../deprecated-list.html">Deprecated</a></li>
<li><a href="../../../../index-all.html">Index</a></li>
<li><a href="../../../../help-doc.html">Help</a></li>
</ul>
</div>
<div class="subNav">
<ul class="navList">
<li><a href="../../../../org/sdmlib/models/pattern/PatternObject.html" title="class in org.sdmlib.models.pattern"><span class="typeNameLink">Prev&nbsp;Class</span></a></li>
<li><a href="../../../../org/sdmlib/models/pattern/ReachableState.html" title="class in org.sdmlib.models.pattern"><span class="typeNameLink">Next&nbsp;Class</span></a></li>
</ul>
<ul class="navList">
<li><a href="../../../../index.html?org/sdmlib/models/pattern/ReachabilityGraph.html" target="_top">Frames</a></li>
<li><a href="ReachabilityGraph.html" target="_top">No&nbsp;Frames</a></li>
</ul>
<ul class="navList" id="allclasses_navbar_bottom">
<li><a href="../../../../allclasses-noframe.html">All&nbsp;Classes</a></li>
</ul>
<div>
<script type="text/javascript"><!--
  allClassesLink = document.getElementById("allclasses_navbar_bottom");
  if(window==top) {
    allClassesLink.style.display = "block";
  }
  else {
    allClassesLink.style.display = "none";
  }
  //-->
</script>
</div>
<div>
<ul class="subNavList">
<li>Summary:&nbsp;</li>
<li>Nested&nbsp;|&nbsp;</li>
<li><a href="#field.summary">Field</a>&nbsp;|&nbsp;</li>
<li><a href="#constructor.summary">Constr</a>&nbsp;|&nbsp;</li>
<li><a href="#method.summary">Method</a></li>
</ul>
<ul class="subNavList">
<li>Detail:&nbsp;</li>
<li><a href="#field.detail">Field</a>&nbsp;|&nbsp;</li>
<li><a href="#constructor.detail">Constr</a>&nbsp;|&nbsp;</li>
<li><a href="#method.detail">Method</a></li>
</ul>
</div>
<a name="skip.navbar.bottom">
<!--   -->
</a></div>
<!-- ======== END OF BOTTOM NAVBAR ======= -->
</body>
</html>
New to GrepCode? Check out our FAQ X