Révision 6

Voir les différences:

petri/doc/allclasses.html
2 2
<!-- NewPage -->
3 3
<html lang="fr">
4 4
<head>
5
<!-- Generated by javadoc (11.0.8) on Mon Nov 02 17:36:44 CET 2020 -->
5
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 10:59:17 CET 2020 -->
6 6
<title>All Classes</title>
7 7
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
8
<meta name="dc.created" content="2020-11-02">
8
<meta name="dc.created" content="2020-11-13">
9 9
<link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
10 10
<link rel="stylesheet" type="text/css" href="jquery/jquery-ui.css" title="Style">
11 11
<script type="text/javascript" src="script.js"></script>
petri/doc/constant-values.html
2 2
<!-- NewPage -->
3 3
<html lang="fr">
4 4
<head>
5
<!-- Generated by javadoc (11.0.8) on Mon Nov 02 17:36:44 CET 2020 -->
5
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 10:59:17 CET 2020 -->
6 6
<title>Constant Field Values</title>
7 7
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
8
<meta name="dc.created" content="2020-11-02">
8
<meta name="dc.created" content="2020-11-13">
9 9
<link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
10 10
<link rel="stylesheet" type="text/css" href="jquery/jquery-ui.css" title="Style">
11 11
<script type="text/javascript" src="script.js"></script>
petri/doc/element/Place.html
2 2
<!-- NewPage -->
3 3
<html lang="fr">
4 4
<head>
5
<!-- Generated by javadoc (11.0.8) on Mon Nov 02 17:36:44 CET 2020 -->
5
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 10:59:17 CET 2020 -->
6 6
<title>Place</title>
7 7
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
8
<meta name="dc.created" content="2020-11-02">
8
<meta name="dc.created" content="2020-11-13">
9 9
<link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
10 10
<link rel="stylesheet" type="text/css" href="../jquery/jquery-ui.css" title="Style">
11 11
<script type="text/javascript" src="../script.js"></script>
petri/doc/element/Place.UndefinedToken.html
2 2
<!-- NewPage -->
3 3
<html lang="fr">
4 4
<head>
5
<!-- Generated by javadoc (11.0.8) on Mon Nov 02 17:36:44 CET 2020 -->
5
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 10:59:17 CET 2020 -->
6 6
<title>Place.UndefinedToken</title>
7 7
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
8
<meta name="dc.created" content="2020-11-02">
8
<meta name="dc.created" content="2020-11-13">
9 9
<link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
10 10
<link rel="stylesheet" type="text/css" href="../jquery/jquery-ui.css" title="Style">
11 11
<script type="text/javascript" src="../script.js"></script>
petri/doc/element/package-use.html
2 2
<!-- NewPage -->
3 3
<html lang="fr">
4 4
<head>
5
<!-- Generated by javadoc (11.0.8) on Mon Nov 02 17:36:44 CET 2020 -->
5
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 10:59:17 CET 2020 -->
6 6
<title>Uses of Package element</title>
7 7
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
8
<meta name="dc.created" content="2020-11-02">
8
<meta name="dc.created" content="2020-11-13">
9 9
<link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
10 10
<link rel="stylesheet" type="text/css" href="../jquery/jquery-ui.css" title="Style">
11 11
<script type="text/javascript" src="../script.js"></script>
petri/doc/element/package-summary.html
2 2
<!-- NewPage -->
3 3
<html lang="fr">
4 4
<head>
5
<!-- Generated by javadoc (11.0.8) on Mon Nov 02 17:36:44 CET 2020 -->
5
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 10:59:17 CET 2020 -->
6 6
<title>element</title>
7 7
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
8
<meta name="dc.created" content="2020-11-02">
8
<meta name="dc.created" content="2020-11-13">
9 9
<link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
10 10
<link rel="stylesheet" type="text/css" href="../jquery/jquery-ui.css" title="Style">
11 11
<script type="text/javascript" src="../script.js"></script>
petri/doc/element/package-tree.html
2 2
<!-- NewPage -->
3 3
<html lang="fr">
4 4
<head>
5
<!-- Generated by javadoc (11.0.8) on Mon Nov 02 17:36:44 CET 2020 -->
5
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 10:59:17 CET 2020 -->
6 6
<title>element Class Hierarchy</title>
7 7
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
8
<meta name="dc.created" content="2020-11-02">
8
<meta name="dc.created" content="2020-11-13">
9 9
<link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
10 10
<link rel="stylesheet" type="text/css" href="../jquery/jquery-ui.css" title="Style">
11 11
<script type="text/javascript" src="../script.js"></script>
petri/doc/element/Transition.html
2 2
<!-- NewPage -->
3 3
<html lang="fr">
4 4
<head>
5
<!-- Generated by javadoc (11.0.8) on Mon Nov 02 17:36:44 CET 2020 -->
5
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 10:59:17 CET 2020 -->
6 6
<title>Transition</title>
7 7
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
8
<meta name="dc.created" content="2020-11-02">
8
<meta name="dc.created" content="2020-11-13">
9 9
<link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
10 10
<link rel="stylesheet" type="text/css" href="../jquery/jquery-ui.css" title="Style">
11 11
<script type="text/javascript" src="../script.js"></script>
petri/doc/element/class-use/Place.html
2 2
<!-- NewPage -->
3 3
<html lang="fr">
4 4
<head>
5
<!-- Generated by javadoc (11.0.8) on Mon Nov 02 17:36:44 CET 2020 -->
5
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 10:59:17 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
<meta name="dc.created" content="2020-11-02">
8
<meta name="dc.created" content="2020-11-13">
9 9
<link rel="stylesheet" type="text/css" href="../../stylesheet.css" title="Style">
10 10
<link rel="stylesheet" type="text/css" href="../../jquery/jquery-ui.css" title="Style">
11 11
<script type="text/javascript" src="../../script.js"></script>
petri/doc/element/class-use/Place.UndefinedToken.html
2 2
<!-- NewPage -->
3 3
<html lang="fr">
4 4
<head>
5
<!-- Generated by javadoc (11.0.8) on Mon Nov 02 17:36:44 CET 2020 -->
5
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 10:59:17 CET 2020 -->
6 6
<title>Uses of Class element.Place.UndefinedToken</title>
7 7
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
8
<meta name="dc.created" content="2020-11-02">
8
<meta name="dc.created" content="2020-11-13">
9 9
<link rel="stylesheet" type="text/css" href="../../stylesheet.css" title="Style">
10 10
<link rel="stylesheet" type="text/css" href="../../jquery/jquery-ui.css" title="Style">
11 11
<script type="text/javascript" src="../../script.js"></script>
petri/doc/element/class-use/Transition.html
2 2
<!-- NewPage -->
3 3
<html lang="fr">
4 4
<head>
5
<!-- Generated by javadoc (11.0.8) on Mon Nov 02 17:36:44 CET 2020 -->
5
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 10:59:17 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
<meta name="dc.created" content="2020-11-02">
8
<meta name="dc.created" content="2020-11-13">
9 9
<link rel="stylesheet" type="text/css" href="../../stylesheet.css" title="Style">
10 10
<link rel="stylesheet" type="text/css" href="../../jquery/jquery-ui.css" title="Style">
11 11
<script type="text/javascript" src="../../script.js"></script>
petri/doc/allclasses-index.html
2 2
<!-- NewPage -->
3 3
<html lang="fr">
4 4
<head>
5
<!-- Generated by javadoc (11.0.8) on Mon Nov 02 17:36:44 CET 2020 -->
5
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 10:59:17 CET 2020 -->
6 6
<title>All Classes</title>
7 7
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
8
<meta name="dc.created" content="2020-11-02">
8
<meta name="dc.created" content="2020-11-13">
9 9
<link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
10 10
<link rel="stylesheet" type="text/css" href="jquery/jquery-ui.css" title="Style">
11 11
<script type="text/javascript" src="script.js"></script>
......
126 126
</tr>
127 127
<tr id="i3" class="rowColor">
128 128
<td class="colFirst"><a href="arcElement/ArcInterface.html" title="interface in arcElement">ArcInterface</a></td>
129
<th class="colLast" scope="row">&nbsp;</th>
129
<th class="colLast" scope="row">
130
<div class="block">Method that an arc must define</div>
131
</th>
130 132
</tr>
131 133
<tr id="i4" class="altColor">
132 134
<td class="colFirst"><a href="arcElement/ArcOutering.html" title="class in arcElement">ArcOutering</a></td>
petri/doc/help-doc.html
2 2
<!-- NewPage -->
3 3
<html lang="fr">
4 4
<head>
5
<!-- Generated by javadoc (11.0.8) on Mon Nov 02 17:36:44 CET 2020 -->
5
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 10:59:17 CET 2020 -->
6 6
<title>API Help</title>
7 7
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
8
<meta name="dc.created" content="2020-11-02">
8
<meta name="dc.created" content="2020-11-13">
9 9
<link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
10 10
<link rel="stylesheet" type="text/css" href="jquery/jquery-ui.css" title="Style">
11 11
<script type="text/javascript" src="script.js"></script>
petri/doc/serialized-form.html
2 2
<!-- NewPage -->
3 3
<html lang="fr">
4 4
<head>
5
<!-- Generated by javadoc (11.0.8) on Mon Nov 02 17:36:44 CET 2020 -->
5
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 10:59:17 CET 2020 -->
6 6
<title>Serialized Form</title>
7 7
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
8
<meta name="dc.created" content="2020-11-02">
8
<meta name="dc.created" content="2020-11-13">
9 9
<link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
10 10
<link rel="stylesheet" type="text/css" href="jquery/jquery-ui.css" title="Style">
11 11
<script type="text/javascript" src="script.js"></script>
petri/doc/overview-summary.html
2 2
<!-- NewPage -->
3 3
<html lang="fr">
4 4
<head>
5
<!-- Generated by javadoc (11.0.8) on Mon Nov 02 17:36:44 CET 2020 -->
5
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 10:59:17 CET 2020 -->
6 6
<title>Generated Documentation (Untitled)</title>
7 7
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
8 8
<script type="text/javascript">window.location.replace('index.html')</script>
petri/doc/overview-tree.html
2 2
<!-- NewPage -->
3 3
<html lang="fr">
4 4
<head>
5
<!-- Generated by javadoc (11.0.8) on Mon Nov 02 17:36:44 CET 2020 -->
5
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 10:59:17 CET 2020 -->
6 6
<title>Class Hierarchy</title>
7 7
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
8
<meta name="dc.created" content="2020-11-02">
8
<meta name="dc.created" content="2020-11-13">
9 9
<link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
10 10
<link rel="stylesheet" type="text/css" href="jquery/jquery-ui.css" title="Style">
11 11
<script type="text/javascript" src="script.js"></script>
petri/doc/index-files/index-9.html
2 2
<!-- NewPage -->
3 3
<html lang="fr">
4 4
<head>
5
<!-- Generated by javadoc (11.0.8) on Mon Nov 02 17:36:44 CET 2020 -->
5
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 10:59:17 CET 2020 -->
6 6
<title>N-Index</title>
7 7
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
8
<meta name="dc.created" content="2020-11-02">
8
<meta name="dc.created" content="2020-11-13">
9 9
<link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
10 10
<link rel="stylesheet" type="text/css" href="../jquery/jquery-ui.css" title="Style">
11 11
<script type="text/javascript" src="../script.js"></script>
petri/doc/index-files/index-1.html
2 2
<!-- NewPage -->
3 3
<html lang="fr">
4 4
<head>
5
<!-- Generated by javadoc (11.0.8) on Mon Nov 02 17:36:44 CET 2020 -->
5
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 10:59:17 CET 2020 -->
6 6
<title>A-Index</title>
7 7
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
8
<meta name="dc.created" content="2020-11-02">
8
<meta name="dc.created" content="2020-11-13">
9 9
<link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
10 10
<link rel="stylesheet" type="text/css" href="../jquery/jquery-ui.css" title="Style">
11 11
<script type="text/javascript" src="../script.js"></script>
......
124 124
<dt><span class="memberNameLink"><a href="../arcElement/ArcEntering.html#%3Cinit%3E(element.Place,int)">ArcEntering(Place, int)</a></span> - Constructor for class arcElement.<a href="../arcElement/ArcEntering.html" title="class in arcElement">ArcEntering</a></dt>
125 125
<dd>&nbsp;</dd>
126 126
<dt><a href="../arcElement/ArcInterface.html" title="interface in arcElement"><span class="typeNameLink">ArcInterface</span></a> - Interface in <a href="../arcElement/package-summary.html">arcElement</a></dt>
127
<dd>&nbsp;</dd>
127
<dd>
128
<div class="block">Method that an arc must define</div>
129
</dd>
128 130
<dt><a href="../arcElement/ArcOutering.html" title="class in arcElement"><span class="typeNameLink">ArcOutering</span></a> - Class in <a href="../arcElement/package-summary.html">arcElement</a></dt>
129 131
<dd>&nbsp;</dd>
130 132
<dt><span class="memberNameLink"><a href="../main/Network.html#ArcOutering">ArcOutering</a></span> - Static variable in class main.<a href="../main/Network.html" title="class in main">Network</a></dt>
petri/doc/index-files/index-10.html
2 2
<!-- NewPage -->
3 3
<html lang="fr">
4 4
<head>
5
<!-- Generated by javadoc (11.0.8) on Mon Nov 02 17:36:44 CET 2020 -->
5
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 10:59:17 CET 2020 -->
6 6
<title>P-Index</title>
7 7
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
8
<meta name="dc.created" content="2020-11-02">
8
<meta name="dc.created" content="2020-11-13">
9 9
<link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
10 10
<link rel="stylesheet" type="text/css" href="../jquery/jquery-ui.css" title="Style">
11 11
<script type="text/javascript" src="../script.js"></script>
petri/doc/index-files/index-11.html
2 2
<!-- NewPage -->
3 3
<html lang="fr">
4 4
<head>
5
<!-- Generated by javadoc (11.0.8) on Mon Nov 02 17:36:44 CET 2020 -->
5
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 10:59:17 CET 2020 -->
6 6
<title>T-Index</title>
7 7
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
8
<meta name="dc.created" content="2020-11-02">
8
<meta name="dc.created" content="2020-11-13">
9 9
<link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
10 10
<link rel="stylesheet" type="text/css" href="../jquery/jquery-ui.css" title="Style">
11 11
<script type="text/javascript" src="../script.js"></script>
petri/doc/index-files/index-2.html
2 2
<!-- NewPage -->
3 3
<html lang="fr">
4 4
<head>
5
<!-- Generated by javadoc (11.0.8) on Mon Nov 02 17:36:44 CET 2020 -->
5
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 10:59:17 CET 2020 -->
6 6
<title>C-Index</title>
7 7
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
8
<meta name="dc.created" content="2020-11-02">
8
<meta name="dc.created" content="2020-11-13">
9 9
<link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
10 10
<link rel="stylesheet" type="text/css" href="../jquery/jquery-ui.css" title="Style">
11 11
<script type="text/javascript" src="../script.js"></script>
petri/doc/index-files/index-12.html
2 2
<!-- NewPage -->
3 3
<html lang="fr">
4 4
<head>
5
<!-- Generated by javadoc (11.0.8) on Mon Nov 02 17:36:44 CET 2020 -->
5
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 10:59:17 CET 2020 -->
6 6
<title>U-Index</title>
7 7
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
8
<meta name="dc.created" content="2020-11-02">
8
<meta name="dc.created" content="2020-11-13">
9 9
<link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
10 10
<link rel="stylesheet" type="text/css" href="../jquery/jquery-ui.css" title="Style">
11 11
<script type="text/javascript" src="../script.js"></script>
petri/doc/index-files/index-3.html
2 2
<!-- NewPage -->
3 3
<html lang="fr">
4 4
<head>
5
<!-- Generated by javadoc (11.0.8) on Mon Nov 02 17:36:44 CET 2020 -->
5
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 10:59:17 CET 2020 -->
6 6
<title>D-Index</title>
7 7
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
8
<meta name="dc.created" content="2020-11-02">
8
<meta name="dc.created" content="2020-11-13">
9 9
<link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
10 10
<link rel="stylesheet" type="text/css" href="../jquery/jquery-ui.css" title="Style">
11 11
<script type="text/javascript" src="../script.js"></script>
......
106 106
<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 107
<dd>&nbsp;</dd>
108 108
<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
<dd>&nbsp;</dd>
109
<dd>
110
<div class="block">Do the transition for the ArcCleaner (remove all the token of the place)</div>
111
</dd>
110 112
<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>
111
<dd>&nbsp;</dd>
113
<dd>
114
<div class="block">Do the transition for the ArcEntering (add to the place value token)</div>
115
</dd>
112 116
<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>
113
<dd>&nbsp;</dd>
117
<dd>
118
<div class="block">Method that do the transition</div>
119
</dd>
114 120
<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>
115
<dd>&nbsp;</dd>
121
<dd>
122
<div class="block">Do the transition for the ArcOutering (remove to the place value token)</div>
123
</dd>
116 124
<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>
117
<dd>&nbsp;</dd>
125
<dd>
126
<div class="block">Do the transition for the ArcZero (do nothing)</div>
127
</dd>
118 128
<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>
119 129
<dd>&nbsp;</dd>
120 130
</dl>
petri/doc/index-files/index-4.html
2 2
<!-- NewPage -->
3 3
<html lang="fr">
4 4
<head>
5
<!-- Generated by javadoc (11.0.8) on Mon Nov 02 17:36:44 CET 2020 -->
5
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 10:59:17 CET 2020 -->
6 6
<title>E-Index</title>
7 7
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
8
<meta name="dc.created" content="2020-11-02">
8
<meta name="dc.created" content="2020-11-13">
9 9
<link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
10 10
<link rel="stylesheet" type="text/css" href="../jquery/jquery-ui.css" title="Style">
11 11
<script type="text/javascript" src="../script.js"></script>
petri/doc/index-files/index-5.html
2 2
<!-- NewPage -->
3 3
<html lang="fr">
4 4
<head>
5
<!-- Generated by javadoc (11.0.8) on Mon Nov 02 17:36:44 CET 2020 -->
5
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 10:59:17 CET 2020 -->
6 6
<title>F-Index</title>
7 7
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
8
<meta name="dc.created" content="2020-11-02">
8
<meta name="dc.created" content="2020-11-13">
9 9
<link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
10 10
<link rel="stylesheet" type="text/css" href="../jquery/jquery-ui.css" title="Style">
11 11
<script type="text/javascript" src="../script.js"></script>
petri/doc/index-files/index-6.html
2 2
<!-- NewPage -->
3 3
<html lang="fr">
4 4
<head>
5
<!-- Generated by javadoc (11.0.8) on Mon Nov 02 17:36:44 CET 2020 -->
5
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 10:59:17 CET 2020 -->
6 6
<title>G-Index</title>
7 7
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
8
<meta name="dc.created" content="2020-11-02">
8
<meta name="dc.created" content="2020-11-13">
9 9
<link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
10 10
<link rel="stylesheet" type="text/css" href="../jquery/jquery-ui.css" title="Style">
11 11
<script type="text/javascript" src="../script.js"></script>
petri/doc/index-files/index-7.html
2 2
<!-- NewPage -->
3 3
<html lang="fr">
4 4
<head>
5
<!-- Generated by javadoc (11.0.8) on Mon Nov 02 17:36:44 CET 2020 -->
5
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 10:59:17 CET 2020 -->
6 6
<title>I-Index</title>
7 7
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
8
<meta name="dc.created" content="2020-11-02">
8
<meta name="dc.created" content="2020-11-13">
9 9
<link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
10 10
<link rel="stylesheet" type="text/css" href="../jquery/jquery-ui.css" title="Style">
11 11
<script type="text/javascript" src="../script.js"></script>
......
100 100
<h2 class="title">I</h2>
101 101
<dl>
102 102
<dt><span class="memberNameLink"><a href="../arcElement/ArcCleaner.html#isActive()">isActive()</a></span> - Method in class arcElement.<a href="../arcElement/ArcCleaner.html" title="class in arcElement">ArcCleaner</a></dt>
103
<dd>&nbsp;</dd>
103
<dd>
104
<div class="block">Check if the place is active</div>
105
</dd>
104 106
<dt><span class="memberNameLink"><a href="../arcElement/ArcEntering.html#isActive()">isActive()</a></span> - Method in class arcElement.<a href="../arcElement/ArcEntering.html" title="class in arcElement">ArcEntering</a></dt>
105
<dd>&nbsp;</dd>
107
<dd>
108
<div class="block">Check if the ArcEntering is active (always true)</div>
109
</dd>
106 110
<dt><span class="memberNameLink"><a href="../arcElement/ArcInterface.html#isActive()">isActive()</a></span> - Method in interface arcElement.<a href="../arcElement/ArcInterface.html" title="interface in arcElement">ArcInterface</a></dt>
107
<dd>&nbsp;</dd>
111
<dd>
112
<div class="block">Method that check if it is active</div>
113
</dd>
108 114
<dt><span class="memberNameLink"><a href="../arcElement/ArcOutering.html#isActive()">isActive()</a></span> - Method in class arcElement.<a href="../arcElement/ArcOutering.html" title="class in arcElement">ArcOutering</a></dt>
109
<dd>&nbsp;</dd>
115
<dd>
116
<div class="block">Check if the ArcOutering is active (always true)</div>
117
</dd>
110 118
<dt><span class="memberNameLink"><a href="../arcElement/ArcZero.html#isActive()">isActive()</a></span> - Method in class arcElement.<a href="../arcElement/ArcZero.html" title="class in arcElement">ArcZero</a></dt>
111
<dd>&nbsp;</dd>
119
<dd>
120
<div class="block">Check if the place is active</div>
121
</dd>
112 122
<dt><span class="memberNameLink"><a href="../element/Place.html#isEmpty()">isEmpty()</a></span> - Method in class element.<a href="../element/Place.html" title="class in element">Place</a></dt>
113 123
<dd>&nbsp;</dd>
114 124
<dt><span class="memberNameLink"><a href="../arcElement/ArcCleaner.html#isPullable()">isPullable()</a></span> - Method in class arcElement.<a href="../arcElement/ArcCleaner.html" title="class in arcElement">ArcCleaner</a></dt>
115
<dd>&nbsp;</dd>
125
<dd>
126
<div class="block">Check if the place is pullable</div>
127
</dd>
116 128
<dt><span class="memberNameLink"><a href="../arcElement/ArcEntering.html#isPullable()">isPullable()</a></span> - Method in class arcElement.<a href="../arcElement/ArcEntering.html" title="class in arcElement">ArcEntering</a></dt>
117
<dd>&nbsp;</dd>
129
<dd>
130
<div class="block">Check if the ArcEntering is Pullable (always true)</div>
131
</dd>
118 132
<dt><span class="memberNameLink"><a href="../arcElement/ArcInterface.html#isPullable()">isPullable()</a></span> - Method in interface arcElement.<a href="../arcElement/ArcInterface.html" title="interface in arcElement">ArcInterface</a></dt>
119
<dd>&nbsp;</dd>
133
<dd>
134
<div class="block">Method that check if it is pullable</div>
135
</dd>
120 136
<dt><span class="memberNameLink"><a href="../arcElement/ArcOutering.html#isPullable()">isPullable()</a></span> - Method in class arcElement.<a href="../arcElement/ArcOutering.html" title="class in arcElement">ArcOutering</a></dt>
121
<dd>&nbsp;</dd>
137
<dd>
138
<div class="block">Check if the ArcOutering is Pullable</div>
139
</dd>
122 140
<dt><span class="memberNameLink"><a href="../arcElement/ArcZero.html#isPullable()">isPullable()</a></span> - Method in class arcElement.<a href="../arcElement/ArcZero.html" title="class in arcElement">ArcZero</a></dt>
123
<dd>&nbsp;</dd>
141
<dd>
142
<div class="block">Check if the place is pullable</div>
143
</dd>
124 144
<dt><span class="memberNameLink"><a href="../element/Transition.html#isPullable()">isPullable()</a></span> - Method in class element.<a href="../element/Transition.html" title="class in element">Transition</a></dt>
125 145
<dd>&nbsp;</dd>
126 146
</dl>
petri/doc/index-files/index-8.html
2 2
<!-- NewPage -->
3 3
<html lang="fr">
4 4
<head>
5
<!-- Generated by javadoc (11.0.8) on Mon Nov 02 17:36:44 CET 2020 -->
5
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 10:59:17 CET 2020 -->
6 6
<title>M-Index</title>
7 7
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
8
<meta name="dc.created" content="2020-11-02">
8
<meta name="dc.created" content="2020-11-13">
9 9
<link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
10 10
<link rel="stylesheet" type="text/css" href="../jquery/jquery-ui.css" title="Style">
11 11
<script type="text/javascript" src="../script.js"></script>
petri/doc/index.html
2 2
<!-- NewPage -->
3 3
<html lang="fr">
4 4
<head>
5
<!-- Generated by javadoc (11.0.8) on Mon Nov 02 17:36:44 CET 2020 -->
5
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 10:59:17 CET 2020 -->
6 6
<title>Overview</title>
7 7
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
8
<meta name="dc.created" content="2020-11-02">
8
<meta name="dc.created" content="2020-11-13">
9 9
<link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
10 10
<link rel="stylesheet" type="text/css" href="jquery/jquery-ui.css" title="Style">
11 11
<script type="text/javascript" src="script.js"></script>
......
93 93
</script>
94 94
</nav>
95 95
</header>
96
<div class="header">
97
<h1 class="title">docuFilRouge</h1>
98
</div>
96 99
<main role="main">
97 100
<div class="contentContainer">
98 101
<table class="overviewSummary">
petri/doc/deprecated-list.html
2 2
<!-- NewPage -->
3 3
<html lang="fr">
4 4
<head>
5
<!-- Generated by javadoc (11.0.8) on Mon Nov 02 17:36:44 CET 2020 -->
5
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 10:59:17 CET 2020 -->
6 6
<title>Deprecated List</title>
7 7
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
8
<meta name="dc.created" content="2020-11-02">
8
<meta name="dc.created" content="2020-11-13">
9 9
<link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
10 10
<link rel="stylesheet" type="text/css" href="jquery/jquery-ui.css" title="Style">
11 11
<script type="text/javascript" src="script.js"></script>
petri/doc/arcElement/package-tree.html
2 2
<!-- NewPage -->
3 3
<html lang="fr">
4 4
<head>
5
<!-- Generated by javadoc (11.0.8) on Mon Nov 02 17:36:44 CET 2020 -->
5
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 10:59:17 CET 2020 -->
6 6
<title>arcElement Class Hierarchy</title>
7 7
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
8
<meta name="dc.created" content="2020-11-02">
8
<meta name="dc.created" content="2020-11-13">
9 9
<link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
10 10
<link rel="stylesheet" type="text/css" href="../jquery/jquery-ui.css" title="Style">
11 11
<script type="text/javascript" src="../script.js"></script>
petri/doc/arcElement/class-use/ArcEntering.html
2 2
<!-- NewPage -->
3 3
<html lang="fr">
4 4
<head>
5
<!-- Generated by javadoc (11.0.8) on Mon Nov 02 17:36:44 CET 2020 -->
5
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 10:59:17 CET 2020 -->
6 6
<title>Uses of Class arcElement.ArcEntering</title>
7 7
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
8
<meta name="dc.created" content="2020-11-02">
8
<meta name="dc.created" content="2020-11-13">
9 9
<link rel="stylesheet" type="text/css" href="../../stylesheet.css" title="Style">
10 10
<link rel="stylesheet" type="text/css" href="../../jquery/jquery-ui.css" title="Style">
11 11
<script type="text/javascript" src="../../script.js"></script>
petri/doc/arcElement/class-use/ArcOutering.html
2 2
<!-- NewPage -->
3 3
<html lang="fr">
4 4
<head>
5
<!-- Generated by javadoc (11.0.8) on Mon Nov 02 17:36:44 CET 2020 -->
5
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 10:59:17 CET 2020 -->
6 6
<title>Uses of Class arcElement.ArcOutering</title>
7 7
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
8
<meta name="dc.created" content="2020-11-02">
8
<meta name="dc.created" content="2020-11-13">
9 9
<link rel="stylesheet" type="text/css" href="../../stylesheet.css" title="Style">
10 10
<link rel="stylesheet" type="text/css" href="../../jquery/jquery-ui.css" title="Style">
11 11
<script type="text/javascript" src="../../script.js"></script>
petri/doc/arcElement/class-use/Arc.html
2 2
<!-- NewPage -->
3 3
<html lang="fr">
4 4
<head>
5
<!-- Generated by javadoc (11.0.8) on Mon Nov 02 17:36:44 CET 2020 -->
5
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 10:59:17 CET 2020 -->
6 6
<title>Uses of Class arcElement.Arc</title>
7 7
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
8
<meta name="dc.created" content="2020-11-02">
8
<meta name="dc.created" content="2020-11-13">
9 9
<link rel="stylesheet" type="text/css" href="../../stylesheet.css" title="Style">
10 10
<link rel="stylesheet" type="text/css" href="../../jquery/jquery-ui.css" title="Style">
11 11
<script type="text/javascript" src="../../script.js"></script>
petri/doc/arcElement/class-use/ArcZero.html
2 2
<!-- NewPage -->
3 3
<html lang="fr">
4 4
<head>
5
<!-- Generated by javadoc (11.0.8) on Mon Nov 02 17:36:44 CET 2020 -->
5
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 10:59:17 CET 2020 -->
6 6
<title>Uses of Class arcElement.ArcZero</title>
7 7
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
8
<meta name="dc.created" content="2020-11-02">
8
<meta name="dc.created" content="2020-11-13">
9 9
<link rel="stylesheet" type="text/css" href="../../stylesheet.css" title="Style">
10 10
<link rel="stylesheet" type="text/css" href="../../jquery/jquery-ui.css" title="Style">
11 11
<script type="text/javascript" src="../../script.js"></script>
petri/doc/arcElement/class-use/ArcInterface.html
2 2
<!-- NewPage -->
3 3
<html lang="fr">
4 4
<head>
5
<!-- Generated by javadoc (11.0.8) on Mon Nov 02 17:36:44 CET 2020 -->
5
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 10:59:17 CET 2020 -->
6 6
<title>Uses of Interface arcElement.ArcInterface</title>
7 7
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
8
<meta name="dc.created" content="2020-11-02">
8
<meta name="dc.created" content="2020-11-13">
9 9
<link rel="stylesheet" type="text/css" href="../../stylesheet.css" title="Style">
10 10
<link rel="stylesheet" type="text/css" href="../../jquery/jquery-ui.css" title="Style">
11 11
<script type="text/javascript" src="../../script.js"></script>
petri/doc/arcElement/class-use/ArcCleaner.html
2 2
<!-- NewPage -->
3 3
<html lang="fr">
4 4
<head>
5
<!-- Generated by javadoc (11.0.8) on Mon Nov 02 17:36:44 CET 2020 -->
5
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 10:59:17 CET 2020 -->
6 6
<title>Uses of Class arcElement.ArcCleaner</title>
7 7
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
8
<meta name="dc.created" content="2020-11-02">
8
<meta name="dc.created" content="2020-11-13">
9 9
<link rel="stylesheet" type="text/css" href="../../stylesheet.css" title="Style">
10 10
<link rel="stylesheet" type="text/css" href="../../jquery/jquery-ui.css" title="Style">
11 11
<script type="text/javascript" src="../../script.js"></script>
petri/doc/arcElement/ArcCleaner.html
2 2
<!-- NewPage -->
3 3
<html lang="fr">
4 4
<head>
5
<!-- Generated by javadoc (11.0.8) on Mon Nov 02 17:36:44 CET 2020 -->
5
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 10:59:17 CET 2020 -->
6 6
<title>ArcCleaner</title>
7 7
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
8
<meta name="dc.created" content="2020-11-02">
8
<meta name="dc.created" content="2020-11-13">
9 9
<link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
10 10
<link rel="stylesheet" type="text/css" href="../jquery/jquery-ui.css" title="Style">
11 11
<script type="text/javascript" src="../script.js"></script>
......
198 198
<tr id="i0" class="altColor">
199 199
<td class="colFirst"><code>void</code></td>
200 200
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#doTransition()">doTransition</a></span>()</code></th>
201
<td class="colLast">&nbsp;</td>
201
<td class="colLast">
202
<div class="block">Do the transition for the ArcCleaner (remove all the token of the place)</div>
203
</td>
202 204
</tr>
203 205
<tr id="i1" class="rowColor">
204 206
<td class="colFirst"><code>boolean</code></td>
205 207
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#isActive()">isActive</a></span>()</code></th>
206
<td class="colLast">&nbsp;</td>
208
<td class="colLast">
209
<div class="block">Check if the place is active</div>
210
</td>
207 211
</tr>
208 212
<tr id="i2" class="altColor">
209 213
<td class="colFirst"><code>boolean</code></td>
210 214
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#isPullable()">isPullable</a></span>()</code></th>
211
<td class="colLast">&nbsp;</td>
215
<td class="colLast">
216
<div class="block">Check if the place is pullable</div>
217
</td>
212 218
</tr>
213 219
<tr id="i3" class="rowColor">
214 220
<td class="colFirst"><code>java.lang.String</code></td>
......
260 266
<li class="blockList">
261 267
<h4>ArcCleaner</h4>
262 268
<pre>public&nbsp;ArcCleaner&#8203;(<a href="../element/Place.html" title="class in element">Place</a>&nbsp;place)</pre>
269
<dl>
270
<dt><span class="paramLabel">Parameters:</span></dt>
271
<dd><code>the</code> - place link to ArcCleaner 
272
 Constructor for ArcCleaner</dd>
