Statistiques
| Révision:

fr_b02 / petri / doc / index-files / index-3.html @ 7

Historique | Voir | Annoter | Télécharger (8,057 ko)

1 
<!DOCTYPE HTML>
2 
<!-- NewPage -->
3 
<html lang="fr">
4 
<head>
5 
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 11:20:05 CET 2020 -->
6 
<title>D-Index</title>
7 
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
8 
<meta name="dc.created" content="2020-11-13">
9 
<link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
10 
<link rel="stylesheet" type="text/css" href="../jquery/jquery-ui.css" title="Style">
11 
<script type="text/javascript" src="../script.js"></script>
12 
<script type="text/javascript" src="../jquery/jszip/dist/jszip.min.js"></script>
13 
<script type="text/javascript" src="../jquery/jszip-utils/dist/jszip-utils.min.js"></script>
14 
<!--[if IE]>
15 
<script type="text/javascript" src="../jquery/jszip-utils/dist/jszip-utils-ie.min.js"></script>
16 
<![endif]-->
17 
<script type="text/javascript" src="../jquery/jquery-3.3.1.js"></script>
18 
<script type="text/javascript" src="../jquery/jquery-migrate-3.0.1.js"></script>
19 
<script type="text/javascript" src="../jquery/jquery-ui.js"></script>
20 
</head>
21 
<body>
22 
<script type="text/javascript"><!--
23 
    try {
24 
        if (location.href.indexOf('is-external=true') == -1) {
25 
            parent.document.title="D-Index";
26 
        }
27 
    }
28 
    catch(err) {
29 
    }
30 
//-->
31 
var pathtoroot = "../";
32 
var useModuleDirectories = true;
33 
loadScripts(document, 'script');</script>
34 
<noscript>
35 
<div>JavaScript is disabled on your browser.</div>
36 
</noscript>
37 
<header role="banner">
38 
<nav role="navigation">
39 
<div class="fixedNav">
40 
<!-- ========= START OF TOP NAVBAR ======= -->
41 
<div class="topNav"><a id="navbar.top">
42 
<!--   -->
43 
</a>
44 
<div class="skipNav"><a href="#skip.navbar.top" title="Skip navigation links">Skip navigation links</a></div>
45 
<a id="navbar.top.firstrow">
46 
<!--   -->
47 
</a>
48 
<ul class="navList" title="Navigation">
49 
<li><a href="../index.html">Overview</a></li>
50 
<li>Package</li>
51 
<li>Class</li>
52 
<li>Use</li>
53 
<li><a href="../overview-tree.html">Tree</a></li>
54 
<li><a href="../deprecated-list.html">Deprecated</a></li>
55 
<li class="navBarCell1Rev">Index</li>
56 
<li><a href="../help-doc.html">Help</a></li>
57 
</ul>
58 
</div>
59 
<div class="subNav">
60 
<ul class="navList" id="allclasses_navbar_top">
61 
<li><a href="../allclasses.html">All&nbsp;Classes</a></li>
62 
</ul>
63 
<ul class="navListSearch">
64 
<li><label for="search">SEARCH:</label>
65 
<input type="text" id="search" value="search" disabled="disabled">
66 
<input type="reset" id="reset" value="reset" disabled="disabled">
67 
</li>
68 
</ul>
69 
<div>
70 
<script type="text/javascript"><!--
71 
  allClassesLink = document.getElementById("allclasses_navbar_top");
72 
  if(window==top) {
73 
    allClassesLink.style.display = "block";
74 
  }
75 
  else {
76 
    allClassesLink.style.display = "none";
77 
  }
78 
  //-->
