Revision 5

View differences:

petri/Readme.md
11 11 
Nous avons aussi déclaré des constante ArcEntering, ArcOutering, qui sont des entier pour que lors de la declaration des arc le choix soit clair.
12 12 

  		




  13
  13
  
    
## Execution du code


  		




  14
  
  
    
Nous avons réalisé des tests "manuel" pour chaque classe et leurs methodes réspectivent. Pour les excuter il *faut executer la methode main de la classe*.


  		




  
  14
  
    
Nous avons réalisé des tests Junit pour chaque classe et leurs methodes réspectivent. Pour les excuter il *faut executer src as a Junit test*. Nous avons a chaque fois testé chaque methodes. Mais les tests ne sont sans doute pas exaustif.


  		




  
  15
  
    
Lorsque on fait cela on voit **4 erreurs**, en effet,les test des différent classe de Arc (ArcOutering,...) ne sont pas "relier" a leur test mais ces classes sont **bien tésté**.


  		




  15
  16
  
    

  		




  
  17
  
    
En executant src *as a Java Application*, on voit un exemple simple de réseau de petrie


  		




  16
  18
  
    

  		




  17
  
  
    
**Liste des tests effectuées :**


  		




  18
  
  
    
* place: changeToken(int i), isempty(), equals(),


  		




  19
  
  
    
* pour chaque classe Arc : isAtcive(), isPullable(), doTranstion() et equals(),


  		




  20
  
  
    
* transition : isPullable(),doTransition(),


  		




  21
  
  
    
* network : cas simple a 2 arc et 1 une transition, deletPlace(place),deleteArc(arc), deleteTransition(transtion), et les methodes add


  		




  22
  
  
    

  		




  
  19
  
    
Nous n'avons pas encore rajouté la JDOC


  		












  

    
      petri/doc/main/package-use.html
    
  





  
  1
  
    
<!DOCTYPE HTML>


  		




  
  2
  
    
<!-- NewPage -->


  		




  
  3
  
    
<html lang="fr">


  		




  
  4
  
    
<head>


  		




  
  5
  
    
<!-- Generated by javadoc (11.0.8) on Mon Nov 02 17:36:44 CET 2020 -->


  		




  
  6
  
    
<title>Uses of Package main</title>


  		




  
  7
  
    
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">


  		




  
  8
  
    
<meta name="dc.created" content="2020-11-02">


  		




  
  9
  
    
<link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">


  		




  
  10
  
    
<link rel="stylesheet" type="text/css" href="../jquery/jquery-ui.css" title="Style">


  		




  
  11
  
    
<script type="text/javascript" src="../script.js"></script>


  		




  
  12
  
    
<script type="text/javascript" src="../jquery/jszip/dist/jszip.min.js"></script>


  		




  
  13
  
    
<script type="text/javascript" src="../jquery/jszip-utils/dist/jszip-utils.min.js"></script>


  		




  
  14
  
    
<!--[if IE]>


  		




  
  15
  
    
<script type="text/javascript" src="../jquery/jszip-utils/dist/jszip-utils-ie.min.js"></script>


  		




  
  16
  
    
<![endif]-->


  		




  
  17
  
    
<script type="text/javascript" src="../jquery/jquery-3.3.1.js"></script>


  		




  
  18
  
    
<script type="text/javascript" src="../jquery/jquery-migrate-3.0.1.js"></script>


  		




  
  19
  
    
<script type="text/javascript" src="../jquery/jquery-ui.js"></script>


  		




  
  20
  
    
</head>


  		




  
  21
  
    
<body>


  		




  
  22
  
    
<script type="text/javascript"><!--


  		




  
  23
  
    
    try {


  		




  
  24
  
    
        if (location.href.indexOf('is-external=true') == -1) {


  		




  
  25
  
    
            parent.document.title="Uses of Package main";


  		




  
  26
  
    
        }


  		




  
  27
  
    
    }


  		




  
  28
  
    
    catch(err) {


  		




  
  29
  
    
    }


  		




  
  30
  
    
//-->


  		




  
  31
  
    
var pathtoroot = "../";


  		




  
  32
  
    
var useModuleDirectories = true;


  		




  
  33
  
    
loadScripts(document, 'script');</script>


  		




  
  34
  
    
<noscript>


  		




  
  35
  
    
<div>JavaScript is disabled on your browser.</div>


  		




  
  36
  
    
</noscript>


  		




  
  37
  
    
<header role="banner">


  		




  
  38
  
    
<nav role="navigation">


  		




  
  39
  
    
<div class="fixedNav">


  		




  
  40
  
    
<!-- ========= START OF TOP NAVBAR ======= -->


  		




  
  41
  
    
<div class="topNav"><a id="navbar.top">


  		




  
  42
  
    
<!--   -->


  		




  
  43
  
    
</a>


  		




  
  44
  
    
<div class="skipNav"><a href="#skip.navbar.top" title="Skip navigation links">Skip navigation links</a></div>


  		




  
  45
  
    
<a id="navbar.top.firstrow">


  		




  
  46
  
    
<!--   -->


  		




  
  47
  
    
</a>


  		




  
  48
  
    
<ul class="navList" title="Navigation">


  		




  
  49
  
    
<li><a href="../index.html">Overview</a></li>


  		




  
  50
  
    
<li><a href="package-summary.html">Package</a></li>


  		




  
  51
  
    
<li>Class</li>


  		




  
  52
  
    
<li class="navBarCell1Rev">Use</li>


  		




  
  53
  
    
<li><a href="package-tree.html">Tree</a></li>


  		




  
  54
  
    
<li><a href="../deprecated-list.html">Deprecated</a></li>


  		




  
  55
  
    
<li><a href="../index-files/index-1.html">Index</a></li>


  		




  
  56
  
    
<li><a href="../help-doc.html">Help</a></li>


  		




  
  57
  
    
</ul>


  		




  
  58
  
    
</div>


  		




  
  59
  
    
<div class="subNav">


  		




  
  60
  
    
<ul class="navList" id="allclasses_navbar_top">


  		




  
  61
  
    
<li><a href="../allclasses.html">All&nbsp;Classes</a></li>


  		




  
  62
  
    
</ul>


  		




  
  63
  
    
<ul class="navListSearch">


  		




  
  64
  
    
<li><label for="search">SEARCH:</label>


  		




  
  65
  
    
<input type="text" id="search" value="search" disabled="disabled">


  		




  
  66
  
    
<input type="reset" id="reset" value="reset" disabled="disabled">


  		




  
  67
  
    
</li>


  		




  
  68
  
    
</ul>


  		




  
  69
  
    
<div>


  		




  
  70
  
    
<script type="text/javascript"><!--


  		




  
  71
  
    
  allClassesLink = document.getElementById("allclasses_navbar_top");


  		




  
  72
  
    
  if(window==top) {


  		




  
  73
  
    
    allClassesLink.style.display = "block";


  		




  
  74
  
    
  }


  		




  
  75
  
    
  else {


  		




  
  76
  
    
    allClassesLink.style.display = "none";


  		




  
  77
  
    
  }


  		




  
  78
  
    
  //-->


  		




  
  79
  
    
</script>


  		




  
  80
  
    
<noscript>


  		




  
  81
  
    
<div>JavaScript is disabled on your browser.</div>


  		




  
  82
  
    
</noscript>


  		




  
  83
  
    
</div>


  		




  
  84
  
    
<a id="skip.navbar.top">


  		




  
  85
  
    
<!--   -->


  		




  
  86
  
    
</a></div>


  		




  
  87
  
    
<!-- ========= END OF TOP NAVBAR ========= -->


  		




  
  88
  
    
</div>


  		




  
  89
  
    
<div class="navPadding">&nbsp;</div>


  		




  
  90
  
    
<script type="text/javascript"><!--


  		




  
  91
  
    
$('.navPadding').css('padding-top', $('.fixedNav').css("height"));


  		




  
  92
  
    
//-->


  		




  
  93
  
    
</script>


  		




  
  94
  
    
</nav>


  		




  
  95
  
    
</header>


  		




  
  96
  
    
<main role="main">


  		




  
  97
  
    
<div class="header">


  		




  
  98
  
    
<h1 title="Uses of Package main" class="title">Uses of Package<br>main</h1>


  		




  
  99
  
    
</div>


  		




  
  100
  
    
<div class="contentContainer">


  		




  
  101
  
    
<ul class="blockList">


  		




  
  102
  
    
<li class="blockList">


  		




  
  103
  
    
<table class="useSummary">


  		




  
  104
  
    
<caption><span>Packages that use <a href="package-summary.html">main</a></span><span class="tabEnd">&nbsp;</span></caption>


  		




  
  105
  
    
<tr>


  		




  
  106
  
    
<th class="colFirst" scope="col">Package</th>


  		




  
  107
  
    
<th class="colLast" scope="col">Description</th>


  		




  
  108
  
    
</tr>


  		




  
  109
  
    
<tbody>


  		




  
  110
  
    
<tr class="altColor">


  		




  
  111
  
    
<th class="colFirst" scope="row"><a href="#main">main</a></th>


  		




  
  112
  
    
<td class="colLast">&nbsp;</td>


  		




  
  113
  
    
</tr>


  		




  
  114
  
    
</tbody>


  		




  
  115
  
    
</table>


  		




  
  116
  
    
</li>


  		




  
  117
  
    
<li class="blockList"><a id="main">


  		




  
  118
  
    
<!--   -->


  		




  
  119
  
    
</a>


  		




  
  120
  
    
<table class="useSummary">


  		




  
  121
  
    
<caption><span>Classes in <a href="package-summary.html">main</a> used by <a href="package-summary.html">main</a></span><span class="tabEnd">&nbsp;</span></caption>


  		




  
  122
  
    
<tr>


  		




  
  123
  
    
<th class="colFirst" scope="col">Class</th>


  		




  
  124
  
    
<th class="colLast" scope="col">Description</th>


  		




  
  125
  
    
</tr>


  		




  
  126
  
    
<tbody>


  		




  
  127
  
    
<tr class="altColor">


  		




  
  128
  
    
<th class="colFirst" scope="row"><a href="class-use/Network.UndefinedIdentifier.html#main">Network.UndefinedIdentifier</a></th>


  		




  
  129
  
    
<td class="colLast">&nbsp;</td>


  		




  
  130
  
    
</tr>


  		




  
  131
  
    
</tbody>


  		




  
  132
  
    
</table>


  		




  
  133
  
    
</li>


  		




  
  134
  
    
</ul>


  		




  
  135
  
    
</div>


  		




  
  136
  
    
</main>


  		




  
  137
  
    
<footer role="contentinfo">


  		




  
  138
  
    
<nav role="navigation">


  		




  
  139
  
    
<!-- ======= START OF BOTTOM NAVBAR ====== -->


  		




  
  140
  
    
<div class="bottomNav"><a id="navbar.bottom">


  		




  
  141
  
    
<!--   -->


  		




  
  142
  
    
</a>


  		




  
  143
  
    
<div class="skipNav"><a href="#skip.navbar.bottom" title="Skip navigation links">Skip navigation links</a></div>


  		




  
  144
  
    
<a id="navbar.bottom.firstrow">


  		




  
  145
  
    
<!--   -->


  		




  
  146
  
    
</a>


  		




  
  147
  
    
<ul class="navList" title="Navigation">


  		




  
  148
  
    
<li><a href="../index.html">Overview</a></li>


  		




  
  149
  
    
<li><a href="package-summary.html">Package</a></li>


  		




  
  150
  
    
<li>Class</li>


  		




  
  151
  
    
<li class="navBarCell1Rev">Use</li>


  		




  
  152
  
    
<li><a href="package-tree.html">Tree</a></li>


  		




  
  153
  
    
<li><a href="../deprecated-list.html">Deprecated</a></li>


  		




  
  154
  
    