273
</dl>
263 274
</li>
264 275
</ul>
265 276
</li>
......
279 290
<li class="blockList">
280 291
<h4>doTransition</h4>
281 292
<pre class="methodSignature">public&nbsp;void&nbsp;doTransition()</pre>
293
<div class="block">Do the transition for the ArcCleaner (remove all the token of the place)</div>
282 294
</li>
283 295
</ul>
284 296
<a id="isActive()">
......
288 300
<li class="blockList">
289 301
<h4>isActive</h4>
290 302
<pre class="methodSignature">public&nbsp;boolean&nbsp;isActive()</pre>
303
<div class="block">Check if the place is active</div>
304
<dl>
305
<dt><span class="returnLabel">Returns:</span></dt>
306
<dd>true if place token not at 0</dd>
307
</dl>
291 308
</li>
292 309
</ul>
293 310
<a id="isPullable()">
......
297 314
<li class="blockList">
298 315
<h4>isPullable</h4>
299 316
<pre class="methodSignature">public&nbsp;boolean&nbsp;isPullable()</pre>
317
<div class="block">Check if the place is pullable</div>
318
<dl>
319
<dt><span class="returnLabel">Returns:</span></dt>
320
<dd>true if place token not at 0</dd>
321
</dl>
300 322
</li>
301 323
</ul>
302 324
<a id="toString()">
......
309 331
<dl>
310 332
<dt><span class="overrideSpecifyLabel">Overrides:</span></dt>
311 333
<dd><code>toString</code>&nbsp;in class&nbsp;<code>junit.framework.TestCase</code></dd>
334
<dt><span class="returnLabel">Returns:</span></dt>
335
<dd>a string that describe the ArcCleaner</dd>
312 336
</dl>
313 337
</li>
314 338
</ul>
petri/doc/arcElement/ArcEntering.html
2 2
<!-- NewPage -->
3 3
<html lang="fr">
4 4
<head>
5
<!-- Generated by javadoc (11.0.8) on Mon Nov 02 17:36:44 CET 2020 -->
5
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 10:59:17 CET 2020 -->
6 6
<title>ArcEntering</title>
7 7
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
8
<meta name="dc.created" content="2020-11-02">
8
<meta name="dc.created" content="2020-11-13">
9 9
<link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
10 10
<link rel="stylesheet" type="text/css" href="../jquery/jquery-ui.css" title="Style">
11 11
<script type="text/javascript" src="../script.js"></script>
......
199 199
<tr id="i0" class="altColor">
200 200
<td class="colFirst"><code>void</code></td>
201 201
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#doTransition()">doTransition</a></span>()</code></th>
202
<td class="colLast">&nbsp;</td>
202
<td class="colLast">
203
<div class="block">Do the transition for the ArcEntering (add to the place value token)</div>
204
</td>
203 205
</tr>
204 206
<tr id="i1" class="rowColor">
205 207
<td class="colFirst"><code>boolean</code></td>
206 208
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#isActive()">isActive</a></span>()</code></th>
207
<td class="colLast">&nbsp;</td>
209
<td class="colLast">
210
<div class="block">Check if the ArcEntering is active (always true)</div>
211
</td>
208 212
</tr>
209 213
<tr id="i2" class="altColor">
210 214
<td class="colFirst"><code>boolean</code></td>
211 215
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#isPullable()">isPullable</a></span>()</code></th>
212
<td class="colLast">&nbsp;</td>
216
<td class="colLast">
217
<div class="block">Check if the ArcEntering is Pullable (always true)</div>
218
</td>
213 219
</tr>
214 220
<tr id="i3" class="rowColor">
215 221
<td class="colFirst"><code>java.lang.String</code></td>
......
262 268
<h4>ArcEntering</h4>
263 269
<pre>public&nbsp;ArcEntering&#8203;(<a href="../element/Place.html" title="class in element">Place</a>&nbsp;place,
264 270
                   int&nbsp;value)</pre>
