Révision 6 petri/doc/arcElement/Arc.html

Voir les différences:

Arc.html
2 2
<!-- NewPage -->
3 3
<html lang="fr">
4 4
<head>
5
<!-- Generated by javadoc (11.0.8) on Mon Nov 02 17:36:44 CET 2020 -->
5
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 10:59:17 CET 2020 -->
6 6
<title>Arc</title>
7 7
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
8
<meta name="dc.created" content="2020-11-02">
8
<meta name="dc.created" content="2020-11-13">
9 9
<link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
10 10
<link rel="stylesheet" type="text/css" href="../jquery/jquery-ui.css" title="Style">
11 11
<script type="text/javascript" src="../script.js"></script>
......
250 250
<li class="blockList">
251 251
<h4>Arc</h4>
252 252
<pre>public&nbsp;Arc&#8203;(<a href="../element/Place.html" title="class in element">Place</a>&nbsp;place)</pre>
253
<dl>
254
<dt><span class="paramLabel">Parameters:</span></dt>
255
<dd><code>place</code> - link to the arc</dd>
256
</dl>
253 257
</li>
254 258
</ul>
255 259
</li>
......
281 285
<dl>
282 286
<dt><span class="overrideSpecifyLabel">Overrides:</span></dt>
283 287
<dd><code>equals</code>&nbsp;in class&nbsp;<code>java.lang.Object</code></dd>
288
<dt><span class="paramLabel">Parameters:</span></dt>
289
<dd><code>Object</code> - to compare to the arc
290
the goal of this method is to check if two arcs are the same object (same identityHashCode)</dd>
284 291
</dl>
285 292
</li>
286 293
</ul>

Formats disponibles : Unified diff