Révision 7 petri/doc/index-files/index-10.html

Voir les différences:

index-10.html
2 2
<!-- NewPage -->
3 3
<html lang="fr">
4 4
<head>
5
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 10:59:17 CET 2020 -->
5
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 11:20:05 CET 2020 -->
6 6
<title>P-Index</title>
7 7
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
8 8
<meta name="dc.created" content="2020-11-13">
......
104 104
<dt><span class="memberNameLink"><a href="../element/Place.html#%3Cinit%3E(int)">Place(int)</a></span> - Constructor for class element.<a href="../element/Place.html" title="class in element">Place</a></dt>
105 105
<dd>&nbsp;</dd>
106 106
<dt><a href="../element/Place.UndefinedToken.html" title="class in element"><span class="typeNameLink">Place.UndefinedToken</span></a> - Exception in <a href="../element/package-summary.html">element</a></dt>
107
<dd>&nbsp;</dd>
107
<dd>
108
<div class="block">exception to handle negative value for token</div>
109
</dd>
108 110
</dl>
109 111
<a href="index-1.html">A</a>&nbsp;<a href="index-2.html">C</a>&nbsp;<a href="index-3.html">D</a>&nbsp;<a href="index-4.html">E</a>&nbsp;<a href="index-5.html">F</a>&nbsp;<a href="index-6.html">G</a>&nbsp;<a href="index-7.html">I</a>&nbsp;<a href="index-8.html">M</a>&nbsp;<a href="index-9.html">N</a>&nbsp;<a href="index-10.html">P</a>&nbsp;<a href="index-11.html">T</a>&nbsp;<a href="index-12.html">U</a>&nbsp;<br><a href="../allclasses-index.html">All&nbsp;Classes</a>&nbsp;<a href="../allpackages-index.html">All&nbsp;Packages</a></div>
110 112
</main>

Formats disponibles : Unified diff