Statistiques
| Révision:

fr_b02 / petri / doc / main / class-use / Network.UndefinedIdentifier.html @ 5

Historique | Voir | Annoter | Télécharger (6,958 ko)

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 Class main.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="Uses of Class main.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><a href="../Network.UndefinedIdentifier.html" title="class in main">Class</a></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
<h2 title="Uses of Class main.Network.UndefinedIdentifier" class="title">Uses of Class<br>main.Network.UndefinedIdentifier</h2>
99
</div>
100
<div class="classUseContainer">
101
<ul class="blockList">
102
<li class="blockList">
103
<table class="useSummary">
104
<caption><span>Packages that use <a href="../Network.UndefinedIdentifier.html" title="class in main">Network.UndefinedIdentifier</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">
118
<ul class="blockList">
119
<li class="blockList">
120
<section role="region"><a id="main">
121
<!--   -->
122
</a>
123
<h3>Uses of <a href="../Network.UndefinedIdentifier.html" title="class in main">Network.UndefinedIdentifier</a> in <a href="../package-summary.html">main</a></h3>
124
<table class="useSummary">
125
<caption><span>Methods in <a href="../package-summary.html">main</a> that throw <a href="../Network.UndefinedIdentifier.html" title="class in main">Network.UndefinedIdentifier</a></span><span class="tabEnd">&nbsp;</span></caption>
126
<tr>
127
<th class="colFirst" scope="col">Modifier and Type</th>
128
<th class="colSecond" scope="col">Method</th>
129
<th class="colLast" scope="col">Description</th>
130
</tr>
131
<tbody>
132
<tr class="altColor">
133
<td class="colFirst"><code>void</code></td>
134
<th class="colSecond" scope="row"><span class="typeNameLabel">Network.</span><code><span class="memberNameLink"><a href="../Network.html#addArc(element.Transition,element.Place,int,int)">addArc</a></span>&#8203;(<a href="../../element/Transition.html" title="class in element">Transition</a>&nbsp;transition,
135
      <a href="../../element/Place.html" title="class in element">Place</a>&nbsp;place,
136
      int&nbsp;value,
137
      int&nbsp;identifier)</code></th>
138
<td class="colLast">&nbsp;</td>
139
</tr>
140
<tr class="rowColor">
141
<td class="colFirst"><code>static void</code></td>
142
<th class="colSecond" scope="row"><span class="typeNameLabel">Network.</span><code><span class="memberNameLink"><a href="../Network.html#main(java.lang.String%5B%5D)">main</a></span>&#8203;(java.lang.String[]&nbsp;args)</code></th>
143
<td class="colLast">&nbsp;</td>
144
</tr>
145
</tbody>
146
</table>
147
</section>
148
</li>
149
</ul>
150
</li>
151
</ul>
152
</div>
153
</main>
154
<footer role="contentinfo">
155
<nav role="navigation">
156
<!-- ======= START OF BOTTOM NAVBAR ====== -->
157
<div class="bottomNav"><a id="navbar.bottom">
158
<!--   -->
159
</a>
160
<div class="skipNav"><a href="#skip.navbar.bottom" title="Skip navigation links">Skip navigation links</a></div>
161
<a id="navbar.bottom.firstrow">
162
<!--   -->
163
</a>
164
<ul class="navList" title="Navigation">
165
<li><a href="../../index.html">Overview</a></li>
166
<li><a href="../package-summary.html">Package</a></li>
167
<li><a href="../Network.UndefinedIdentifier.html" title="class in main">Class</a></li>
168
<li class="navBarCell1Rev">Use</li>
169
<li><a href="../package-tree.html">Tree</a></li>
170
<li><a href="../../deprecated-list.html">Deprecated</a></li>
171
<li><a href="../../index-files/index-1.html">Index</a></li>
172
<li><a href="../../help-doc.html">Help</a></li>
173
</ul>
174
</div>
175
<div class="subNav">
176
<ul class="navList" id="allclasses_navbar_bottom">
177
<li><a href="../../allclasses.html">All&nbsp;Classes</a></li>
178
</ul>
179
<div>
180
<script type="text/javascript"><!--
181
  allClassesLink = document.getElementById("allclasses_navbar_bottom");
182
  if(window==top) {
183
    allClassesLink.style.display = "block";
184
  }
185
  else {
186
    allClassesLink.style.display = "none";
187
  }
188
  //-->
189
</script>
190
<noscript>
191
<div>JavaScript is disabled on your browser.</div>
192
</noscript>
193
</div>
194
<a id="skip.navbar.bottom">
195
<!--   -->
196
</a></div>
197
<!-- ======== END OF BOTTOM NAVBAR ======= -->
198
</nav>
199
</footer>
200
</body>
201
</html>