<li><a href="../index-files/index-1.html">Index</a></li>


  		




  
  155
  
    
<li><a href="../help-doc.html">Help</a></li>


  		




  
  156
  
    
</ul>


  		




  
  157
  
    
</div>


  		




  
  158
  
    
<div class="subNav">


  		




  
  159
  
    
<ul class="navList" id="allclasses_navbar_bottom">


  		




  
  160
  
    
<li><a href="../allclasses.html">All&nbsp;Classes</a></li>


  		




  
  161
  
    
</ul>


  		




  
  162
  
    
<div>


  		




  
  163
  
    
<script type="text/javascript"><!--


  		




  
  164
  
    
  allClassesLink = document.getElementById("allclasses_navbar_bottom");


  		




  
  165
  
    
  if(window==top) {


  		




  
  166
  
    
    allClassesLink.style.display = "block";


  		




  
  167
  
    
  }


  		




  
  168
  
    
  else {


  		




  
  169
  
    
    allClassesLink.style.display = "none";


  		




  
  170
  
    
  }


  		




  
  171
  
    
  //-->


  		




  
  172
  
    
</script>


  		




  
  173
  
    
<noscript>


  		




  
  174
  
    
<div>JavaScript is disabled on your browser.</div>


  		




  
  175
  
    
</noscript>


  		




  
  176
  
    
</div>


  		




  
  177
  
    
<a id="skip.navbar.bottom">


  		




  
  178
  
    
<!--   -->


  		




  
  179
  
    
</a></div>


  		




  
  180
  
    
<!-- ======== END OF BOTTOM NAVBAR ======= -->


  		




  
  181
  
    
</nav>


  		




  
  182
  
    
</footer>


  		




  
  183
  
    
</body>


  		




  
  184
  
    
</html>


  		




  0
  185
  
    

  		












  

    
      petri/doc/main/package-summary.html
    
  





  
  1
  
    
<!DOCTYPE HTML>


  		




  
  2
  
    
<!-- NewPage -->


  		




  
  3
  
    
<html lang="fr">


  		




  
  4
  
    
<head>


  		




  
  5
  
    
<!-- Generated by javadoc (11.0.8) on Mon Nov 02 17:36:44 CET 2020 -->


  		




  
  6
  
    
<title>main</title>


  		




  
  7
  
    
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">


  		




  
  8
  
    
<meta name="dc.created" content="2020-11-02">


  		




  
  9
  
    
<link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">


  		




  
  10
  
    
<link rel="stylesheet" type="text/css" href="../jquery/jquery-ui.css" title="Style">


  		




  
  11
  
    
<script type="text/javascript" src="../script.js"></script>


  		




  
  12
  
    
<script type="text/javascript" src="../jquery/jszip/dist/jszip.min.js"></script>


  		




  
  13
  
    
<script type="text/javascript" src="../jquery/jszip-utils/dist/jszip-utils.min.js"></script>


  		




  
  14
  
    
<!--[if IE]>


  		




  
  15
  
    
<script type="text/javascript" src="../jquery/jszip-utils/dist/jszip-utils-ie.min.js"></script>


  		




  
  16
  
    
<![endif]-->


  		




  
  17
  
    
<script type="text/javascript" src="../jquery/jquery-3.3.1.js"></script>


  		




  
  18
  
    
<script type="text/javascript" src="../jquery/jquery-migrate-3.0.1.js"></script>


  		




  
  19
  
    
<script type="text/javascript" src="../jquery/jquery-ui.js"></script>


  		




  
  20
  
    
</head>


  		




  
  21
  
    
<body>


  		




  
  22
  
    
<script type="text/javascript"><!--


  		




  
  23
  
    
    try {


  		




  
  24
  
    
        if (location.href.indexOf('is-external=true') == -1) {


  		




  
  25
  
    
            parent.document.title="main";


  		




  
  26
  
    
        }


  		




  
  27
  
    
    }


  		




  
  28
  
    
    catch(err) {


  		




  
  29
  
    
    }


  		




  
  30
  
    
//-->


  		




  
  31
  
    
var pathtoroot = "../";


  		




  
  32
  
    
var useModuleDirectories = true;


  		




  
  33
  
    
loadScripts(document, 'script');</script>


  		




  
  34
  
    
<noscript>


  		




  
  35
  
    
<div>JavaScript is disabled on your browser.</div>


  		




  
  36
  
    
</noscript>


  		




  
  37
  
    
<header role="banner">


  		




  
  38
  
    
<nav role="navigation">


  		




  
  39
  
    
<div class="fixedNav">


  		




  
  40
  
    
<!-- ========= START OF TOP NAVBAR ======= -->


  		




  
  41
  
    
<div class="topNav"><a id="navbar.top">


  		




  
  42
  
    
<!--   -->


  		




  
  43
  
    
</a>


  		




  
  44
  
    
<div class="skipNav"><a href="#skip.navbar.top" title="Skip navigation links">Skip navigation links</a></div>


  		




  
  45
  
    
<a id="navbar.top.firstrow">


  		




  
  46
  
    
<!--   -->


  		




  
  47
  
    
</a>


  		




  
  48
  
    
<ul class="navList" title="Navigation">


  		




  
  49
  
    
<li><a href="../index.html">Overview</a></li>


  		




  
  50
  
    
<li class="navBarCell1Rev">Package</li>


  		




  
  51
  
    
<li>Class</li>


  		




  
  52
  
    
<li><a href="package-use.html">Use</a></li>


  		




  
  53
  
    
<li><a href="package-tree.html">Tree</a></li>


  		




  
  54
  
    
<li><a href="../deprecated-list.html">Deprecated</a></li>


  		




  
  55
  
    
<li><a href="../index-files/index-1.html">Index</a></li>


  		




  
  56
  
    
<li><a href="../help-doc.html">Help</a></li>


  		




  
  57
  
    
</ul>


  		




  
  58
  
    
</div>


  		




  
  59
  
    
<div class="subNav">


  		




  
  60
  
    
<ul class="navList" id="allclasses_navbar_top">


  		




  
  61
  
    
<li><a href="../allclasses.html">All&nbsp;Classes</a></li>


  		




  
  62
  
    
</ul>


  		




  
  63
  
    
<ul class="navListSearch">


  		




  
  64
  
    
<li><label for="search">SEARCH:</label>


  		




  
  65
  
    
<input type="text" id="search" value="search" disabled="disabled">


  		




  
  66
  
    
<input type="reset" id="reset" value="reset" disabled="disabled">


  		




  
  67
  
    
</li>


  		




  
  68
  
    
</ul>


  		




  
  69
  
    
<div>


  		




  
  70
  
    
<script type="text/javascript"><!--


  		




  
  71
  
    
  allClassesLink = document.getElementById("allclasses_navbar_top");


  		




  
  72
  
    
  if(window==top) {


  		




  
  73
  
    
    allClassesLink.style.display = "block";


  		




  
  74
  
    
  }


  		




  
  75
  
    
  else {


  		




  
  76
  
    
    allClassesLink.style.display = "none";


  		




  
  77
  
    
  }


  		




  
  78
  
    
  //-->


  		




  
  79
  
    
</script>


  		




  
  80
  
    
<noscript>


  		




  
  81
  
    
<div>JavaScript is disabled on your browser.</div>


  		




  
  82
  
    
</noscript>


  		




  
  83
  
    
</div>


  		




  
  84
  
    
<a id="skip.navbar.top">


  		




  
  85
  
    
<!--   -->


  		




  
  86
  
    
</a></div>


  		




  
  87
  
    
<!-- ========= END OF TOP NAVBAR ========= -->


  		




  
  88
  
    
</div>


  		




  
  89
  
    
<div class="navPadding">&nbsp;</div>


  		




  
  90
  
    
<script type="text/javascript"><!--


  		




  
  91
  
    
$('.navPadding').css('padding-top', $('.fixedNav').css("height"));


  		




  
  92
  
    
//-->


  		




  
  93
  
    
</script>


  		




  
  94
  
    
</nav>


  		




  
  95
  
    
</header>


  		




  
  96
  
    
<main role="main">


  		




  
  97
  
    
<div class="header">


  		




  
  98
  
    
<h1 title="Package" class="title">Package&nbsp;main</h1>


  		




  
  99
  
    
</div>


  		




  
  100
  
    
<div class="contentContainer">


  		




  
  101
  
    
<ul class="blockList">


  		




  
  102
  
    
<li class="blockList">


  		




  
  103
  
    
<table class="typeSummary">


  		




  
  104
  
    
<caption><span>Class Summary</span><span class="tabEnd">&nbsp;</span></caption>


  		




  
  105
  
    
<tr>


  		




  
  106
  
    
<th class="colFirst" scope="col">Class</th>


  		




  
  107
  
    
<th class="colLast" scope="col">Description</th>


  		




  
  108
  
    
</tr>


  		




  
  109
  
    
<tbody>


  		




  
  110
  
    
<tr class="altColor">


  		




  
  111
  
    
<th class="colFirst" scope="row"><a href="Network.html" title="class in main">Network</a></th>


  		




  
  112
  
    
<td class="colLast">&nbsp;</td>


  		




  
  113
  
    
</tr>


  		




  
  114
  
    
</tbody>


  		




  
  115
  
    
</table>


  		




  
  116
  
    
</li>


  		




  
  117
  
    
<li class="blockList">


  		




  
  118
  
    
<table class="typeSummary">


  		




  
  119
  
    
<caption><span>Exception Summary</span><span class="tabEnd">&nbsp;</span></caption>


  		




  
  120
  
    
<tr>


  		




  
  121
  
    
<th class="colFirst" scope="col">Exception</th>


  		




  
  122
  
    
<th class="colLast" scope="col">Description</th>


  		




  
  123
  
    
</tr>


  		




  
  124
  
    
</table>


  		




  
  125
  
    
</li>


  		




  
  126
  
    
</ul>


  		




  
  127
  
    
</div>


  		




  
  128
  
    
</main>


  		




  
  129
  
    
<footer role="contentinfo">


  		




  
  130
  
    
<nav role="navigation">


  		




  
  131
  
    
<!-- ======= START OF BOTTOM NAVBAR ====== -->


  		




  
  132
  
    
<div class="bottomNav"><a id="navbar.bottom">


  		




  
  133
  
    
<!--   -->


  		




  
  134
  
    
</a>


  		




  
  135
  
    
<div class="skipNav"><a href="#skip.navbar.bottom" title="Skip navigation links">Skip navigation links</a></div>


  		




  
  136
  
    
<a id="navbar.bottom.firstrow">


  		




  
  137
  
    
<!--   -->


  		




  
  138
  
    
</a>


  		




  
  139
  
    
<ul class="navList" title="Navigation">


  		




  
  140
  
    
<li><a href="../index.html">Overview</a></li>


  		




  
  141
  
    
<li class="navBarCell1Rev">Package</li>


  		




  
  142
  
    
<li>Class</li>


  		




  
  143
  
    
<li><a href="package-use.html">Use</a></li>


  		




  
  144
  
    
<li><a href="package-tree.html">Tree</a></li>


  		




  
  145
  
    
<li><a href="../deprecated-list.html">Deprecated</a></li>


  		




  
  146
  
    
<li><a href="../index-files/index-1.html">Index</a></li>


  		




  
  147
  
    
<li><a href="../help-doc.html">Help</a></li>


  		




  
  148
  
    
</ul>


  		




  
  149
  
    
</div>


  		




  
  150
  
    
<div class="subNav">


  		




  
  151
  
    
<ul class="navList" id="allclasses_navbar_bottom">


  		




  
  152
  
    
<li><a href="../allclasses.html">All&nbsp;Classes</a></li>


  		




  
  153
  
    
</ul>


  		




  
  154
  
    
<div>


  		




  
  155
  
    