271
<dl>
272
<dt><span class="paramLabel">Parameters:</span></dt>
273
<dd><code>the</code> - place link to ArcEntering and the value of this Arc
274
 Constructor for ArcEntering</dd>
275
</dl>
265 276
</li>
266 277
</ul>
267 278
</li>
......
281 292
<li class="blockList">
282 293
<h4>doTransition</h4>
283 294
<pre class="methodSignature">public&nbsp;void&nbsp;doTransition()</pre>
295
<div class="block">Do the transition for the ArcEntering (add to the place value token)</div>
284 296
</li>
285 297
</ul>
286 298
<a id="isActive()">
......
290 302
<li class="blockList">
291 303
<h4>isActive</h4>
292 304
<pre class="methodSignature">public&nbsp;boolean&nbsp;isActive()</pre>
305
<div class="block">Check if the ArcEntering is active (always true)</div>
306
<dl>
307
<dt><span class="returnLabel">Returns:</span></dt>
308
<dd>true</dd>
309
</dl>
293 310
</li>
294 311
</ul>
295 312
<a id="isPullable()">
......
299 316
<li class="blockList">
300 317
<h4>isPullable</h4>
301 318
<pre class="methodSignature">public&nbsp;boolean&nbsp;isPullable()</pre>
319
<div class="block">Check if the ArcEntering is Pullable (always true)</div>
320
<dl>
321
<dt><span class="returnLabel">Returns:</span></dt>
322
<dd>true</dd>
323
</dl>
302 324
</li>
303 325
</ul>
304 326
<a id="toString()">
......
311 333
<dl>
312 334
<dt><span class="overrideSpecifyLabel">Overrides:</span></dt>
313 335
<dd><code>toString</code>&nbsp;in class&nbsp;<code>junit.framework.TestCase</code></dd>
336
<dt><span class="returnLabel">Returns:</span></dt>
337
<dd>a string that describe the ArcEntering</dd>
314 338
</dl>
315 339
</li>
316 340
</ul>
petri/doc/arcElement/ArcOutering.html
2 2
<!-- NewPage -->
3 3
<html lang="fr">
4 4
<head>
5
<!-- Generated by javadoc (11.0.8) on Mon Nov 02 17:36:44 CET 2020 -->
5
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 10:59:17 CET 2020 -->
6 6
<title>ArcOutering</title>
7 7
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
8
<meta name="dc.created" content="2020-11-02">
8
<meta name="dc.created" content="2020-11-13">
9 9
<link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
10 10
<link rel="stylesheet" type="text/css" href="../jquery/jquery-ui.css" title="Style">
11 11
<script type="text/javascript" src="../script.js"></script>
......
203 203
<tr id="i0" class="altColor">
204 204
<td class="colFirst"><code>void</code></td>
205 205
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#doTransition()">doTransition</a></span>()</code></th>
206
<td class="colLast">&nbsp;</td>
206
<td class="colLast">
207
<div class="block">Do the transition for the ArcOutering (remove to the place value token)</div>
208
</td>
207 209
</tr>
208 210
<tr id="i1" class="rowColor">
209 211
<td class="colFirst"><code>boolean</code></td>
210 212
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#isActive()">isActive</a></span>()</code></th>
211
<td class="colLast">&nbsp;</td>
213
<td class="colLast">
214
<div class="block">Check if the ArcOutering is active (always true)</div>
215
</td>
212 216
</tr>
213 217
<tr id="i2" class="altColor">
214 218
<td class="colFirst"><code>boolean</code></td>
215 219
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#isPullable()">isPullable</a></span>()</code></th>
216
<td class="colLast">&nbsp;</td>
220
<td class="colLast">
221
<div class="block">Check if the ArcOutering is Pullable</div>
222
</td>
217 223
</tr>
218 224
<tr id="i3" class="rowColor">
219 225
<td class="colFirst"><code>java.lang.String</code></td>
......
266 272
<h4>ArcOutering</h4>
267 273
<pre>public&nbsp;ArcOutering&#8203;(<a href="../element/Place.html" title="class in element">Place</a>&nbsp;place,
268 274
                   int&nbsp;value)</pre>
