fr_b02 / petri / doc / main / Network.html @ 7
Historique | Voir | Annoter | Télécharger (20,707 ko)
1 |
<!DOCTYPE HTML>
|
---|---|
2 |
<!-- NewPage -->
|
3 |
<html lang="fr"> |
4 |
<head>
|
5 |
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 11:20:05 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-13"> |
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 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: </li> |
93 |
<li><a href="#nested.class.summary">Nested</a> | </li> |
94 |
<li><a href="#field.summary">Field</a> | </li> |
95 |
<li><a href="#constructor.summary">Constr</a> | </li> |
96 |
<li><a href="#method.summary">Method</a></li> |
97 |
</ul>
|
98 |
<ul class="subNavList"> |
99 |
<li>Detail: </li> |
100 |
<li><a href="#field.detail">Field</a> | </li> |
101 |
<li><a href="#constructor.detail">Constr</a> | </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"> </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> <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"> </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 </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"> </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"> </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"> </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"> </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"> </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"> </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"> </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"> </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"> </span></span><span id="t1" class="tableTab"><span><a href="javascript:show(1);">Static Methods</a></span><span class="tabEnd"> </span></span><span id="t2" class="tableTab"><span><a href="javascript:show(2);">Instance Methods</a></span><span class="tabEnd"> </span></span><span id="t4" class="tableTab"><span><a href="javascript:show(8);">Concrete Methods</a></span><span class="tabEnd"> </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>​(<a href="../element/Transition.html" title="class in element">Transition</a> transition, |
243 |
<a href="../element/Place.html" title="class in element">Place</a> place, |
244 |
int value,
|
245 |
int identifier)</code></th> |
246 |
<td class="colLast"> |
247 |
<div class="block">create a new arc</div> |
248 |
</td>
|
249 |
</tr>
|
250 |
<tr id="i1" class="rowColor"> |
251 |
<td class="colFirst"><code>void</code></td> |
252 |
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#addPlace(int)">addPlace</a></span>​(int value)</code></th> |
253 |
<td class="colLast"> |
254 |
<div class="block">create a new place</div> |
255 |
</td>
|
256 |
</tr>
|
257 |
<tr id="i2" class="altColor"> |
258 |
<td class="colFirst"><code>void</code></td> |
259 |
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#addTransition()">addTransition</a></span>()</code></th> |
260 |
<td class="colLast"> |
261 |
<div class="block">create a new transition</div> |
262 |
</td>
|
263 |
</tr>
|
264 |
<tr id="i3" class="rowColor"> |
265 |
<td class="colFirst"><code>void</code></td> |
266 |
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#deleteArc(arcElement.Arc)">deleteArc</a></span>​(<a href="../arcElement/Arc.html" title="class in arcElement">Arc</a> a)</code></th> |
267 |
<td class="colLast"> |
268 |
<div class="block">delete an arc</div> |
269 |
</td>
|
270 |
</tr>
|
271 |
<tr id="i4" class="altColor"> |
272 |
<td class="colFirst"><code>void</code></td> |
273 |
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#deletePlace(element.Place)">deletePlace</a></span>​(<a href="../element/Place.html" title="class in element">Place</a> place)</code></th> |
274 |
<td class="colLast"> |
275 |
<div class="block">delete a place an the arcs link to it</div> |
276 |
</td>
|
277 |
</tr>
|
278 |
<tr id="i5" class="rowColor"> |
279 |
<td class="colFirst"><code>void</code></td> |
280 |
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#deleteTransition(element.Transition)">deleteTransition</a></span>​(<a href="../element/Transition.html" title="class in element">Transition</a> transition)</code></th> |
281 |
<td class="colLast"> |
282 |
<div class="block">delete a transition</div> |
283 |
</td>
|
284 |
</tr>
|
285 |
<tr id="i6" class="altColor"> |
286 |
<td class="colFirst"><code>void</code></td> |
287 |
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#fire(element.Transition)">fire</a></span>​(<a href="../element/Transition.html" title="class in element">Transition</a> transition)</code></th> |
288 |
<td class="colLast"> |
289 |
<div class="block">fire the transition selected</div> |
290 |
</td>
|
291 |
</tr>
|
292 |
<tr id="i7" class="rowColor"> |
293 |
<td class="colFirst"><code>java.util.List<<a href="../element/Transition.html" title="class in element">Transition</a>></code></td> |
294 |
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#getListTransition()">getListTransition</a></span>()</code></th> |
295 |
<td class="colLast"> </td> |
296 |
</tr>
|
297 |
<tr id="i8" class="altColor"> |
298 |
<td class="colFirst"><code>java.util.List<<a href="../element/Place.html" title="class in element">Place</a>></code></td> |
299 |
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#getPlaceList()">getPlaceList</a></span>()</code></th> |
300 |
<td class="colLast"> </td> |
301 |
</tr>
|
302 |
<tr id="i9" class="rowColor"> |
303 |
<td class="colFirst"><code>static void</code></td> |
304 |
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#main(java.lang.String%5B%5D)">main</a></span>​(java.lang.String[] args)</code></th> |
305 |
<td class="colLast"> </td> |
306 |
</tr>
|
307 |
<tr id="i10" class="altColor"> |
308 |
<td class="colFirst"><code>java.lang.String</code></td> |
309 |
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#toString()">toString</a></span>()</code></th> |
310 |
<td class="colLast"> |
311 |
<div class="block">string representation of a network</div> |
312 |
</td>
|
313 |
</tr>
|
314 |
</table>
|
315 |
<ul class="blockList"> |
316 |
<li class="blockList"><a id="methods.inherited.from.class.java.lang.Object"> |
317 |
<!-- -->
|
318 |
</a>
|
319 |
<h3>Methods inherited from class java.lang.Object</h3> |
320 |
<code>equals, getClass, hashCode, notify, notifyAll, wait, wait, wait</code></li> |
321 |
</ul>
|
322 |
</li>
|
323 |
</ul>
|
324 |
</section>
|
325 |
</li>
|
326 |
</ul>
|
327 |
</div>
|
328 |
<div class="details"> |
329 |
<ul class="blockList"> |
330 |
<li class="blockList"> |
331 |
<!-- ============ FIELD DETAIL =========== -->
|
332 |
<section role="region"> |
333 |
<ul class="blockList"> |
334 |
<li class="blockList"><a id="field.detail"> |
335 |
<!-- -->
|
336 |
</a>
|
337 |
<h3>Field Detail</h3> |
338 |
<a id="ArcOutering"> |
339 |
<!-- -->
|
340 |
</a>
|
341 |
<ul class="blockList"> |
342 |
<li class="blockList"> |
343 |
<h4>ArcOutering</h4> |
344 |
<pre>public static int ArcOutering</pre> |
345 |
</li>
|
346 |
</ul>
|
347 |
<a id="ArcCleaner"> |
348 |
<!-- -->
|
349 |
</a>
|
350 |
<ul class="blockList"> |
351 |
<li class="blockList"> |
352 |
<h4>ArcCleaner</h4> |
353 |
<pre>public static int ArcCleaner</pre> |
354 |
</li>
|
355 |
</ul>
|
356 |
<a id="ArcZero"> |
357 |
<!-- -->
|
358 |
</a>
|
359 |
<ul class="blockList"> |
360 |
<li class="blockList"> |
361 |
<h4>ArcZero</h4> |
362 |
<pre>public static int ArcZero</pre> |
363 |
</li>
|
364 |
</ul>
|
365 |
<a id="ArcEntering"> |
366 |
<!-- -->
|
367 |
</a>
|
368 |
<ul class="blockListLast"> |
369 |
<li class="blockList"> |
370 |
<h4>ArcEntering</h4> |
371 |
<pre>public static int ArcEntering</pre> |
372 |
</li>
|
373 |
</ul>
|
374 |
</li>
|
375 |
</ul>
|
376 |
</section>
|
377 |
<!-- ========= CONSTRUCTOR DETAIL ======== -->
|
378 |
<section role="region"> |
379 |
<ul class="blockList"> |
380 |
<li class="blockList"><a id="constructor.detail"> |
381 |
<!-- -->
|
382 |
</a>
|
383 |
<h3>Constructor Detail</h3> |
384 |
<a id="<init>()"> |
385 |
<!-- -->
|
386 |
</a>
|
387 |
<ul class="blockListLast"> |
388 |
<li class="blockList"> |
389 |
<h4>Network</h4> |
390 |
<pre>public Network()</pre> |
391 |
</li>
|
392 |
</ul>
|
393 |
</li>
|
394 |
</ul>
|
395 |
</section>
|
396 |
<!-- ============ METHOD DETAIL ========== -->
|
397 |
<section role="region"> |
398 |
<ul class="blockList"> |
399 |
<li class="blockList"><a id="method.detail"> |
400 |
<!-- -->
|
401 |
</a>
|
402 |
<h3>Method Detail</h3> |
403 |
<a id="addTransition()"> |
404 |
<!-- -->
|
405 |
</a>
|
406 |
<ul class="blockList"> |
407 |
<li class="blockList"> |
408 |
<h4>addTransition</h4> |
409 |
<pre class="methodSignature">public void addTransition()</pre> |
410 |
<div class="block">create a new transition</div> |
411 |
</li>
|
412 |
</ul>
|
413 |
<a id="addPlace(int)"> |
414 |
<!-- -->
|
415 |
</a>
|
416 |
<ul class="blockList"> |
417 |
<li class="blockList"> |
418 |
<h4>addPlace</h4> |
419 |
<pre class="methodSignature">public void addPlace​(int value) |
420 |
throws <a href="../element/Place.UndefinedToken.html" title="class in element">Place.UndefinedToken</a></pre> |
421 |
<div class="block">create a new place</div> |
422 |
<dl>
|
423 |
<dt><span class="throwsLabel">Throws:</span></dt> |
424 |
<dd><code><a href="../element/Place.UndefinedToken.html" title="class in element">Place.UndefinedToken</a></code></dd> |
425 |
</dl>
|
426 |
</li>
|
427 |
</ul>
|
428 |
<a id="addArc(element.Transition,element.Place,int,int)"> |
429 |
<!-- -->
|
430 |
</a>
|
431 |
<ul class="blockList"> |
432 |
<li class="blockList"> |
433 |
<h4>addArc</h4> |
434 |
<pre class="methodSignature">public void addArc​(<a href="../element/Transition.html" title="class in element">Transition</a> transition, |
435 |
<a href="../element/Place.html" title="class in element">Place</a> place, |
436 |
int value,
|
437 |
int identifier)
|
438 |
throws <a href="Network.UndefinedIdentifier.html" title="class in main">Network.UndefinedIdentifier</a></pre> |
439 |
<div class="block">create a new arc</div> |
440 |
<dl>
|
441 |
<dt><span class="paramLabel">Parameters:</span></dt> |
442 |
<dd><code>transtion</code> - the transition link to this arc</dd> |
443 |
<dd><code>place</code> - the place link to this arc</dd> |
444 |
<dd><code>the</code> - value of this arc</dd> |
445 |
<dd><code>identifier</code> - the integer that correspond to the type of arc (define as static)</dd> |
446 |
<dt><span class="throwsLabel">Throws:</span></dt> |
447 |
<dd><code><a href="Network.UndefinedIdentifier.html" title="class in main">Network.UndefinedIdentifier</a></code></dd> |
448 |
</dl>
|
449 |
</li>
|
450 |
</ul>
|
451 |
<a id="deleteArc(arcElement.Arc)"> |
452 |
<!-- -->
|
453 |
</a>
|
454 |
<ul class="blockList"> |
455 |
<li class="blockList"> |
456 |
<h4>deleteArc</h4> |
457 |
<pre class="methodSignature">public void deleteArc​(<a href="../arcElement/Arc.html" title="class in arcElement">Arc</a> a)</pre> |
458 |
<div class="block">delete an arc</div> |
459 |
</li>
|
460 |
</ul>
|
461 |
<a id="deletePlace(element.Place)"> |
462 |
<!-- -->
|
463 |
</a>
|
464 |
<ul class="blockList"> |
465 |
<li class="blockList"> |
466 |
<h4>deletePlace</h4> |
467 |
<pre class="methodSignature">public void deletePlace​(<a href="../element/Place.html" title="class in element">Place</a> place)</pre> |
468 |
<div class="block">delete a place an the arcs link to it</div> |
469 |
</li>
|
470 |
</ul>
|
471 |
<a id="deleteTransition(element.Transition)"> |
472 |
<!-- -->
|
473 |
</a>
|
474 |
<ul class="blockList"> |
475 |
<li class="blockList"> |
476 |
<h4>deleteTransition</h4> |
477 |
<pre class="methodSignature">public void deleteTransition​(<a href="../element/Transition.html" title="class in element">Transition</a> transition)</pre> |
478 |
<div class="block">delete a transition</div> |
479 |
</li>
|
480 |
</ul>
|
481 |
<a id="fire(element.Transition)"> |
482 |
<!-- -->
|
483 |
</a>
|
484 |
<ul class="blockList"> |
485 |
<li class="blockList"> |
486 |
<h4>fire</h4> |
487 |
<pre class="methodSignature">public void fire​(<a href="../element/Transition.html" title="class in element">Transition</a> transition)</pre> |
488 |
<div class="block">fire the transition selected</div> |
489 |
</li>
|
490 |
</ul>
|
491 |
<a id="toString()"> |
492 |
<!-- -->
|
493 |
</a>
|
494 |
<ul class="blockList"> |
495 |
<li class="blockList"> |
496 |
<h4>toString</h4> |
497 |
<pre class="methodSignature">public java.lang.String toString()</pre> |
498 |
<div class="block">string representation of a network</div> |
499 |
<dl>
|
500 |
<dt><span class="overrideSpecifyLabel">Overrides:</span></dt> |
501 |
<dd><code>toString</code> in class <code>java.lang.Object</code></dd> |
502 |
</dl>
|
503 |
</li>
|
504 |
</ul>
|
505 |
<a id="main(java.lang.String[])"> |
506 |
<!-- -->
|
507 |
</a>
|
508 |
<ul class="blockList"> |
509 |
<li class="blockList"> |
510 |
<h4>main</h4> |
511 |
<pre class="methodSignature">public static void main​(java.lang.String[] args) |
512 |
throws <a href="../element/Place.UndefinedToken.html" title="class in element">Place.UndefinedToken</a>, |
513 |
<a href="Network.UndefinedIdentifier.html" title="class in main">Network.UndefinedIdentifier</a></pre> |
514 |
<dl>
|
515 |
<dt><span class="throwsLabel">Throws:</span></dt> |
516 |
<dd><code><a href="../element/Place.UndefinedToken.html" title="class in element">Place.UndefinedToken</a></code></dd> |
517 |
<dd><code><a href="Network.UndefinedIdentifier.html" title="class in main">Network.UndefinedIdentifier</a></code></dd> |
518 |
</dl>
|
519 |
</li>
|
520 |
</ul>
|
521 |
<a id="getPlaceList()"> |
522 |
<!-- -->
|
523 |
</a>
|
524 |
<ul class="blockList"> |
525 |
<li class="blockList"> |
526 |
<h4>getPlaceList</h4> |
527 |
<pre class="methodSignature">public java.util.List<<a href="../element/Place.html" title="class in element">Place</a>> getPlaceList()</pre> |
528 |
</li>
|
529 |
</ul>
|
530 |
<a id="getListTransition()"> |
531 |
<!-- -->
|
532 |
</a>
|
533 |
<ul class="blockListLast"> |
534 |
<li class="blockList"> |
535 |
<h4>getListTransition</h4> |
536 |
<pre class="methodSignature">public java.util.List<<a href="../element/Transition.html" title="class in element">Transition</a>> getListTransition()</pre> |
537 |
</li>
|
538 |
</ul>
|
539 |
</li>
|
540 |
</ul>
|
541 |
</section>
|
542 |
</li>
|
543 |
</ul>
|
544 |
</div>
|
545 |
</div>
|
546 |
</main>
|
547 |
<!-- ========= END OF CLASS DATA ========= -->
|
548 |
<footer role="contentinfo"> |
549 |
<nav role="navigation"> |
550 |
<!-- ======= START OF BOTTOM NAVBAR ====== -->
|
551 |
<div class="bottomNav"><a id="navbar.bottom"> |
552 |
<!-- -->
|
553 |
</a>
|
554 |
<div class="skipNav"><a href="#skip.navbar.bottom" title="Skip navigation links">Skip navigation links</a></div> |
555 |
<a id="navbar.bottom.firstrow"> |
556 |
<!-- -->
|
557 |
</a>
|
558 |
<ul class="navList" title="Navigation"> |
559 |
<li><a href="../index.html">Overview</a></li> |
560 |
<li><a href="package-summary.html">Package</a></li> |
561 |
<li class="navBarCell1Rev">Class</li> |
562 |
<li><a href="class-use/Network.html">Use</a></li> |
563 |
<li><a href="package-tree.html">Tree</a></li> |
564 |
<li><a href="../deprecated-list.html">Deprecated</a></li> |
565 |
<li><a href="../index-files/index-1.html">Index</a></li> |
566 |
<li><a href="../help-doc.html">Help</a></li> |
567 |
</ul>
|
568 |
</div>
|
569 |
<div class="subNav"> |
570 |
<ul class="navList" id="allclasses_navbar_bottom"> |
571 |
<li><a href="../allclasses.html">All Classes</a></li> |
572 |
</ul>
|
573 |
<div>
|
574 |
<script type="text/javascript"><!-- |
575 |
allClassesLink = document.getElementById("allclasses_navbar_bottom");
|
576 |
if(window==top) {
|
577 |
allClassesLink.style.display = "block";
|
578 |
}
|
579 |
else {
|
580 |
allClassesLink.style.display = "none";
|
581 |
}
|
582 |
//--> |
583 |
</script>
|
584 |
<noscript>
|
585 |
<div>JavaScript is disabled on your browser.</div> |
586 |
</noscript>
|
587 |
</div>
|
588 |
<div>
|
589 |
<ul class="subNavList"> |
590 |
<li>Summary: </li> |
591 |
<li><a href="#nested.class.summary">Nested</a> | </li> |
592 |
<li><a href="#field.summary">Field</a> | </li> |
593 |
<li><a href="#constructor.summary">Constr</a> | </li> |
594 |
<li><a href="#method.summary">Method</a></li> |
595 |
</ul>
|
596 |
<ul class="subNavList"> |
597 |
<li>Detail: </li> |
598 |
<li><a href="#field.detail">Field</a> | </li> |
599 |
<li><a href="#constructor.detail">Constr</a> | </li> |
600 |
<li><a href="#method.detail">Method</a></li> |
601 |
</ul>
|
602 |
</div>
|
603 |
<a id="skip.navbar.bottom"> |
604 |
<!-- -->
|
605 |
</a></div> |
606 |
<!-- ======== END OF BOTTOM NAVBAR ======= -->
|
607 |
</nav>
|
608 |
</footer>
|
609 |
</body>
|
610 |
</html>
|