Révision 7 petri/doc/element/class-use/Place.html
| Place.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.Place</title> |
| 7 | 7 |
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"> |
| 8 | 8 |
<meta name="dc.created" content="2020-11-13"> |
| ... | ... | |
| 208 | 208 |
<a href="../Place.html" title="class in element">Place</a> place, |
| 209 | 209 |
int value, |
| 210 | 210 |
int identifier)</code></th> |
| 211 |
<td class="colLast"> </td> |
|
| 211 |
<td class="colLast"> |
|
| 212 |
<div class="block">create a new arc</div> |
|
| 213 |
</td> |
|
| 212 | 214 |
</tr> |
| 213 | 215 |
<tr class="rowColor"> |
| 214 | 216 |
<td class="colFirst"><code>void</code></td> |
| 215 | 217 |
<th class="colSecond" scope="row"><span class="typeNameLabel">Network.</span><code><span class="memberNameLink"><a href="../../main/Network.html#deletePlace(element.Place)">deletePlace</a></span>​(<a href="../Place.html" title="class in element">Place</a> place)</code></th> |
| 216 |
<td class="colLast"> </td> |
|
| 218 |
<td class="colLast"> |
|
| 219 |
<div class="block">delete a place an the arcs link to it</div> |
|
| 220 |
</td> |
|
| 217 | 221 |
</tr> |
| 218 | 222 |
</tbody> |
| 219 | 223 |
</table> |
Formats disponibles : Unified diff