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

Voir les différences:

index-3.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>D-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">
......
100 100
<h2 class="title">D</h2>
101 101
<dl>
102 102
<dt><span class="memberNameLink"><a href="../main/Network.html#deleteArc(arcElement.Arc)">deleteArc(Arc)</a></span> - Method in class main.<a href="../main/Network.html" title="class in main">Network</a></dt>
103
<dd>&nbsp;</dd>
103
<dd>
104
<div class="block">delete an arc</div>
105
</dd>
104 106
<dt><span class="memberNameLink"><a href="../main/Network.html#deletePlace(element.Place)">deletePlace(Place)</a></span> - Method in class main.<a href="../main/Network.html" title="class in main">Network</a></dt>
105
<dd>&nbsp;</dd>
107
<dd>
108
<div class="block">delete a place an the arcs link to it</div>
109
</dd>
106 110
<dt><span class="memberNameLink"><a href="../main/Network.html#deleteTransition(element.Transition)">deleteTransition(Transition)</a></span> - Method in class main.<a href="../main/Network.html" title="class in main">Network</a></dt>
107
<dd>&nbsp;</dd>
111
<dd>
112
<div class="block">delete a transition</div>
113
</dd>
108 114
<dt><span class="memberNameLink"><a href="../arcElement/ArcCleaner.html#doTransition()">doTransition()</a></span> - Method in class arcElement.<a href="../arcElement/ArcCleaner.html" title="class in arcElement">ArcCleaner</a></dt>
109 115
<dd>
110 116
<div class="block">Do the transition for the ArcCleaner (remove all the token of the place)</div>
......
126 132
<div class="block">Do the transition for the ArcZero (do nothing)</div>
127 133
</dd>
128 134
<dt><span class="memberNameLink"><a href="../element/Transition.html#doTransition()">doTransition()</a></span> - Method in class element.<a href="../element/Transition.html" title="class in element">Transition</a></dt>
129
<dd>&nbsp;</dd>
135
<dd>
136
<div class="block">do the transition 
137
 (all its arcs do the transition</div>
138
</dd>
130 139
</dl>
131 140
<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>
132 141
</main>

Formats disponibles : Unified diff