Révision 7 petri/doc/main/class-use/Network.UndefinedIdentifier.html
Network.UndefinedIdentifier.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 main.Network.UndefinedIdentifier</title> |
7 | 7 |
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"> |
8 | 8 |
<meta name="dc.created" content="2020-11-13"> |
... | ... | |
135 | 135 |
<a href="../../element/Place.html" title="class in element">Place</a> place, |
136 | 136 |
int value, |
137 | 137 |
int identifier)</code></th> |
138 |
<td class="colLast"> </td> |
|
138 |
<td class="colLast"> |
|
139 |
<div class="block">create a new arc</div> |
|
140 |
</td> |
|
139 | 141 |
</tr> |
140 | 142 |
<tr class="rowColor"> |
141 | 143 |
<td class="colFirst"><code>static void</code></td> |
Formats disponibles : Unified diff