Révision 6
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"> </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> </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> </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> </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> </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> </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> </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> </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> </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> </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> </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> </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> </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> </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> </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> </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> </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> </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> </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> </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> </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> </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> </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"> </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"> </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"> </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 ArcCleaner​(<a href="../element/Place.html" title="class in element">Place</a> 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 void 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 boolean 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 boolean 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> in class <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"> </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"> </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"> </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 ArcEntering​(<a href="../element/Place.html" title="class in element">Place</a> place, |
264 | 270 |
int 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 void 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 boolean 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 boolean 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> in class <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"> </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"> </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"> </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 ArcOutering​(<a href="../element/Place.html" title="class in element">Place</a> place, |
268 | 274 |
int 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> in class <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 void 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 boolean 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 boolean 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 Arc​(<a href="../element/Place.html" title="class in element">Place</a> 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> in class <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"> </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"> </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"> </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 ArcZero​(<a href="../element/Place.html" title="class in element">Place</a> place, |
269 | 275 |
int 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 void 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> in interface <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 boolean 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> in interface <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> in class <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 boolean 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> in interface <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> in class <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> in class <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"> </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"> </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"> </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"> </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 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 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 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"> </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 |
|
Formats disponibles : Unified diff