<script type="text/javascript"><!--


  		




  
  156
  
    
  allClassesLink = document.getElementById("allclasses_navbar_bottom");


  		




  
  157
  
    
  if(window==top) {


  		




  
  158
  
    
    allClassesLink.style.display = "block";


  		




  
  159
  
    
  }


  		




  
  160
  
    
  else {


  		




  
  161
  
    
    allClassesLink.style.display = "none";


  		




  
  162
  
    
  }


  		




  
  163
  
    
  //-->


  		




  
  164
  
    
</script>


  		




  
  165
  
    
<noscript>


  		




  
  166
  
    
<div>JavaScript is disabled on your browser.</div>


  		




  
  167
  
    
</noscript>


  		




  
  168
  
    
</div>


  		




  
  169
  
    
<a id="skip.navbar.bottom">


  		




  
  170
  
    
<!--   -->


  		




  
  171
  
    
</a></div>


  		




  
  172
  
    
<!-- ======== END OF BOTTOM NAVBAR ======= -->


  		




  
  173
  
    
</nav>


  		




  
  174
  
    
</footer>


  		




  
  175
  
    
</body>


  		




  
  176
  
    
</html>


  		




  0
  177
  
    

  		












  

    
      petri/doc/main/package-tree.html
    
  





  
  1
  
    
<!DOCTYPE HTML>


  		




  
  2
  
    
<!-- NewPage -->


  		




  
  3
  
    
<html lang="fr">


  		




  
  4
  
    
<head>


  		




  
  5
  
    
<!-- Generated by javadoc (11.0.8) on Mon Nov 02 17:36:44 CET 2020 -->


  		




  
  6
  
    
<title>main Class Hierarchy</title>


  		




  
  7
  
    
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">


  		




  
  8
  
    
<meta name="dc.created" content="2020-11-02">


  		




  
  9
  
    
<link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">


  		




  
  10
  
    
<link rel="stylesheet" type="text/css" href="../jquery/jquery-ui.css" title="Style">


  		




  
  11
  
    
<script type="text/javascript" src="../script.js"></script>


  		




  
  12
  
    
<script type="text/javascript" src="../jquery/jszip/dist/jszip.min.js"></script>


  		




  
  13
  
    
<script type="text/javascript" src="../jquery/jszip-utils/dist/jszip-utils.min.js"></script>


  		




  
  14
  
    
<!--[if IE]>


  		




  
  15
  
    
<script type="text/javascript" src="../jquery/jszip-utils/dist/jszip-utils-ie.min.js"></script>


  		




  
  16
  
    
<![endif]-->


  		




  
  17
  
    
<script type="text/javascript" src="../jquery/jquery-3.3.1.js"></script>


  		




  
  18
  
    
<script type="text/javascript" src="../jquery/jquery-migrate-3.0.1.js"></script>


  		




  
  19
  
    
<script type="text/javascript" src="../jquery/jquery-ui.js"></script>


  		




  
  20
  
    
</head>


  		




  
  21
  
    
<body>


  		




  
  22
  
    
<script type="text/javascript"><!--


  		




  
  23
  
    
    try {


  		




  
  24
  
    
        if (location.href.indexOf('is-external=true') == -1) {


  		




  
  25
  
    
            parent.document.title="main Class Hierarchy";


  		




  
  26
  
    
        }


  		




  
  27
  
    
    }


  		




  
  28
  
    
    catch(err) {


  		




  
  29
  
    
    }


  		




  
  30
  
    
//-->


  		




  
  31
  
    
var pathtoroot = "../";


  		




  
  32
  
    
var useModuleDirectories = true;


  		




  
  33
  
    
loadScripts(document, 'script');</script>


  		




  
  34
  
    
<noscript>


  		




  
  35
  
    
<div>JavaScript is disabled on your browser.</div>


  		




  
  36
  
    
</noscript>


  		




  
  37
  
    
<header role="banner">


  		




  
  38
  
    
<nav role="navigation">


  		




  
  39
  
    
<div class="fixedNav">


  		




  
  40
  
    
<!-- ========= START OF TOP NAVBAR ======= -->


  		




  
  41
  
    
<div class="topNav"><a id="navbar.top">


  		




  
  42
  
    
<!--   -->


  		




  
  43
  
    
</a>


  		




  
  44
  
    
<div class="skipNav"><a href="#skip.navbar.top" title="Skip navigation links">Skip navigation links</a></div>


  		




  
  45
  
    
<a id="navbar.top.firstrow">


  		




  
  46
  
    
<!--   -->


  		




  
  47
  
    
</a>


  		




  
  48
  
    
<ul class="navList" title="Navigation">


  		




  
  49
  
    
<li><a href="../index.html">Overview</a></li>


  		




  
  50
  
    
<li><a href="package-summary.html">Package</a></li>


  		




  
  51
  
    
<li>Class</li>


  		




  
  52
  
    
<li>Use</li>


  		




  
  53
  
    
<li class="navBarCell1Rev">Tree</li>


  		




  
  54
  
    
<li><a href="../deprecated-list.html">Deprecated</a></li>


  		




  
  55
  
    
<li><a href="../index-files/index-1.html">Index</a></li>


  		




  
  56
  
    
<li><a href="../help-doc.html">Help</a></li>


  		




  
  57
  
    
</ul>


  		




  
  58
  
    
</div>


  		




  
  59
  
    
<div class="subNav">


  		




  
  60
  
    
<ul class="navList" id="allclasses_navbar_top">


  		




  
  61
  
    
<li><a href="../allclasses.html">All&nbsp;Classes</a></li>


  		




  
  62
  
    
</ul>


  		




  
  63
  
    
<ul class="navListSearch">


  		




  
  64
  
    
<li><label for="search">SEARCH:</label>


  		




  
  65
  
    
<input type="text" id="search" value="search" disabled="disabled">


  		




  
  66
  
    
<input type="reset" id="reset" value="reset" disabled="disabled">


  		




  
  67
  
    
</li>


  		




  
  68
  
    
</ul>


  		




  
  69
  
    
<div>


  		




  
  70
  
    
<script type="text/javascript"><!--


  		




  
  71
  
    
  allClassesLink = document.getElementById("allclasses_navbar_top");


  		




  
  72
  
    
  if(window==top) {


  		




  
  73
  
    
    allClassesLink.style.display = "block";


  		




  
  74
  
    
  }


  		




  
  75
  
    
  else {


  		




  
  76
  
    
    allClassesLink.style.display = "none";


  		




  
  77
  
    
  }


  		




  
  78
  
    
  //-->


  		




  
  79
  
    
</script>


  		




  
  80
  
    
<noscript>


  		




  
  81
  
    
<div>JavaScript is disabled on your browser.</div>


  		




  
  82
  
    
</noscript>


  		




  
  83
  
    
</div>


  		




  
  84
  
    
<a id="skip.navbar.top">


  		




  
  85
  
    
<!--   -->


  		




  
  86
  
    
</a></div>


  		




  
  87
  
    
<!-- ========= END OF TOP NAVBAR ========= -->


  		




  
  88
  
    
</div>


  		




  
  89
  
    
<div class="navPadding">&nbsp;</div>


  		




  
  90
  
    
<script type="text/javascript"><!--


  		




  
  91
  
    
$('.navPadding').css('padding-top', $('.fixedNav').css("height"));


  		




  
  92
  
    
//-->


  		




  
  93
  
    
</script>


  		




  
  94
  
    
</nav>


  		




  
  95
  
    
</header>


  		




  
  96
  
    
<main role="main">


  		




  
  97
  
    
<div class="header">


  		




  
  98
  
    
<h1 class="title">Hierarchy For Package main</h1>


  		




  
  99
  
    
<span class="packageHierarchyLabel">Package Hierarchies:</span>


  		




  
  100
  
    
<ul class="horizontal">


  		




  
  101
  
    
<li><a href="../overview-tree.html">All Packages</a></li>


  		




  
  102
  
    
</ul>


  		




  
  103
  
    
</div>


  		




  
  104
  
    
<div class="contentContainer">


  		




  
  105
  
    
<section role="region">


  		




  
  106
  
    
<h2 title="Class Hierarchy">Class Hierarchy</h2>


  		




  
  107
  
    
<ul>


  		




  
  108
  
    
<li class="circle">java.lang.Object


  		




  
  109
  
    
<ul>


  		




  
  110
  
    
<li class="circle">main.<a href="Network.html" title="class in main"><span class="typeNameLink">Network</span></a></li>


  		




  
  111
  
    
<li class="circle">java.lang.Throwable (implements java.io.Serializable)


  		




  
  112
  
    
<ul>


  		




  
  113
  
    
<li class="circle">java.lang.Exception


  		




  
  114
  
    
<ul>


  		




  
  115
  
    
<li class="circle">main.<a href="Network.UndefinedIdentifier.html" title="class in main"><span class="typeNameLink">Network.UndefinedIdentifier</span></a></li>


  		




  
  116
  
    
</ul>


  		




  
  117
  
    
</li>


  		




  
  118
  
    
</ul>


  		




  
  119
  
    
</li>


  		




  
  120
  
    
</ul>


  		




  
  121
  
    
</li>


  		




  
  122
  
    
</ul>


  		




  
  123
  
    
</section>


  		




  
  124
  
    
</div>


  		




  
  125
  
    
</main>


  		




  
  126
  
    
<footer role="contentinfo">


  		




  
  127
  
    
<nav role="navigation">


  		




  
  128
  
    
<!-- ======= START OF BOTTOM NAVBAR ====== -->


  		




  
  129
  
    
<div class="bottomNav"><a id="navbar.bottom">


  		




  
  130
  
    
<!--   -->


  		




  
  131
  
    
</a>


  		




  
  132
  
    
<div class="skipNav"><a href="#skip.navbar.bottom" title="Skip navigation links">Skip navigation links</a></div>


  		




  
  133
  
    
<a id="navbar.bottom.firstrow">


  		




  
  134
  
    
<!--   -->


  		




  
  135
  
    
</a>


  		




  
  136
  
    
<ul class="navList" title="Navigation">


  		




  
  137
  
    
<li><a href="../index.html">Overview</a></li>


  		




  
  138
  
    
<li><a href="package-summary.html">Package</a></li>


  		




  
  139
  
    
<li>Class</li>


  		




  
  140
  
    
<li>Use</li>


  		




  
  141
  
    
<li class="navBarCell1Rev">Tree</li>


  		




  
  142
  
    
<li><a href="../deprecated-list.html">Deprecated</a></li>


  		




  
  143
  
    
<li><a href="../index-files/index-1.html">Index</a></li>


  		




  
  144
  
    
<li><a href="../help-doc.html">Help</a></li>


  		




  
  145
  
    
</ul>


  		




  
  146
  
    
</div>


  		




  
  147
  
    
<div class="subNav">


  		




  
  148
  
    
<ul class="navList" id="allclasses_navbar_bottom">


  		




  
  149
  
    
<li><a href="../allclasses.html">All&nbsp;Classes</a></li>


  		




  
  150
  
    
</ul>


  		




  
  151
  
    
<div>


  		




  
  152
  
    
<script type="text/javascript"><!--


  		




  
  153
  
    
  allClassesLink = document.getElementById("allclasses_navbar_bottom");


  		




  
  154
  
    
  if(window==top) {


  		




  
  155
  
    
    allClassesLink.style.display = "block";


  		




  
  156
  
    
  }


  		




  
  157
  
    
  else {


  		




  
  158
  
    
    allClassesLink.style.display = "none";


  		




  
  159
  
    
  }


  		




  
  160
  
    
  //-->


  		




  
  161
  
    
</script>


  		




  
  162
  
    
<noscript>


  		




  
  163
  
    
<div>JavaScript is disabled on your browser.</div>


  		




  
  164
  
    
</noscript>


  		




  
  165
  
    