79 
</script>
80 
<noscript>
81 
<div>JavaScript is disabled on your browser.</div>
82 
</noscript>
83 
</div>
84 
<a id="skip.navbar.top">
85 
<!--   -->
86 
</a></div>
87 
<!-- ========= END OF TOP NAVBAR ========= -->
88 
</div>
89 
<div class="navPadding">&nbsp;</div>
90 
<script type="text/javascript"><!--
91 
$('.navPadding').css('padding-top', $('.fixedNav').css("height"));
92 
//-->
93 
</script>
94 
</nav>
95 
</header>
96 
<main role="main">
97 
<div class="contentContainer"><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><a id="I:D">
98 
<!--   -->
99 
</a>
100 
<h2 class="title">D</h2>
101 
<dl>
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>
104 
<div class="block">delete an arc</div>
105 
</dd>
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>
107 
<dd>
108 
<div class="block">delete a place an the arcs link to it</div>
109 
</dd>
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>
111 
<dd>
112 
<div class="block">delete a transition</div>
113 
</dd>
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>
115 
<dd>
116 
<div class="block">Do the transition for the ArcCleaner (remove all the token of the place)</div>
117 
</dd>
118 
<dt><span class="memberNameLink"><a href="../arcElement/ArcEntering.html#doTransition()">doTransition()</a></span> - Method in class arcElement.<a href="../arcElement/ArcEntering.html" title="class in arcElement">ArcEntering</a></dt>
119 
<dd>
120 
<div class="block">Do the transition for the ArcEntering (add to the place value token)</div>
121 
</dd>
122 
<dt><span class="memberNameLink"><a href="../arcElement/ArcInterface.html#doTransition()">doTransition()</a></span> - Method in interface arcElement.<a href="../arcElement/ArcInterface.html" title="interface in arcElement">ArcInterface</a></dt>
123 
<dd>
124 
<div class="block">Method that do the transition</div>
125 
</dd>
126 
<dt><span class="memberNameLink"><a href="../arcElement/ArcOutering.html#doTransition()">doTransition()</a></span> - Method in class arcElement.<a href="../arcElement/ArcOutering.html" title="class in arcElement">ArcOutering</a></dt>
127 
<dd>
128 
<div class="block">Do the transition for the ArcOutering (remove to the place value token)</div>
129 
</dd>
130 
<dt><span class="memberNameLink"><a href="../arcElement/ArcZero.html#doTransition()">doTransition()</a></span> - Method in class arcElement.<a href="../arcElement/ArcZero.html" title="class in arcElement">ArcZero</a></dt>
131 
<dd>
132 
<div class="block">Do the transition for the ArcZero (do nothing)</div>
133 
</dd>
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>
135 
<dd>
136 
<div class="block">do the transition
137 
 (all its arcs do the transition</div>
138 
</dd>
139 
</dl>
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>
141 
</main>
142 
<footer role="contentinfo">
143 
<nav role="navigation">
144 
<!-- ======= START OF BOTTOM NAVBAR ====== -->
145 
<div class="bottomNav"><a id="navbar.bottom">
146 
<!--   -->
147 
</a>
148 
<div class="skipNav"><a href="#skip.navbar.bottom" title="Skip navigation links">Skip navigation links</a></div>
149 
<a id="navbar.bottom.firstrow">
150 
<!--   -->
151 
</a>
152 
<ul class="navList" title="Navigation">
153 
<li><a href="../index.html">Overview</a></li>
154 
<li>Package</li>
155 
<li>Class</li>
156 
<li>Use</li>
157 
<li><a href="../overview-tree.html">Tree</a></li>
158 
<li><a href="../deprecated-list.html">Deprecated</a></li>
159 
<li class="navBarCell1Rev">Index</li>
160 
<li><a href="../help-doc.html">Help</a></li>
161 
</ul>
162 
</div>
163 
<div class="subNav">
164 
<ul class="navList" id="allclasses_navbar_bottom">
165 
<li><a href="../allclasses.html">All&nbsp;Classes</a></li>
166 
</ul>
167 
<div>
168 
<script type="text/javascript"><!--
169 
  allClassesLink = document.getElementById("allclasses_navbar_bottom");
170 
  if(window==top) {
171 
    allClassesLink.style.display = "block";
172 
  }
173 
  else {
174 
    allClassesLink.style.display = "none";
175 
  }
176 
  //-->
177 
</script>
178 
<noscript>
179 
<div>JavaScript is disabled on your browser.</div>
180 
</noscript>
181 
</div>
182 
<a id="skip.navbar.bottom">
183 
<!--   -->
184 
</a></div>
185 
<!-- ======== END OF BOTTOM NAVBAR ======= -->
186 
</nav>
187 
</footer>
188 
</body>
189 
</html>