275
<dl>
276
<dt><span class="paramLabel">Parameters:</span></dt>
277
<dd><code>the</code> - place link to ArcOutering and the value of this Arc
278
 Constructor for ArcOutering</dd>
279
</dl>
269 280
</li>
270 281
</ul>
271 282
</li>
......
288 299
<dl>
289 300
<dt><span class="overrideSpecifyLabel">Overrides:</span></dt>
290 301
<dd><code>toString</code>&nbsp;in class&nbsp;<code>junit.framework.TestCase</code></dd>
302
<dt><span class="returnLabel">Returns:</span></dt>
303
<dd>a string that describe the ArcOutering</dd>
291 304
</dl>
292 305
</li>
293 306
</ul>
......
298 311
<li class="blockList">
299 312
<h4>doTransition</h4>
300 313
<pre class="methodSignature">public&nbsp;void&nbsp;doTransition()</pre>
314
<div class="block">Do the transition for the ArcOutering (remove to the place value token)</div>
301 315
</li>
302 316
</ul>
303 317
<a id="isActive()">
......
307 321
<li class="blockList">
308 322
<h4>isActive</h4>
309 323
<pre class="methodSignature">public&nbsp;boolean&nbsp;isActive()</pre>
324
<div class="block">Check if the ArcOutering is active (always true)</div>
325
<dl>
326
<dt><span class="returnLabel">Returns:</span></dt>
327
<dd>true</dd>
328
</dl>
310 329
</li>
311 330
</ul>
312 331
<a id="isPullable()">
......
316 335
<li class="blockList">
317 336
<h4>isPullable</h4>
318 337
<pre class="methodSignature">public&nbsp;boolean&nbsp;isPullable()</pre>
338
<div class="block">Check if the ArcOutering is Pullable</div>
339
<dl>
340
<dt><span class="returnLabel">Returns:</span></dt>
341
<dd>true if the place number of token superior to value</dd>
342
</dl>
319 343
</li>
320 344
</ul>
321 345
</li>
petri/doc/arcElement/Arc.html
2 2
<!-- NewPage -->
3 3
<html lang="fr">
4 4
<head>
5
<!-- Generated by javadoc (11.0.8) on Mon Nov 02 17:36:44 CET 2020 -->
5
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 10:59:17 CET 2020 -->
6 6
<title>Arc</title>
7 7
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
8
<meta name="dc.created" content="2020-11-02">
8
<meta name="dc.created" content="2020-11-13">
9 9
<link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
10 10
<link rel="stylesheet" type="text/css" href="../jquery/jquery-ui.css" title="Style">
11 11
<script type="text/javascript" src="../script.js"></script>
......
250 250
<li class="blockList">
251 251
<h4>Arc</h4>
252 252
<pre>public&nbsp;Arc&#8203;(<a href="../element/Place.html" title="class in element">Place</a>&nbsp;place)</pre>
253
<dl>
254
<dt><span class="paramLabel">Parameters:</span></dt>
255
<dd><code>place</code> - link to the arc</dd>
256
</dl>
253 257
</li>
254 258
</ul>
255 259
</li>
......
281 285
<dl>
282 286
<dt><span class="overrideSpecifyLabel">Overrides:</span></dt>
283 287
<dd><code>equals</code>&nbsp;in class&nbsp;<code>java.lang.Object</code></dd>
288
<dt><span class="paramLabel">Parameters:</span></dt>
289
<dd><code>Object</code> - to compare to the arc
290
the goal of this method is to check if two arcs are the same object (same identityHashCode)</dd>
284 291
</dl>
285 292
</li>
286 293
</ul>
petri/doc/arcElement/ArcZero.html
2 2
<!-- NewPage -->
3 3
<html lang="fr">
4 4
<head>
5
<!-- Generated by javadoc (11.0.8) on Mon Nov 02 17:36:44 CET 2020 -->
5
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 10:59:17 CET 2020 -->
6 6
<title>ArcZero</title>
7 7
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
8
<meta name="dc.created" content="2020-11-02">
8
<meta name="dc.created" content="2020-11-13">
9 9
<link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
10 10
<link rel="stylesheet" type="text/css" href="../jquery/jquery-ui.css" title="Style">
11 11
<script type="text/javascript" src="../script.js"></script>
......
204 204
<tr id="i0" class="altColor">
205 205
<td class="colFirst"><code>void</code></td>
206 206
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#doTransition()">doTransition</a></span>()</code></th>
207
<td class="colLast">&nbsp;</td>
207
<td class="colLast">
208
<div class="block">Do the transition for the ArcZero (do nothing)</div>
209
</td>
208 210
</tr>
209 211
<tr id="i1" class="rowColor">
210 212
<td class="colFirst"><code>boolean</code></td>
211 213
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#isActive()">isActive</a></span>()</code></th>
212
<td class="colLast">&nbsp;</td>
214
<td class="colLast">
215
<div class="block">Check if the place is active</div>
216
</td>
213 217
</tr>
214 218
<tr id="i2" class="altColor">
215 219
<td class="colFirst"><code>boolean</code></td>
216 220
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#isPullable()">isPullable</a></span>()</code></th>
217
<td class="colLast">&nbsp;</td>
221
<td class="colLast">
222
<div class="block">Check if the place is pullable</div>
223
</td>
218 224
</tr>
219 225
<tr id="i3" class="rowColor">
220 226
<td class="colFirst"><code>java.lang.String</code></td>
......
267 273
<h4>ArcZero</h4>
268 274
<pre>public&nbsp;ArcZero&#8203;(<a href="../element/Place.html" title="class in element">Place</a>&nbsp;place,
269 275
               int&nbsp;value)</pre>