</div>


  		




  
  166
  
    
<a id="skip.navbar.bottom">


  		




  
  167
  
    
<!--   -->


  		




  
  168
  
    
</a></div>


  		




  
  169
  
    
<!-- ======== END OF BOTTOM NAVBAR ======= -->


  		




  
  170
  
    
</nav>


  		




  
  171
  
    
</footer>


  		




  
  172
  
    
</body>


  		




  
  173
  
    
</html>


  		




  0
  174
  
    

  		












  

    
      petri/doc/main/Network.html
    
  





  
  1
  
    
<!DOCTYPE HTML>


  		




  
  2
  
    
<!-- NewPage -->


  		




  
  3
  
    
<html lang="fr">


  		




  
  4
  
    
<head>


  		




  
  5
  
    
<!-- Generated by javadoc (11.0.8) on Mon Nov 02 17:36:44 CET 2020 -->


  		




  
  6
  
    
<title>Network</title>


  		




  
  7
  
    
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">


  		




  
  8
  
    
<meta name="dc.created" content="2020-11-02">


  		




  
  9
  
    
<link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">


  		




  
  10
  
    
<link rel="stylesheet" type="text/css" href="../jquery/jquery-ui.css" title="Style">


  		




  
  11
  
    
<script type="text/javascript" src="../script.js"></script>


  		




  
  12
  
    
<script type="text/javascript" src="../jquery/jszip/dist/jszip.min.js"></script>


  		




  
  13
  
    
<script type="text/javascript" src="../jquery/jszip-utils/dist/jszip-utils.min.js"></script>


  		




  
  14
  
    
<!--[if IE]>


  		




  
  15
  
    
<script type="text/javascript" src="../jquery/jszip-utils/dist/jszip-utils-ie.min.js"></script>


  		




  
  16
  
    
<![endif]-->


  		




  
  17
  
    
<script type="text/javascript" src="../jquery/jquery-3.3.1.js"></script>


  		




  
  18
  
    
<script type="text/javascript" src="../jquery/jquery-migrate-3.0.1.js"></script>


  		




  
  19
  
    
<script type="text/javascript" src="../jquery/jquery-ui.js"></script>


  		




  
  20
  
    
</head>


  		




  
  21
  
    
<body>


  		




  
  22
  
    
<script type="text/javascript"><!--


  		




  
  23
  
    
    try {


  		




  
  24
  
    
        if (location.href.indexOf('is-external=true') == -1) {


  		




  
  25
  
    
            parent.document.title="Network";


  		




  
  26
  
    
        }


  		




  
  27
  
    
    }


  		




  
  28
  
    
    catch(err) {


  		




  
  29
  
    
    }


  		




  
  30
  
    
//-->


  		




  
  31
  
    
var data = {"i0":10,"i1":10,"i2":10,"i3":10,"i4":10,"i5":10,"i6":10,"i7":10,"i8":10,"i9":9,"i10":10};


  		




  
  32
  
    
var tabs = {65535:["t0","All Methods"],1:["t1","Static Methods"],2:["t2","Instance Methods"],8:["t4","Concrete Methods"]};


  		




  
  33
  
    
var altColor = "altColor";


  		




  
  34
  
    
var rowColor = "rowColor";


  		




  
  35
  
    
var tableTab = "tableTab";


  		




  
  36
  
    
var activeTableTab = "activeTableTab";


  		




  
  37
  
    
var pathtoroot = "../";


  		




  
  38
  
    
var useModuleDirectories = true;


  		




  
  39
  
    
loadScripts(document, 'script');</script>


  		




  
  40
  
    
<noscript>


  		




  
  41
  
    
<div>JavaScript is disabled on your browser.</div>


  		




  
  42
  
    
</noscript>


  		




  
  43
  
    
<header role="banner">


  		




  
  44
  
    
<nav role="navigation">


  		




  
  45
  
    
<div class="fixedNav">


  		




  
  46
  
    
<!-- ========= START OF TOP NAVBAR ======= -->


  		




  
  47
  
    
<div class="topNav"><a id="navbar.top">


  		




  
  48
  
    
<!--   -->


  		




  
  49
  
    
</a>


  		




  
  50
  
    
<div class="skipNav"><a href="#skip.navbar.top" title="Skip navigation links">Skip navigation links</a></div>


  		




  
  51
  
    
<a id="navbar.top.firstrow">


  		




  
  52
  
    
<!--   -->


  		




  
  53
  
    
</a>


  		




  
  54
  
    
<ul class="navList" title="Navigation">


  		




  
  55
  
    
<li><a href="../index.html">Overview</a></li>


  		




  
  56
  
    
<li><a href="package-summary.html">Package</a></li>


  		




  
  57
  
    
<li class="navBarCell1Rev">Class</li>


  		




  
  58
  
    
<li><a href="class-use/Network.html">Use</a></li>


  		




  
  59
  
    
<li><a href="package-tree.html">Tree</a></li>


  		




  
  60
  
    
<li><a href="../deprecated-list.html">Deprecated</a></li>


  		




  
  61
  
    
<li><a href="../index-files/index-1.html">Index</a></li>


  		




  
  62
  
    
<li><a href="../help-doc.html">Help</a></li>


  		




  
  63
  
    
</ul>


  		




  
  64
  
    
</div>


  		




  
  65
  
    
<div class="subNav">


  		




  
  66
  
    
<ul class="navList" id="allclasses_navbar_top">


  		




  
  67
  
    
<li><a href="../allclasses.html">All&nbsp;Classes</a></li>


  		




  
  68
  
    
</ul>


  		




  
  69
  
    
<ul class="navListSearch">


  		




  
  70
  
    
<li><label for="search">SEARCH:</label>


  		




  
  71
  
    
<input type="text" id="search" value="search" disabled="disabled">


  		




  
  72
  
    
<input type="reset" id="reset" value="reset" disabled="disabled">


  		




  
  73
  
    
</li>


  		




  
  74
  
    
</ul>


  		




  
  75
  
    
<div>


  		




  
  76
  
    
<script type="text/javascript"><!--


  		




  
  77
  
    
  allClassesLink = document.getElementById("allclasses_navbar_top");


  		




  
  78
  
    
  if(window==top) {


  		




  
  79
  
    
    allClassesLink.style.display = "block";


  		




  
  80
  
    
  }


  		




  
  81
  
    
  else {


  		




  
  82
  
    
    allClassesLink.style.display = "none";


  		




  
  83
  
    
  }


  		




  
  84
  
    
  //-->


  		




  
  85
  
    
</script>


  		




  
  86
  
    
<noscript>


  		




  
  87
  
    
<div>JavaScript is disabled on your browser.</div>


  		




  
  88
  
    
</noscript>


  		




  
  89
  
    
</div>


  		




  
  90
  
    
<div>


  		




  
  91
  
    
<ul class="subNavList">


  		




  
  92
  
    
<li>Summary:&nbsp;</li>


  		




  
  93
  
    
<li><a href="#nested.class.summary">Nested</a>&nbsp;|&nbsp;</li>


  		




  
  94
  
    
<li><a href="#field.summary">Field</a>&nbsp;|&nbsp;</li>


  		




  
  95
  
    
<li><a href="#constructor.summary">Constr</a>&nbsp;|&nbsp;</li>


  		




  
  96
  
    
<li><a href="#method.summary">Method</a></li>


  		




  
  97
  
    
</ul>


  		




  
  98
  
    
<ul class="subNavList">


  		




  
  99
  
    
<li>Detail:&nbsp;</li>


  		




  
  100
  
    
<li><a href="#field.detail">Field</a>&nbsp;|&nbsp;</li>


  		




  
  101
  
    
<li><a href="#constructor.detail">Constr</a>&nbsp;|&nbsp;</li>


  		




  
  102
  
    
<li><a href="#method.detail">Method</a></li>


  		




  
  103
  
    
</ul>


  		




  
  104
  
    
</div>


  		




  
  105
  
    
<a id="skip.navbar.top">


  		




  
  106
  
    
<!--   -->


  		




  
  107
  
    
</a></div>


  		




  
  108
  
    
<!-- ========= END OF TOP NAVBAR ========= -->


  		




  
  109
  
    
</div>


  		




  
  110
  
    
<div class="navPadding">&nbsp;</div>


  		




  
  111
  
    
<script type="text/javascript"><!--


  		




  
  112
  
    
$('.navPadding').css('padding-top', $('.fixedNav').css("height"));


  		




  
  113
  
    
//-->


  		




  
  114
  
    
</script>


  		




  
  115
  
    
</nav>


  		




  
  116
  
    
</header>


  		




  
  117
  
    
<!-- ======== START OF CLASS DATA ======== -->


  		




  
  118
  
    
<main role="main">


  		




  
  119
  
    
<div class="header">


  		




  
  120
  
    
<div class="subTitle"><span class="packageLabelInType">Package</span>&nbsp;<a href="package-summary.html">main</a></div>


  		




  
  121
  
    
<h2 title="Class Network" class="title">Class Network</h2>


  		




  
  122
  
    
</div>


  		




  
  123
  
    
<div class="contentContainer">


  		




  
  124
  
    
<ul class="inheritance">


  		




  
  125
  
    
<li>java.lang.Object</li>


  		




  
  126
  
    
<li>


  		




  
  127
  
    
<ul class="inheritance">


  		




  
  128
  
    
<li>main.Network</li>


  		




  
  129
  
    
</ul>


  		




  
  130
  
    
</li>


  		




  
  131
  
    
</ul>


  		




  
  132
  
    
<div class="description">


  		




  
  133
  
    
<ul class="blockList">


  		




  
  134
  
    
<li class="blockList">


  		




  
  135
  
    
<hr>


  		




  
  136
  
    
<pre>public class <span class="typeNameLabel">Network</span>


  		




  
  137
  
    
extends java.lang.Object</pre>


  		




  
  138
  
    
</li>


  		




  
  139
  
    
</ul>


  		




  
  140
  
    
</div>


  		




  
  141
  
    
<div class="summary">


  		




  
  142
  
    
<ul class="blockList">


  		




  
  143
  
    
<li class="blockList">


  		




  
  144
  
    
<!-- ======== NESTED CLASS SUMMARY ======== -->


  		




  
  145
  
    
<section role="region">


  		




  
  146
  
    
<ul class="blockList">


  		




  
  147
  
    
<li class="blockList"><a id="nested.class.summary">


  		




  
  148
  
    
<!--   -->


  		




  
  149
  
    
</a>


  		




  
  150
  
    
<h3>Nested Class Summary</h3>


  		




  
  151
  
    
<table class="memberSummary">


  		




  
  152
  
    
<caption><span>Nested Classes</span><span class="tabEnd">&nbsp;</span></caption>


  		




  
  153
  
    
<tr>


  		




  
  154
  
    
<th class="colFirst" scope="col">Modifier and Type</th>


  		




  
  155
  
    
<th class="colSecond" scope="col">Class</th>


  		




  
  156
  
    
<th class="colLast" scope="col">Description</th>


  		




  
  157
  
    
</tr>


  		




  
  158
  
    
<tr class="altColor">


  		




  
  159
  
    
<td class="colFirst"><code>class&nbsp;</code></td>


  		




  
  160
  
    
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="Network.UndefinedIdentifier.html" title="class in main">Network.UndefinedIdentifier</a></span></code></th>


  		




  
  161
  
    
<td class="colLast">&nbsp;</td>


  		




  
  162
  
    
</tr>


  		




  
  163
  
    
</table>


  		




  
  164
  
    
</li>


  		




  
  165
  
    
</ul>


  		




  
  166
  
    
</section>


  		




  
  167
  
    
<!-- =========== FIELD SUMMARY =========== -->


  		




  
  168
  
    
<section role="region">


  		




  
  169
  
    
<ul class="blockList">


  		




  
  170
  
    
