Révision 7 petri/doc/element/class-use/Transition.html
Transition.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>Uses of Class element.Transition</title> |
7 | 7 |
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"> |
8 | 8 |
<meta name="dc.created" content="2020-11-13"> |
... | ... | |
150 | 150 |
<a href="../Place.html" title="class in element">Place</a> place, |
151 | 151 |
int value, |
152 | 152 |
int identifier)</code></th> |
153 |
<td class="colLast"> </td> |
|
153 |
<td class="colLast"> |
|
154 |
<div class="block">create a new arc</div> |
|
155 |
</td> |
|
154 | 156 |
</tr> |
155 | 157 |
<tr class="rowColor"> |
156 | 158 |
<td class="colFirst"><code>void</code></td> |
157 | 159 |
<th class="colSecond" scope="row"><span class="typeNameLabel">Network.</span><code><span class="memberNameLink"><a href="../../main/Network.html#deleteTransition(element.Transition)">deleteTransition</a></span>​(<a href="../Transition.html" title="class in element">Transition</a> transition)</code></th> |
158 |
<td class="colLast"> </td> |
|
160 |
<td class="colLast"> |
|
161 |
<div class="block">delete a transition</div> |
|
162 |
</td> |
|
159 | 163 |
</tr> |
160 | 164 |
<tr class="altColor"> |
161 | 165 |
<td class="colFirst"><code>void</code></td> |
162 | 166 |
<th class="colSecond" scope="row"><span class="typeNameLabel">Network.</span><code><span class="memberNameLink"><a href="../../main/Network.html#fire(element.Transition)">fire</a></span>​(<a href="../Transition.html" title="class in element">Transition</a> transition)</code></th> |
163 |
<td class="colLast"> </td> |
|
167 |
<td class="colLast"> |
|
168 |
<div class="block">fire the transition selected</div> |
|
169 |
</td> |
|
164 | 170 |
</tr> |
165 | 171 |
</tbody> |
166 | 172 |
</table> |
Formats disponibles : Unified diff