276
<dl>
277
<dt><span class="paramLabel">Parameters:</span></dt>
278
<dd><code>the</code> - place link to ArcZero and the value of this Arc
279
 Constructor for ArcZero</dd>
280
</dl>
270 281
</li>
271 282
</ul>
272 283
</li>
......
286 297
<li class="blockList">
287 298
<h4>doTransition</h4>
288 299
<pre class="methodSignature">public&nbsp;void&nbsp;doTransition()</pre>
300
<div class="block">Do the transition for the ArcZero (do nothing)</div>
289 301
<dl>
290 302
<dt><span class="overrideSpecifyLabel">Specified by:</span></dt>
291 303
<dd><code><a href="ArcInterface.html#doTransition()">doTransition</a></code>&nbsp;in interface&nbsp;<code><a href="ArcInterface.html" title="interface in arcElement">ArcInterface</a></code></dd>
......
301 313
<li class="blockList">
302 314
<h4>isActive</h4>
303 315
<pre class="methodSignature">public&nbsp;boolean&nbsp;isActive()</pre>
316
<div class="block">Check if the place is active</div>
304 317
<dl>
305 318
<dt><span class="overrideSpecifyLabel">Specified by:</span></dt>
306 319
<dd><code><a href="ArcInterface.html#isActive()">isActive</a></code>&nbsp;in interface&nbsp;<code><a href="ArcInterface.html" title="interface in arcElement">ArcInterface</a></code></dd>
307 320
<dt><span class="overrideSpecifyLabel">Overrides:</span></dt>
308 321
<dd><code><a href="ArcOutering.html#isActive()">isActive</a></code>&nbsp;in class&nbsp;<code><a href="ArcOutering.html" title="class in arcElement">ArcOutering</a></code></dd>
322
<dt><span class="returnLabel">Returns:</span></dt>
323
<dd>true if place token at 0</dd>
309 324
</dl>
310 325
</li>
311 326
</ul>
......
316 331
<li class="blockList">
317 332
<h4>isPullable</h4>
318 333
<pre class="methodSignature">public&nbsp;boolean&nbsp;isPullable()</pre>
334
<div class="block">Check if the place is pullable</div>
319 335
<dl>
320 336
<dt><span class="overrideSpecifyLabel">Specified by:</span></dt>
321 337
<dd><code><a href="ArcInterface.html#isPullable()">isPullable</a></code>&nbsp;in interface&nbsp;<code><a href="ArcInterface.html" title="interface in arcElement">ArcInterface</a></code></dd>
322 338
<dt><span class="overrideSpecifyLabel">Overrides:</span></dt>
323 339
<dd><code><a href="ArcOutering.html#isPullable()">isPullable</a></code>&nbsp;in class&nbsp;<code><a href="ArcOutering.html" title="class in arcElement">ArcOutering</a></code></dd>
340
<dt><span class="returnLabel">Returns:</span></dt>
341
<dd>true if place token at 0</dd>
324 342
</dl>
325 343
</li>
326 344
</ul>
......
334 352
<dl>
335 353
<dt><span class="overrideSpecifyLabel">Overrides:</span></dt>
336 354
<dd><code><a href="ArcOutering.html#toString()">toString</a></code>&nbsp;in class&nbsp;<code><a href="ArcOutering.html" title="class in arcElement">ArcOutering</a></code></dd>
355
<dt><span class="returnLabel">Returns:</span></dt>
356
<dd>a string that describe the ArcZero</dd>
337 357
</dl>
338 358
</li>
339 359
</ul>
petri/doc/arcElement/package-use.html
2 2
<!-- NewPage -->
3 3
<html lang="fr">
4 4
<head>
5
<!-- Generated by javadoc (11.0.8) on Mon Nov 02 17:36:44 CET 2020 -->
5
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 10:59:17 CET 2020 -->
6 6
<title>Uses of Package arcElement</title>
7 7
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
8
<meta name="dc.created" content="2020-11-02">
8
<meta name="dc.created" content="2020-11-13">
9 9
<link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
10 10
<link rel="stylesheet" type="text/css" href="../jquery/jquery-ui.css" title="Style">
11 11
<script type="text/javascript" src="../script.js"></script>
......
138 138
</tr>
139 139
<tr class="rowColor">
140 140
<th class="colFirst" scope="row"><a href="class-use/ArcInterface.html#arcElement">ArcInterface</a></th>
141
<td class="colLast">&nbsp;</td>
141
<td class="colLast">
142
<div class="block">Method that an arc must define</div>
143
</td>
142 144
</tr>
143 145
<tr class="altColor">
144 146
<th class="colFirst" scope="row"><a href="class-use/ArcOutering.html#arcElement">ArcOutering</a></th>
petri/doc/arcElement/ArcInterface.html
2 2
<!-- NewPage -->
3 3
<html lang="fr">
4 4
<head>
5
<!-- Generated by javadoc (11.0.8) on Mon Nov 02 17:36:44 CET 2020 -->
5
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 10:59:17 CET 2020 -->
6 6
<title>ArcInterface</title>
7 7
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
8
<meta name="dc.created" content="2020-11-02">
8
<meta name="dc.created" content="2020-11-13">
9 9
<link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
10 10
<link rel="stylesheet" type="text/css" href="../jquery/jquery-ui.css" title="Style">
11 11
<script type="text/javascript" src="../script.js"></script>
......
130 130
</dl>
131 131
<hr>
132 132
<pre>public interface <span class="typeNameLabel">ArcInterface</span></pre>
133
<div class="block">Method that an arc must define</div>
133 134
</li>
134 135
</ul>
135 136
</div>
......
153 154
<tr id="i0" class="altColor">
154 155
<td class="colFirst"><code>void</code></td>
155 156
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#doTransition()">doTransition</a></span>()</code></th>
156
<td class="colLast">&nbsp;</td>
157
<td class="colLast">
158
<div class="block">Method that do the transition</div>
159
</td>
157 160
</tr>
158 161
<tr id="i1" class="rowColor">
159 162
<td class="colFirst"><code>boolean</code></td>
160 163
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#isActive()">isActive</a></span>()</code></th>
161
<td class="colLast">&nbsp;</td>
164
<td class="colLast">
165
<div class="block">Method that check if it is active</div>
166
</td>
162 167
</tr>
163 168
<tr id="i2" class="altColor">
164 169
<td class="colFirst"><code>boolean</code></td>
165 170
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#isPullable()">isPullable</a></span>()</code></th>
166
<td class="colLast">&nbsp;</td>
171
<td class="colLast">
172
<div class="block">Method that check if it is pullable</div>
173
</td>
167 174
</tr>
168 175
</table>
169 176
</li>
......
189 196
<li class="blockList">
190 197
<h4>doTransition</h4>
191 198
<pre class="methodSignature">void&nbsp;doTransition()</pre>
199
<div class="block">Method that do the transition</div>
192 200
</li>
193 201
</ul>
194 202
<a id="isPullable()">
......
198 206
<li class="blockList">
199 207
<h4>isPullable</h4>
200 208
<pre class="methodSignature">boolean&nbsp;isPullable()</pre>
209
<div class="block">Method that check if it is pullable</div>
201 210
</li>
202 211
</ul>
203 212
<a id="isActive()">
......
207 216
<li class="blockList">
208 217
<h4>isActive</h4>
209 218
<pre class="methodSignature">boolean&nbsp;isActive()</pre>
219
<div class="block">Method that check if it is active</div>
210 220
</li>
211 221
</ul>
212 222
</li>
petri/doc/arcElement/package-summary.html
2 2
<!-- NewPage -->
3 3
<html lang="fr">
4 4
<head>
5
<!-- Generated by javadoc (11.0.8) on Mon Nov 02 17:36:44 CET 2020 -->
5
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 10:59:17 CET 2020 -->
6 6
<title>arcElement</title>
7 7
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
8
<meta name="dc.created" content="2020-11-02">
8
<meta name="dc.created" content="2020-11-13">
9 9
<link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
10 10
<link rel="stylesheet" type="text/css" href="../jquery/jquery-ui.css" title="Style">
11 11
<script type="text/javascript" src="../script.js"></script>
......
109 109
<tbody>
110 110
<tr class="altColor">
111 111
<th class="colFirst" scope="row"><a href="ArcInterface.html" title="interface in arcElement">ArcInterface</a></th>
112
<td class="colLast">&nbsp;</td>
112
<td class="colLast">
113
<div class="block">Method that an arc must define</div>
114
</td>
113 115
</tr>
114 116
</tbody>
115 117
</table>
petri/doc/allpackages-index.html
2 2
<!-- NewPage -->
3 3
<html lang="fr">
4 4
<head>
5
<!-- Generated by javadoc (11.0.8) on Mon Nov 02 17:36:44 CET 2020 -->
5
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 10:59:17 CET 2020 -->
6 6
<title>All Packages</title>
7 7
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
8
<meta name="dc.created" content="2020-11-02">
8
<meta name="dc.created" content="2020-11-13">
9 9
<link rel="stylesheet" type="text/css" href="stylesheet.css" title="Style">
10 10
<link rel="stylesheet" type="text/css" href="jquery/jquery-ui.css" title="Style">
11 11
<script type="text/javascript" src="script.js"></script>
petri/doc/main/package-use.html
2 2
<!-- NewPage -->
3 3
<html lang="fr">
4 4
<head>
5
<!-- Generated by javadoc (11.0.8) on Mon Nov 02 17:36:44 CET 2020 -->
5
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 10:59:17 CET 2020 -->
6 6
<title>Uses of Package main</title>
7 7
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
8
<meta name="dc.created" content="2020-11-02">
8
<meta name="dc.created" content="2020-11-13">
9 9
<link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
10 10
<link rel="stylesheet" type="text/css" href="../jquery/jquery-ui.css" title="Style">
11 11
<script type="text/javascript" src="../script.js"></script>
petri/doc/main/package-summary.html
2 2
<!-- NewPage -->
3 3
<html lang="fr">
4 4
<head>
5
<!-- Generated by javadoc (11.0.8) on Mon Nov 02 17:36:44 CET 2020 -->
5
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 10:59:17 CET 2020 -->
6 6
<title>main</title>
7 7
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
8
<meta name="dc.created" content="2020-11-02">
8
<meta name="dc.created" content="2020-11-13">
9 9
<link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
10 10
<link rel="stylesheet" type="text/css" href="../jquery/jquery-ui.css" title="Style">
11 11
<script type="text/javascript" src="../script.js"></script>
petri/doc/main/package-tree.html
2 2
<!-- NewPage -->
3 3
<html lang="fr">
4 4
<head>
5
<!-- Generated by javadoc (11.0.8) on Mon Nov 02 17:36:44 CET 2020 -->
5
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 10:59:17 CET 2020 -->
6 6
<title>main Class Hierarchy</title>
7 7
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
8
<meta name="dc.created" content="2020-11-02">
8
<meta name="dc.created" content="2020-11-13">
9 9
<link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
10 10
<link rel="stylesheet" type="text/css" href="../jquery/jquery-ui.css" title="Style">
11 11
<script type="text/javascript" src="../script.js"></script>
petri/doc/main/Network.html
2 2
<!-- NewPage -->
3 3
<html lang="fr">
4 4
<head>
5
<!-- Generated by javadoc (11.0.8) on Mon Nov 02 17:36:44 CET 2020 -->
5
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 10:59:17 CET 2020 -->
6 6
<title>Network</title>
7 7
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
8
<meta name="dc.created" content="2020-11-02">
8
<meta name="dc.created" content="2020-11-13">
9 9
<link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
10 10
<link rel="stylesheet" type="text/css" href="../jquery/jquery-ui.css" title="Style">
11 11
<script type="text/javascript" src="../script.js"></script>
petri/doc/main/Network.UndefinedIdentifier.html
2 2
<!-- NewPage -->
3 3
<html lang="fr">
4 4
<head>
5
<!-- Generated by javadoc (11.0.8) on Mon Nov 02 17:36:44 CET 2020 -->
5
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 10:59:17 CET 2020 -->
6 6
<title>Network.UndefinedIdentifier</title>
7 7
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
8
<meta name="dc.created" content="2020-11-02">
8
<meta name="dc.created" content="2020-11-13">
9 9
<link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
10 10
<link rel="stylesheet" type="text/css" href="../jquery/jquery-ui.css" title="Style">
11 11
<script type="text/javascript" src="../script.js"></script>
petri/doc/main/class-use/Network.UndefinedIdentifier.html
2 2
<!-- NewPage -->
3 3
<html lang="fr">
4 4
<head>
5
<!-- Generated by javadoc (11.0.8) on Mon Nov 02 17:36:44 CET 2020 -->
5
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 10:59:17 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
<meta name="dc.created" content="2020-11-02">
8
<meta name="dc.created" content="2020-11-13">
9 9
<link rel="stylesheet" type="text/css" href="../../stylesheet.css" title="Style">
10 10
<link rel="stylesheet" type="text/css" href="../../jquery/jquery-ui.css" title="Style">
11 11
<script type="text/javascript" src="../../script.js"></script>
petri/doc/main/class-use/Network.html
2 2
<!-- NewPage -->
3 3
<html lang="fr">
4 4
<head>
5
<!-- Generated by javadoc (11.0.8) on Mon Nov 02 17:36:44 CET 2020 -->
5
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 10:59:17 CET 2020 -->
6 6
<title>Uses of Class main.Network</title>
7 7
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
8
<meta name="dc.created" content="2020-11-02">
8
<meta name="dc.created" content="2020-11-13">
9 9
<link rel="stylesheet" type="text/css" href="../../stylesheet.css" title="Style">
10 10
<link rel="stylesheet" type="text/css" href="../../jquery/jquery-ui.css" title="Style">
11 11
<script type="text/javascript" src="../../script.js"></script>
petri/src/arcElement/Arc.java
3 3
import element.Place;
4 4
import junit.framework.TestCase;
5 5

  
6
/**
7
 * Abstract class for the arc 
8
 *
9
 */
6 10
public abstract class Arc extends TestCase implements ArcInterface  {
7
	
11

  
8 12
	private Place place;
9
	
13
	/**
14
	 * @param place link to the arc
15
	 *
16
	 */
10 17
	public Arc(Place place) {
11 18
		this.place=place;
12 19
	}
13
	
14 20
	public Place getPlace() {
15 21
		return this.place;
16 22
	}
23
	/**
24
	 * @param Object to compare to the arc
25
	 *the goal of this method is to check if two arcs are the same object (same identityHashCode)
26
	 */
17 27
	public boolean equals(Object o) {
18 28
		if((o instanceof Arc) &&(System.identityHashCode(((Arc)o))==System.identityHashCode(this))) {
19 29
			return true;
......
21 31
		else {
22 32
			return false;
23 33
		}
24
		
34

  
25 35
	}
26 36

  
... Ce différentiel a été tronqué car il excède la taille maximale pouvant être affichée.

Formats disponibles : Unified diff