<li class="blockList"><a id="field.summary">


  		




  
  171
  
    
<!--   -->


  		




  
  172
  
    
</a>


  		




  
  173
  
    
<h3>Field Summary</h3>


  		




  
  174
  
    
<table class="memberSummary">


  		




  
  175
  
    
<caption><span>Fields</span><span class="tabEnd">&nbsp;</span></caption>


  		




  
  176
  
    
<tr>


  		




  
  177
  
    
<th class="colFirst" scope="col">Modifier and Type</th>


  		




  
  178
  
    
<th class="colSecond" scope="col">Field</th>


  		




  
  179
  
    
<th class="colLast" scope="col">Description</th>


  		




  
  180
  
    
</tr>


  		




  
  181
  
    
<tr class="altColor">


  		




  
  182
  
    
<td class="colFirst"><code>static int</code></td>


  		




  
  183
  
    
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#ArcCleaner">ArcCleaner</a></span></code></th>


  		




  
  184
  
    
<td class="colLast">&nbsp;</td>


  		




  
  185
  
    
</tr>


  		




  
  186
  
    
<tr class="rowColor">


  		




  
  187
  
    
<td class="colFirst"><code>static int</code></td>


  		




  
  188
  
    
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#ArcEntering">ArcEntering</a></span></code></th>


  		




  
  189
  
    
<td class="colLast">&nbsp;</td>


  		




  
  190
  
    
</tr>


  		




  
  191
  
    
<tr class="altColor">


  		




  
  192
  
    
<td class="colFirst"><code>static int</code></td>


  		




  
  193
  
    
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#ArcOutering">ArcOutering</a></span></code></th>


  		




  
  194
  
    
<td class="colLast">&nbsp;</td>


  		




  
  195
  
    
</tr>


  		




  
  196
  
    
<tr class="rowColor">


  		




  
  197
  
    
<td class="colFirst"><code>static int</code></td>


  		




  
  198
  
    
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#ArcZero">ArcZero</a></span></code></th>


  		




  
  199
  
    
<td class="colLast">&nbsp;</td>


  		




  
  200
  
    
</tr>


  		




  
  201
  
    
</table>


  		




  
  202
  
    
</li>


  		




  
  203
  
    
</ul>


  		




  
  204
  
    
</section>


  		




  
  205
  
    
<!-- ======== CONSTRUCTOR SUMMARY ======== -->


  		




  
  206
  
    
<section role="region">


  		




  
  207
  
    
<ul class="blockList">


  		




  
  208
  
    
<li class="blockList"><a id="constructor.summary">


  		




  
  209
  
    
<!--   -->


  		




  
  210
  
    
</a>


  		




  
  211
  
    
<h3>Constructor Summary</h3>


  		




  
  212
  
    
<table class="memberSummary">


  		




  
  213
  
    
<caption><span>Constructors</span><span class="tabEnd">&nbsp;</span></caption>


  		




  
  214
  
    
<tr>


  		




  
  215
  
    
<th class="colFirst" scope="col">Constructor</th>


  		




  
  216
  
    
<th class="colLast" scope="col">Description</th>


  		




  
  217
  
    
</tr>


  		




  
  218
  
    
<tr class="altColor">


  		




  
  219
  
    
<th class="colConstructorName" scope="row"><code><span class="memberNameLink"><a href="#%3Cinit%3E()">Network</a></span>()</code></th>


  		




  
  220
  
    
<td class="colLast">&nbsp;</td>


  		




  
  221
  
    
</tr>


  		




  
  222
  
    
</table>


  		




  
  223
  
    
</li>


  		




  
  224
  
    
</ul>


  		




  
  225
  
    
</section>


  		




  
  226
  
    
<!-- ========== METHOD SUMMARY =========== -->


  		




  
  227
  
    
<section role="region">


  		




  
  228
  
    
<ul class="blockList">


  		




  
  229
  
    
<li class="blockList"><a id="method.summary">


  		




  
  230
  
    
<!--   -->


  		




  
  231
  
    
</a>


  		




  
  232
  
    
<h3>Method Summary</h3>


  		




  
  233
  
    
<table class="memberSummary">


  		




  
  234
  
    
<caption><span id="t0" class="activeTableTab"><span>All Methods</span><span class="tabEnd">&nbsp;</span></span><span id="t1" class="tableTab"><span><a href="javascript:show(1);">Static Methods</a></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>


  		




  
  235
  
    
<tr>


  		




  
  236
  
    
<th class="colFirst" scope="col">Modifier and Type</th>


  		




  
  237
  
    
<th class="colSecond" scope="col">Method</th>


  		




  
  238
  
    
<th class="colLast" scope="col">Description</th>


  		




  
  239
  
    
</tr>


  		




  
  240
  
    
<tr id="i0" class="altColor">


  		




  
  241
  
    
<td class="colFirst"><code>void</code></td>


  		




  
  242
  
    
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#addArc(element.Transition,element.Place,int,int)">addArc</a></span>&#8203;(<a href="../element/Transition.html" title="class in element">Transition</a>&nbsp;transition,


  		




  
  243
  
    
      <a href="../element/Place.html" title="class in element">Place</a>&nbsp;place,


  		




  
  244
  
    
      int&nbsp;value,


  		




  
  245
  
    
      int&nbsp;identifier)</code></th>


  		




  
  246
  
    
<td class="colLast">&nbsp;</td>


  		




  
  247
  
    
</tr>


  		




  
  248
  
    
<tr id="i1" class="rowColor">


  		




  
  249
  
    
<td class="colFirst"><code>void</code></td>


  		




  
  250
  
    
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#addPlace(int)">addPlace</a></span>&#8203;(int&nbsp;value)</code></th>


  		




  
  251
  
    
<td class="colLast">&nbsp;</td>


  		




  
  252
  
    
</tr>


  		




  
  253
  
    
<tr id="i2" class="altColor">


  		




  
  254
  
    
<td class="colFirst"><code>void</code></td>


  		




  
  255
  
    
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#addTransition()">addTransition</a></span>()</code></th>


  		




  
  256
  
    
<td class="colLast">&nbsp;</td>


  		




  
  257
  
    
</tr>


  		




  
  258
  
    
<tr id="i3" class="rowColor">


  		




  
  259
  
    
<td class="colFirst"><code>void</code></td>


  		




  
  260
  
    
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#deleteArc(arcElement.Arc)">deleteArc</a></span>&#8203;(<a href="../arcElement/Arc.html" title="class in arcElement">Arc</a>&nbsp;a)</code></th>


  		




  
  261
  
    
<td class="colLast">&nbsp;</td>


  		




  
  262
  
    
</tr>


  		




  
  263
  
    
<tr id="i4" class="altColor">


  		




  
  264
  
    
<td class="colFirst"><code>void</code></td>


  		




  
  265
  
    
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#deletePlace(element.Place)">deletePlace</a></span>&#8203;(<a href="../element/Place.html" title="class in element">Place</a>&nbsp;place)</code></th>


  		




  
  266
  
    
<td class="colLast">&nbsp;</td>


  		




  
  267
  
    
</tr>


  		




  
  268
  
    
<tr id="i5" class="rowColor">


  		




  
  269
  
    
<td class="colFirst"><code>void</code></td>


  		




  
  270
  
    
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#deleteTransition(element.Transition)">deleteTransition</a></span>&#8203;(<a href="../element/Transition.html" title="class in element">Transition</a>&nbsp;transition)</code></th>


  		




  
  271
  
    
<td class="colLast">&nbsp;</td>


  		




  
  272
  
    
</tr>


  		




  
  273
  
    
<tr id="i6" class="altColor">


  		




  
  274
  
    
<td class="colFirst"><code>void</code></td>


  		




  
  275
  
    
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#fire(element.Transition)">fire</a></span>&#8203;(<a href="../element/Transition.html" title="class in element">Transition</a>&nbsp;transition)</code></th>


  		




  
  276
  
    
<td class="colLast">&nbsp;</td>


  		




  
  277
  
    
</tr>


  		




  
  278
  
    
<tr id="i7" class="rowColor">


  		




  
  279
  
    
<td class="colFirst"><code>java.util.List&lt;<a href="../element/Transition.html" title="class in element">Transition</a>&gt;</code></td>


  		




  
  280
  
    
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#getListTransition()">getListTransition</a></span>()</code></th>


  		




  
  281
  
    
<td class="colLast">&nbsp;</td>


  		




  
  282
  
    
</tr>


  		




  
  283
  
    
<tr id="i8" class="altColor">


  		




  
  284
  
    
<td class="colFirst"><code>java.util.List&lt;<a href="../element/Place.html" title="class in element">Place</a>&gt;</code></td>


  		




  
  285
  
    
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#getPlaceList()">getPlaceList</a></span>()</code></th>


  		




  
  286
  
    
<td class="colLast">&nbsp;</td>


  		




  
  287
  
    
</tr>


  		




  
  288
  
    
<tr id="i9" class="rowColor">


  		




  
  289
  
    
<td class="colFirst"><code>static void</code></td>


  		




  
  290
  
    
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#main(java.lang.String%5B%5D)">main</a></span>&#8203;(java.lang.String[]&nbsp;args)</code></th>


  		




  
  291
  
    
<td class="colLast">&nbsp;</td>


  		




  
  292
  
    
</tr>


  		




  
  293
  
    
<tr id="i10" class="altColor">


  		




  
  294
  
    
<td class="colFirst"><code>java.lang.String</code></td>


  		




  
  295
  
    
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#toString()">toString</a></span>()</code></th>


  		




  
  296
  
    
<td class="colLast">&nbsp;</td>


  		




  
  297
  
    
</tr>


  		




  
  298
  
    
</table>


  		




  
  299
  
    
<ul class="blockList">


  		




  
  300
  
    
<li class="blockList"><a id="methods.inherited.from.class.java.lang.Object">


  		




  
  301
  
    
<!--   -->


  		




  
  302
  
    
</a>


  		




  
  303
  
    
<h3>Methods inherited from class&nbsp;java.lang.Object</h3>


  		




  
  304
  
    
<code>equals, getClass, hashCode, notify, notifyAll, wait, wait, wait</code></li>


  		




  
  305
  
    
</ul>


  		




  
  306
  
    
</li>


  		




  
  307
  
    
</ul>


  		




  
  308
  
    
</section>


  		




  
  309
  
    
</li>


  		




  
  310
  
    
</ul>


  		




  
  311
  
    
</div>


  		




  
  312
  
    
<div class="details">


  		




  
  313
  
    
<ul class="blockList">


  		




  
  314
  
    
<li class="blockList">


  		




  
  315
  
    
<!-- ============ FIELD DETAIL =========== -->


  		




  
  316
  
    
<section role="region">


  		




  
  317
  
    
<ul class="blockList">


  		




  
  318
  
    
<li class="blockList"><a id="field.detail">


  		




  
  319
  
    
<!--   -->


  		




  
  320
  
    
</a>


  		




  
  321
  
    
<h3>Field Detail</h3>


  		




  
  322
  
    
<a id="ArcOutering">


  		




  
  323
  
    
<!--   -->


  		




  
  324
  
    
</a>


  		




  
  325
  
    
<ul class="blockList">


  		




  
  326
  
    
<li class="blockList">


  		




  
  327
  
    
<h4>ArcOutering</h4>


  		




  
  328
  
    
<pre>public static&nbsp;int ArcOutering</pre>


  		




  
  329
  
    
</li>


  		




  
  330
  
    
</ul>


  		




  
  331
  
    
<a id="ArcCleaner">


  		




  
  332
  
    
<!--   -->


  		




  
  333
  
    
</a>


  		




  
  334
  
    
<ul class="blockList">


  		




  
  335
  
    
<li class="blockList">


  		




  
  336
  
    
<h4>ArcCleaner</h4>


  		




  
  337
  
    
