Révision 7 petri/doc/index-files/index-3.html
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> </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> </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> </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> </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> <a href="index-2.html">C</a> <a href="index-3.html">D</a> <a href="index-4.html">E</a> <a href="index-5.html">F</a> <a href="index-6.html">G</a> <a href="index-7.html">I</a> <a href="index-8.html">M</a> <a href="index-9.html">N</a> <a href="index-10.html">P</a> <a href="index-11.html">T</a> <a href="index-12.html">U</a> <br><a href="../allclasses-index.html">All Classes</a> <a href="../allpackages-index.html">All Packages</a></div> |
132 | 141 |
</main> |
Formats disponibles : Unified diff