<pre>public static&nbsp;int ArcCleaner</pre>


  		




  
  338
  
    
</li>


  		




  
  339
  
    
</ul>


  		




  
  340
  
    
<a id="ArcZero">


  		




  
  341
  
    
<!--   -->


  		




  
  342
  
    
</a>


  		




  
  343
  
    
<ul class="blockList">


  		




  
  344
  
    
<li class="blockList">


  		




  
  345
  
    
<h4>ArcZero</h4>


  		




  
  346
  
    
<pre>public static&nbsp;int ArcZero</pre>


  		




  
  347
  
    
</li>


  		




  
  348
  
    
</ul>


  		




  
  349
  
    
<a id="ArcEntering">


  		




  
  350
  
    
<!--   -->


  		




  
  351
  
    
</a>


  		




  
  352
  
    
<ul class="blockListLast">


  		




  
  353
  
    
<li class="blockList">


  		




  
  354
  
    
<h4>ArcEntering</h4>


  		




  
  355
  
    
<pre>public static&nbsp;int ArcEntering</pre>


  		




  
  356
  
    
</li>


  		




  
  357
  
    
</ul>


  		




  
  358
  
    
</li>


  		




  
  359
  
    
</ul>


  		




  
  360
  
    
</section>


  		




  
  361
  
    
<!-- ========= CONSTRUCTOR DETAIL ======== -->


  		




  
  362
  
    
<section role="region">


  		




  
  363
  
    
<ul class="blockList">


  		




  
  364
  
    
<li class="blockList"><a id="constructor.detail">


  		




  
  365
  
    
<!--   -->


  		




  
  366
  
    
</a>


  		




  
  367
  
    
<h3>Constructor Detail</h3>


  		




  
  368
  
    
<a id="&lt;init&gt;()">


  		




  
  369
  
    
<!--   -->


  		




  
  370
  
    
</a>


  		




  
  371
  
    
<ul class="blockListLast">


  		




  
  372
  
    
<li class="blockList">


  		




  
  373
  
    
<h4>Network</h4>


  		




  
  374
  
    
<pre>public&nbsp;Network()</pre>


  		




  
  375
  
    
</li>


  		




  
  376
  
    
</ul>


  		




  
  377
  
    
</li>


  		




  
  378
  
    
</ul>


  		




  
  379
  
    
</section>


  		




  
  380
  
    
<!-- ============ METHOD DETAIL ========== -->


  		




  
  381
  
    
<section role="region">


  		




  
  382
  
    
<ul class="blockList">


  		




  
  383
  
    
<li class="blockList"><a id="method.detail">


  		




  
  384
  
    
<!--   -->


  		




  
  385
  
    
</a>


  		




  
  386
  
    
<h3>Method Detail</h3>


  		




  
  387
  
    
<a id="addTransition()">


  		




  
  388
  
    
<!--   -->


  		




  
  389
  
    
</a>


  		




  
  390
  
    
<ul class="blockList">


  		




  
  391
  
    
<li class="blockList">


  		




  
  392
  
    
<h4>addTransition</h4>


  		




  
  393
  
    
<pre class="methodSignature">public&nbsp;void&nbsp;addTransition()</pre>


  		




  
  394
  
    
</li>


  		




  
  395
  
    
</ul>


  		




  
  396
  
    
<a id="addPlace(int)">


  		




  
  397
  
    
<!--   -->


  		




  
  398
  
    
</a>


  		




  
  399
  
    
<ul class="blockList">


  		




  
  400
  
    
<li class="blockList">


  		




  
  401
  
    
<h4>addPlace</h4>


  		




  
  402
  
    
<pre class="methodSignature">public&nbsp;void&nbsp;addPlace&#8203;(int&nbsp;value)


  		




  
  403
  
    
              throws <a href="../element/Place.UndefinedToken.html" title="class in element">Place.UndefinedToken</a></pre>


  		




  
  404
  
    
<dl>


  		




  
  405
  
    
<dt><span class="throwsLabel">Throws:</span></dt>


  		




  
  406
  
    
<dd><code><a href="../element/Place.UndefinedToken.html" title="class in element">Place.UndefinedToken</a></code></dd>


  		




  
  407
  
    
</dl>


  		




  
  408
  
    
</li>


  		




  
  409
  
    
</ul>


  		




  
  410
  
    
<a id="addArc(element.Transition,element.Place,int,int)">


  		




  
  411
  
    
<!--   -->


  		




  
  412
  
    
</a>


  		




  
  413
  
    
<ul class="blockList">


  		




  
  414
  
    
<li class="blockList">


  		




  
  415
  
    
<h4>addArc</h4>


  		




  
  416
  
    
<pre class="methodSignature">public&nbsp;void&nbsp;addArc&#8203;(<a href="../element/Transition.html" title="class in element">Transition</a>&nbsp;transition,


  		




  
  417
  
    
                   <a href="../element/Place.html" title="class in element">Place</a>&nbsp;place,


  		




  
  418
  
    
                   int&nbsp;value,


  		




  
  419
  
    
                   int&nbsp;identifier)


  		




  
  420
  
    
            throws <a href="Network.UndefinedIdentifier.html" title="class in main">Network.UndefinedIdentifier</a></pre>


  		




  
  421
  
    
<dl>


  		




  
  422
  
    
<dt><span class="throwsLabel">Throws:</span></dt>


  		




  
  423
  
    
<dd><code><a href="Network.UndefinedIdentifier.html" title="class in main">Network.UndefinedIdentifier</a></code></dd>


  		




  
  424
  
    
</dl>


  		




  
  425
  
    
</li>


  		




  
  426
  
    
</ul>


  		




  
  427
  
    
<a id="deleteArc(arcElement.Arc)">


  		




  
  428
  
    
<!--   -->


  		




  
  429
  
    
</a>


  		




  
  430
  
    
<ul class="blockList">


  		




  
  431
  
    
<li class="blockList">


  		




  
  432
  
    
<h4>deleteArc</h4>


  		




  
  433
  
    
<pre class="methodSignature">public&nbsp;void&nbsp;deleteArc&#8203;(<a href="../arcElement/Arc.html" title="class in arcElement">Arc</a>&nbsp;a)</pre>


  		




  
  434
  
    
</li>


  		




  
  435
  
    
</ul>


  		




  
  436
  
    
<a id="deletePlace(element.Place)">


  		




  
  437
  
    
<!--   -->


  		




  
  438
  
    
</a>


  		




  
  439
  
    
<ul class="blockList">


  		




  
  440
  
    
<li class="blockList">


  		




  
  441
  
    
<h4>deletePlace</h4>


  		




  
  442
  
    
<pre class="methodSignature">public&nbsp;void&nbsp;deletePlace&#8203;(<a href="../element/Place.html" title="class in element">Place</a>&nbsp;place)</pre>


  		




  
  443
  
    
</li>


  		




  
  444
  
    
</ul>


  		




  
  445
  
    
<a id="deleteTransition(element.Transition)">


  		




  
  446
  
    
<!--   -->


  		




  
  447
  
    
</a>


  		




  
  448
  
    
<ul class="blockList">


  		




  
  449
  
    
<li class="blockList">


  		




  
  450
  
    
<h4>deleteTransition</h4>


  		




  
  451
  
    
<pre class="methodSignature">public&nbsp;void&nbsp;deleteTransition&#8203;(<a href="../element/Transition.html" title="class in element">Transition</a>&nbsp;transition)</pre>


  		




  
  452
  
    
</li>


  		




  
  453
  
    
</ul>


  		




  
  454
  
    
<a id="fire(element.Transition)">


  		




  
  455
  
    
<!--   -->


  		




  
  456
  
    
</a>


  		




  
  457
  
    
<ul class="blockList">


  		




  
  458
  
    
<li class="blockList">


  		




  
  459
  
    
<h4>fire</h4>


  		




  
  460
  
    
<pre class="methodSignature">public&nbsp;void&nbsp;fire&#8203;(<a href="../element/Transition.html" title="class in element">Transition</a>&nbsp;transition)</pre>


  		




  
  461
  
    
</li>


  		




  
  462
  
    
</ul>


  		




  
  463
  
    
<a id="toString()">


  		




  
  464
  
    
<!--   -->


  		




  
  465
  
    
</a>


  		




  
  466
  
    
<ul class="blockList">


  		




  
  467
  
    
<li class="blockList">


  		




  
  468
  
    
<h4>toString</h4>


  		




  
  469
  
    
<pre class="methodSignature">public&nbsp;java.lang.String&nbsp;toString()</pre>


  		




  
  470
  
    
<dl>


  		




  
  471
  
    
<dt><span class="overrideSpecifyLabel">Overrides:</span></dt>


  		




  
  472
  
    
<dd><code>toString</code>&nbsp;in class&nbsp;<code>java.lang.Object</code></dd>


  		




  
  473
  
    
</dl>


  		




  
  474
  
    
</li>


  		




  
  475
  
    
</ul>


  		




  
  476
  
    
<a id="main(java.lang.String[])">


  		




  
  477
  
    
<!--   -->


  		




  
  478
  
    
</a>


  		




  
  479
  
    
<ul class="blockList">


  		




  
  480
  
    
<li class="blockList">


  		




  
  481
  
    
<h4>main</h4>


  		




  
  482
  
    
<pre class="methodSignature">public static&nbsp;void&nbsp;main&#8203;(java.lang.String[]&nbsp;args)


  		




  
  483
  
    
                 throws <a href="../element/Place.UndefinedToken.html" title="class in element">Place.UndefinedToken</a>,


  		




  
  484
  
    
                        <a href="Network.UndefinedIdentifier.html" title="class in main">Network.UndefinedIdentifier</a></pre>


  		




  
  485
  
    
<dl>


  		




  
  486
  
    
<dt><span class="throwsLabel">Throws:</span></dt>


  		




  
  487
  
    
<dd><code><a href="../element/Place.UndefinedToken.html" title="class in element">Place.UndefinedToken</a></code></dd>


  		




  
  488
  
    
<dd><code><a href="Network.UndefinedIdentifier.html" title="class in main">Network.UndefinedIdentifier</a></code></dd>


  		




  
  489
  
    
</dl>


  		




  
  490
  
    
</li>


  		




  
  491
  
    
</ul>


  		




  
  492
  
    
<a id="getPlaceList()">


  		




  
  493
  
    
<!--   -->


  		




  
  494
  
    
</a>


  		




  
  495
  
    
<ul class="blockList">


  		




  
  496
  
    
<li class="blockList">


  		




  
  497
  
    
<h4>getPlaceList</h4>


  		




  
  498
  
    
<pre class="methodSignature">public&nbsp;java.util.List&lt;<a href="../element/Place.html" title="class in element">Place</a>&gt;&nbsp;getPlaceList()</pre>


  		




  
  499
  
    
</li>


  		




  
  500
  
    
</ul>


  		




  
  501
  
    
<a id="getListTransition()">


  		




  
  502
  
    
<!--   -->


  		




  
  503
  
    
</a>


  		




  
  504
  
    
<ul class="blockListLast">


  		




  
  505
  
    
<li class="blockList">


  		




  
  506
  
    
<h4>getListTransition</h4>


  		




  
  507
  
    
<pre class="methodSignature">public&nbsp;java.util.List&lt;<a href="../element/Transition.html" title="class in element">Transition</a>&gt;&nbsp;getListTransition()</pre>


  		




  
  508
  
    
</li>


  		




  
  509
  
    
</ul>


  		




  
  510
  
    
</li>


  		




  
  511
  
    
</ul>


  		




  
  512
  
    
</section>


  		




  
  513
  
    
</li>


  		




  
  514
  
    
</ul>


  		




  
  515
  
    
</div>


  		




  
  516
  
    
</div>


  		




  
  517
  
    
</main>


  		




  
  518
  
    
<!-- ========= END OF CLASS DATA ========= -->


  		




  
  519
  
    
<footer role="contentinfo">


  		




  
  520
  
    
<nav role="navigation">


  		




  
  521
  
    
<!-- ======= START OF BOTTOM NAVBAR ====== -->


  		




  
  522
  
    
<div class="bottomNav"><a id="navbar.bottom">


  		




  
  523
  
    
<!--   -->


  		




  
  524
  
    
</a>


  		




  
  525
  
    
<div class="skipNav"><a href="#skip.navbar.bottom" title="Skip navigation links">Skip navigation links</a></div>


  		




  
  526
  
    
<a id="navbar.bottom.firstrow">


  		




  
  527
  
    
<!--   -->


  		




  
  528
  
    
</a>


  		




  
  529
  
    
<ul class="navList" title="Navigation">


  		




  
  530
  
    
<li><a href="../index.html">Overview</a></li>


  		




  
  531
  
    
<li><a href="package-summary.html">Package</a></li>


  		




  
  532
  
    
<li class="navBarCell1Rev">Class</li>


  		




  
  533
  
    
<li><a href="class-use/Network.html">Use</a></li>


  		




  
  534
  
    
<li><a href="package-tree.html">Tree</a></li>


  		




  
  535
  
    
<li><a href="../deprecated-list.html">Deprecated</a></li>


  		




  
  536
  
    
<li><a href="../index-files/index-1.html">Index</a></li>


  		




  
  537
  
    
<li><a href="../help-doc.html">Help</a></li>


  		




  
  538
  
    
</ul>


  		




  
  539
  
    
</div>


  		




  
  540
  
    
<div class="subNav">


  		




  
  541
  
    
<ul class="navList" id="allclasses_navbar_bottom">


  		




  
  542
  
    
<li><a href="../allclasses.html">All&nbsp;Classes</a></li>


  		




  
  543
  
    
</ul>


  		




  
  544
  
    
<div>


  		




  
  545
  
    
<script type="text/javascript"><!--


  		




  
  546
  
    
  allClassesLink = document.getElementById("allclasses_navbar_bottom");


  		




  
  547
  
    
  if(window==top) {


  		




  
  548
  
    
    allClassesLink.style.display = "block";


  		




  
  549
  
    
  }


  		




  
  550
  
    
  else {


  		




  
  551
  
    
    allClassesLink.style.display = "none";


  		




  
  552
  
    
  }


  		




  
  553
  
    
  //-->


  		




  
  554
  
    
</script>


  		




  
  555
  
    
<noscript>


  		




  
  556
  
    
<div>JavaScript is disabled on your browser.</div>


  		




  
  557
  
    
</noscript>


  		




  
  558
  
    
</div>


  		




  
  559
  
    
<div>


  		




  
  560
  
    
<ul class="subNavList">


  		




  
  561
  
    
<li>Summary:&nbsp;</li>


  		




  
  562
  
    
<li><a href="#nested.class.summary">Nested</a>&nbsp;|&nbsp;</li>


  		




  
  563
  
    
<li><a href="#field.summary">Field</a>&nbsp;|&nbsp;</li>


  		




  
  564
  
    
<li><a href="#constructor.summary">Constr</a>&nbsp;|&nbsp;</li>


  		




  
  565
  
    
<li><a href="#method.summary">Method</a></li>


  		




  
  566
  
    
</ul>


  		




  
  567
  
    
<ul class="subNavList">


  		




  
  568
  
    
<li>Detail:&nbsp;</li>


  		




  
  569
  
    
<li><a href="#field.detail">Field</a>&nbsp;|&nbsp;</li>


  		




  
  570
  
    
<li><a href="#constructor.detail">Constr</a>&nbsp;|&nbsp;</li>


  		




  
  571
  
    
<li><a href="#method.detail">Method</a></li>


  		




  
  572
  
    
</ul>


  		




  
  573
  
    
</div>


  		




  
  574
  
    
<a id="skip.navbar.bottom">


  		




  
  575
  
    
<!--   -->


  		




  
  576
  
    
</a></div>


  		




  
  577
  
    
<!-- ======== END OF BOTTOM NAVBAR ======= -->


  		




  
  578
  
    
</nav>


  		




  
  579
  
    
</footer>


  		




  
  580
  
    
</body>


  		




  
  581
  
    
</html>


  		




  0
  582
  
    

  		












  

    
      petri/doc/main/Network.UndefinedIdentifier.html
    
  





  
  1
  
    
<!DOCTYPE HTML>


  		




  
  2
  
    
<!-- NewPage -->


  		




  
  3
  
    
<html lang="fr">


  		




  
  4
  
    
<head>


  		




  
  5
  
    
<!-- Generated by javadoc (11.0.8) on Mon Nov 02 17:36:44 CET 2020 -->


  		




  
  6
  
    
<title>Network.UndefinedIdentifier</title>


  		




  
  7
  
    
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">


  		




  
  8
  
    
<meta name="dc.created" content="2020-11-02">


  		




  
  9
  
    
<link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">


  		




  
  10
  
    
<link rel="stylesheet" type="text/css" href="../jquery/jquery-ui.css" title="Style">


  		




  
  11
  
    
<script type="text/javascript" src="../script.js"></script>


  		




  
  12
  
    
<script type="text/javascript" src="../jquery/jszip/dist/jszip.min.js"></script>


  		




  
  13
  
    
<script type="text/javascript" src="../jquery/jszip-utils/dist/jszip-utils.min.js"></script>


  		




  
  14
  
    
<!--[if IE]>


  		




  
  15
  
    
<script type="text/javascript" src="../jquery/jszip-utils/dist/jszip-utils-ie.min.js"></script>


  		




  
  16
  
    
<![endif]-->


  		




  
  17
  
    
<script type="text/javascript" src="../jquery/jquery-3.3.1.js"></script>


  		




  
  18
  
    
<script type="text/javascript" src="../jquery/jquery-migrate-3.0.1.js"></script>


  		




  
  19
  
    
<script type="text/javascript" src="../jquery/jquery-ui.js"></script>


  		




  
  20
  
    
</head>


  		




  
  21
  
    
<body>


  		




  
  22
  
    
<script type="text/javascript"><!--


  		




  
  23
  
    
    try {


  		




  
  24
  
    
        if (location.href.indexOf('is-external=true') == -1) {


  		




  
  25
  
    
            parent.document.title="Network.UndefinedIdentifier";


  		




  
  26
  
    
        }


  		




  
  27
  
    
    }


  		




  
  28
  
    
    catch(err) {


  		




  
  29
  
    
    }


  		




  
  30
  
    
//-->


  		




  
  31
  
    
var pathtoroot = "../";


  		




  
  32
  
    
var useModuleDirectories = true;


  		




  
  33
  
    
loadScripts(document, 'script');</script>


  		




  
  34
  
    
<noscript>


  		




  
  35
  
    
<div>JavaScript is disabled on your browser.</div>


  		




  
  36
  
    
</noscript>


  		




  
  37
  
    
<header role="banner">


  		




  
  38
  
    
<nav role="navigation">


  		




  
  39
  
    
<div class="fixedNav">


  		




  
  40
  
    
<!-- ========= START OF TOP NAVBAR ======= -->


  		




  
  41
  
    
<div class="topNav"><a id="navbar.top">


  		




  
  42
  
    
<!--   -->


  		




  
  43
  
    
</a>


  		




  
  44
  
    
<div class="skipNav"><a href="#skip.navbar.top" title="Skip navigation links">Skip navigation links</a></div>


  		




  
  45
  
    
<a id="navbar.top.firstrow">


  		




  
  46
  
    
<!--   -->


  		




  
  47
  
    
</a>


  		




  
  48
  
    
<ul class="navList" title="Navigation">


  		




  
  49
  
    
<li><a href="../index.html">Overview</a></li>


  		




  
  50
  
    
<li><a href="package-summary.html">Package</a></li>


  		




  
  51
  
    
<li class="navBarCell1Rev">Class</li>


  		




  
  52
  
    
<li><a href="class-use/Network.UndefinedIdentifier.html">Use</a></li>


  		




  
  53
  
    
<li><a href="package-tree.html">Tree</a></li>


  		




  
  54
  
    
<li><a href="../deprecated-list.html">Deprecated</a></li>


  		




  
  55
  
    
<li><a href="../index-files/index-1.html">Index</a></li>


  		




  
  56
  
    
<li><a href="../help-doc.html">Help</a></li>


  		




  
  57
  
    
</ul>


  		




  
  58
  
    
</div>


  		




  
  59
  
    
<div class="subNav">


  		




  
  60
  
    
<ul class="navList" id="allclasses_navbar_top">


  		




  
  61
  
    
<li><a href="../allclasses.html">All&nbsp;Classes</a></li>


  		




  
  62
  
    
</ul>


  		




  
  63
  
    
<ul class="navListSearch">


  		




  
  64
  
    
<li><label for="search">SEARCH:</label>


  		




  
  65
  
    
<input type="text" id="search" value="search" disabled="disabled">


  		




  
  66
  
    
<input type="reset" id="reset" value="reset" disabled="disabled">


  		




  
  67
  
    
</li>


  		




  
  68
  
    
</ul>


  		




  
  69
  
    
<div>


  		




  
  70
  
    
<script type="text/javascript"><!--


  		




  
  71
  
    
  allClassesLink = document.getElementById("allclasses_navbar_top");


  		




  
  72
  
    
  if(window==top) {


  		




  
  73
  
    
    allClassesLink.style.display = "block";


  		




  
  74
  
    
  }


  		




  
  75
  
    
  else {


  		




  
  76
  
    
    allClassesLink.style.display = "none";


  		




  
  77
  
    
  }


  		




  
  78
  
    
  //-->


  		




  
  79
  
    
</script>


  		




  
  80
  
    
<noscript>


  		




  
  81
  
    
<div>JavaScript is disabled on your browser.</div>


  		




  
  82
  
    
</noscript>


  		




  
  83
  
    
</div>


  		




  
  84
  
    
<div>


  		




  
  85
  
    
<ul class="subNavList">


  		




  
  86
  
    
<li>Summary:&nbsp;</li>


  		




  
  87
  
    
<li>Nested&nbsp;|&nbsp;</li>


  		




  
  88
  
    
<li>Field&nbsp;|&nbsp;</li>


  		




  
  89
  
    
<li><a href="#constructor.summary">Constr</a>&nbsp;|&nbsp;</li>


  		




  
  90
  
    
<li><a href="#method.summary">Method</a></li>


  		




  
  91
  
    
</ul>


  		




  
  92
  
    
<ul class="subNavList">


  		




  
  93
  
    
<li>Detail:&nbsp;</li>


  		




  
  94
  
    
<li>Field&nbsp;|&nbsp;</li>


  		




  
  95
  
    
<li><a href="#constructor.detail">Constr</a>&nbsp;|&nbsp;</li>


  		




  
  96
  
    
<li>Method</li>


  		




  
  97
  
    
</ul>


  		




  
  98
  
    
</div>


  		




  
  99
  
    
<a id="skip.navbar.top">


  		




  
  100
  
    
<!--   -->


  		




  
  101
  
    
</a></div>


  		




  
  102
  
    
<!-- ========= END OF TOP NAVBAR ========= -->


  		




  
  103
  
    
</div>


  		




  
  104
  
    
<div class="navPadding">&nbsp;</div>


  		




  
  105
  
    
<script type="text/javascript"><!--


  		




  
  106
  
    
$('.navPadding').css('padding-top', $('.fixedNav').css("height"));


  		




  
  107
  
    
//-->


  		




  
  108
  
    
</script>


  		




  
  109
  
    
</nav>


  		




  
  110
  
    
</header>


  		




  
  111
  
    
<!-- ======== START OF CLASS DATA ======== -->


  		




  
  112
  
    
<main role="main">


  		




  
  113
  
    
<div class="header">


  		




  
  114
  
    
<div class="subTitle"><span class="packageLabelInType">Package</span>&nbsp;<a href="package-summary.html">main</a></div>


  		




  
  115
  
    
<h2 title="Class Network.UndefinedIdentifier" class="title">Class Network.UndefinedIdentifier</h2>


  		




  
  116
  
    
</div>


  		




  
  117
  
    
<div class="contentContainer">


  		




  
  118
  
    
<ul class="inheritance">


  		




  
  119
  
    
<li>java.lang.Object</li>


  		




  
  120
  
    
<li>


  		




  
  121
  
    
<ul class="inheritance">


  		




  
  122
  
    
<li>java.lang.Throwable</li>


  		




  
  123
  
    
<li>


  		




  
  124
  
    
<ul class="inheritance">


  		




  
  125
  
    
<li>java.lang.Exception</li>


  		




  
  126
  
    
<li>


  		




  
  127
  
    
<ul class="inheritance">


  		




  
  128
  
    
<li>main.Network.UndefinedIdentifier</li>


  		




  
  129
  
    
</ul>


  		




  
  130
  
    
</li>


  		




  
  131
  
    
</ul>


  		




  
  132
  
    
</li>


  		




  
  133
  
    
</ul>


  		




  
  134
  
    
</li>


  		




  
  135
  
    
</ul>


  		




  
  136
  
    
<div class="description">


  		




  
  137
  
    
<ul class="blockList">


  		




  
  138
  
    
<li class="blockList">


  		




  
  139
  
    
<dl>


  		




  
  140
  
    
<dt>All Implemented Interfaces:</dt>


  		




  
  141
  
    
<dd><code>java.io.Serializable</code></dd>


  		




  
  142
  
    
</dl>


  		




  
  143
  
    
<dl>


  		




  
  144
  
    
<dt>Enclosing class:</dt>


  		




  
  145
  
    
<dd><a href="Network.html" title="class in main">Network</a></dd>


  		




  
  146
  
    
</dl>


  		




  
  147
  
    
<hr>


  		




  
  148
  
    
<pre>public class <span class="typeNameLabel">Network.UndefinedIdentifier</span>


  		




  
  149
  
    
extends java.lang.Exception</pre>


  		




  
  150
  
    
<dl>


  		




  
  151
  
    
<dt><span class="seeLabel">See Also:</span></dt>


  		




  
  152
  
    
<dd><a href="../serialized-form.html#main.Network.UndefinedIdentifier">Serialized Form</a></dd>


  		




  
  153
  
    
</dl>


  		




  
  154
  
    
</li>


  		




  
  155
  
    
</ul>


  		




  
  156
  
    
</div>


  		




  
  157
  
    
<div class="summary">


  		




  
  158
  
    
<ul class="blockList">


  		




  
  159
  
    
<li class="blockList">


  		




  
  160
  
    
<!-- ======== CONSTRUCTOR SUMMARY ======== -->


  		




  
  161
  
    
<section role="region">


  		




  
  162
  
    
<ul class="blockList">


  		




  
  163
  
    
<li class="blockList"><a id="constructor.summary">


  		




  
  164
  
    
<!--   -->


  		




  
  165
  
    
</a>


  		




  
  166
  
    
<h3>Constructor Summary</h3>


  		




  
  167
  
    
<table class="memberSummary">


  		




  
  168
  
    
<caption><span>Constructors</span><span class="tabEnd">&nbsp;</span></caption>


  		




  
  169
  
    
<tr>


  		




  
  170
  
    
<th class="colFirst" scope="col">Constructor</th>


  		




  
  171
  
    
<th class="colLast" scope="col">Description</th>


  		




  
  172
  
    
</tr>


  		




  
  173
  
    
<tr class="altColor">


  		




  
  174
  
    
<th class="colConstructorName" scope="row"><code><span class="memberNameLink"><a href="#%3Cinit%3E()">UndefinedIdentifier</a></span>()</code></th>


  		




  
  175
  
    
<td class="colLast">&nbsp;</td>


  		




  
  176
  
    
</tr>


  		




  
  177
  
    
</table>


  		




  
  178
  
    
</li>


  		




  
  179
  
    
</ul>


  		




  
  180
  
    
</section>


  		




  
  181
  
    
<!-- ========== METHOD SUMMARY =========== -->


  		




  
  182
  
    
<section role="region">


  		




  
  183
  
    
<ul class="blockList">


  		




  
  184
  
    
<li class="blockList"><a id="method.summary">


  		




  
  185
  
    
<!--   -->


  		




  
  186
  
    
</a>


  		




  
  187
  
    
<h3>Method Summary</h3>


  		




  
  188
  
    
<ul class="blockList">


  		




  
  189
  
    
<li class="blockList"><a id="methods.inherited.from.class.java.lang.Throwable">


  		




  
  190
  
    
<!--   -->


  		




  
  191
  
    
</a>


  		




  
  192
  
    
<h3>Methods inherited from class&nbsp;java.lang.Throwable</h3>


  		




  
  193
  
    
<code>addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString</code></li>


  		




  
  194
  
    
</ul>


  		




  
  195
  
    
<ul class="blockList">


  		




  
  196
  
    
<li class="blockList"><a id="methods.inherited.from.class.java.lang.Object">


  		




  
  197
  
    
<!--   -->


  		




  
  198
  
    
</a>


  		




  
  199
  
    
<h3>Methods inherited from class&nbsp;java.lang.Object</h3>


  		




  
  200
  
    
<code>equals, getClass, hashCode, notify, notifyAll, wait, wait, wait</code></li>


  		




  
  201
  
    
</ul>


  		




  
  202
  
    
</li>


  		




  
  203
  
    
</ul>


  		




  
  204
  
    
</section>


  		




  
  205
  
    
</li>


  		




  
  206
  
    
</ul>


  		




  
  207
  
    
</div>


  		




  
  208
  
    
<div class="details">


  		




  
  209
  
    
<ul class="blockList">


  		




  
  210
  
    
<li class="blockList">


  		




  
  211
  
    
<!-- ========= CONSTRUCTOR DETAIL ======== -->


  		




  
  212
  
    
<section role="region">


  		




  
  213
  
    
<ul class="blockList">


  		




  
  214
  
    
<li class="blockList"><a id="constructor.detail">


  		




  
  215
  
    
<!--   -->


  		




  
  216
  
    
</a>


  		




  
  217
  
    
<h3>Constructor Detail</h3>


  		




  
  218
  
    
<a id="&lt;init&gt;()">


  		




  
  219
  
    
<!--   -->


  		




  
  220
  
    
</a>


  		




  
  221
  
    
<ul class="blockListLast">


  		




  
  222
  
    
<li class="blockList">


  		




  
  223
  
    
<h4>UndefinedIdentifier</h4>


  		




  
  224
  
    
<pre>public&nbsp;UndefinedIdentifier()</pre>


  		




  
  225
  
    
</li>


  		




  
  226
  
    
</ul>


  		




  
  227
  
    
</li>


  		




  
  228
  
    
</ul>


  		




  
  229
  
    
</section>


  		




  
  230
  
    
</li>


  		




  
  231
  
    
</ul>


  		




  
  232
  
    
</div>


  		




  
  233
  
    
</div>


  		




  
  234
  
    
</main>


  		




  
  235
  
    
<!-- ========= END OF CLASS DATA ========= -->


  		




  
  236
  
    
<footer role="contentinfo">


  		




  
  237
  
    
<nav role="navigation">


  		




  
  238
  
    
<!-- ======= START OF BOTTOM NAVBAR ====== -->


  		




  
  239
  
    
<div class="bottomNav"><a id="navbar.bottom">


  		




  
  240
  
    
<!--   -->


  		




  
  241
  
    
</a>


  		




  
  242
  
    
<div class="skipNav"><a href="#skip.navbar.bottom" title="Skip navigation links">Skip navigation links</a></div>


  		




  
  243
  
    
<a id="navbar.bottom.firstrow">


  		




  
  244
  
    
<!--   -->


  		




  
  245
  
    
</a>


  		




  
  246
  
    
<ul class="navList" title="Navigation">


  		




  
  247
  
    
<li><a href="../index.html">Overview</a></li>


  		




  
  248
  
    
<li><a href="package-summary.html">Package</a></li>


  		




  
  249
  
    
<li class="navBarCell1Rev">Class</li>


  		




  
  250
  
    
<li><a href="class-use/Network.UndefinedIdentifier.html">Use</a></li>


  		




  
  251
  
    
<li><a href="package-tree.html">Tree</a></li>


  		




  
  252
  
    
<li><a href="../deprecated-list.html">Deprecated</a></li>


  		




  
  253
  
    
<li><a href="../index-files/index-1.html">Index</a></li>


  		




  
  254
  
    
<li><a href="../help-doc.html">Help</a></li>


  		




  
  255
  
    
</ul>


  		




  
  256
  
    
</div>


  		




  
  257
  
    
<div class="subNav">


  		




  
  258
  
    
<ul class="navList" id="allclasses_navbar_bottom">


  		




  
  259
  
    
<li><a href="../allclasses.html">All&nbsp;Classes</a></li>


  		




  
  260
  
    
</ul>


  		




  
  261
  
    
<div>


  		




  
  262
  
    
<script type="text/javascript"><!--


  		




  
  263
  
    
  allClassesLink = document.getElementById("allclasses_navbar_bottom");


  		




  
  264
  
    
  if(window==top) {


  		




  
  265
  
    
    allClassesLink.style.display = "block";


  		




  
  266
  
    
  }


  		




  
  267
  
    
  else {


  		




  
  268
  
    
    allClassesLink.style.display = "none";


  		




  
  269
  
    
  }


  		




  
  270
  
    
  //-->


  		




  
  271
  
    
</script>


  		




  
  272
  
    
<noscript>


  		




  
  273
  
    
<div>JavaScript is disabled on your browser.</div>


  		




  
  274
  
    
</noscript>


  		




  
  275
  
    
</div>


  		




  
  276
  
    
<div>


  		




  
  277
  
    
<ul class="subNavList">


  		




  
  278
  
    
<li>Summary:&nbsp;</li>


  		




  
  279
  
    
<li>Nested&nbsp;|&nbsp;</li>


  		




  
  280
  
    
<li>Field&nbsp;|&nbsp;</li>


  		




  
  281
  
    
<li><a href="#constructor.summary">Constr</a>&nbsp;|&nbsp;</li>


  		




  
  282
  
    
<li><a href="#method.summary">Method</a></li>


  		




  
  283
  
    
</ul>


  		




  
  284
  
    
<ul class="subNavList">


  		




  
  285
  
    
<li>Detail:&nbsp;</li>


  		




  
  286
  
    
<li>Field&nbsp;|&nbsp;</li>


  		




  
  287
  
    
<li><a href="#constructor.detail">Constr</a>&nbsp;|&nbsp;</li>


  		




  
  288
  
    
<li>Method</li>


  		




  
  289
  
    
</ul>


  		




  
  290
  
    
</div>


  		




  
  291
  
    
<a id="skip.navbar.bottom">


  		




  
  292
  
    
<!--   -->


  		




  
  293
  
    
</a></div>


  		




  
  294
  
    
<!-- ======== END OF BOTTOM NAVBAR ======= -->


  		




  
  295
  
    
</nav>


  		




  
  296
  
    
</footer>


  		




  
  297
  
    
</body>


  		




  
  298
  
    
</html>


  		




  0
  299
  
    

  		












  

    
      petri/doc/main/class-use/Network.html
    
  





  
  1
  
    
<!DOCTYPE HTML>


  		




  
  2
  
    
<!-- NewPage -->


  		








... This diff was truncated because it exceeds the maximum size that can be displayed.



Also available in:  Unified diff