Révision 7
| petri/Readme.md | ||
|---|---|---|
| 1 |
# Reseau de Petri |
|
| 2 |
binome 2 Sean/Amaury |
|
| 3 |
|
|
| 4 |
## Note de conception |
|
| 5 |
Nous avons procédé à quelques modification par rapport a notre conception initiale. |
|
| 6 |
|
|
| 7 |
Ainsi nous avons ajouté une methode *equals* aux classes arc et place. Ces methodes servent pour deleteArc() et deletePLace() |
|
| 8 |
|
|
| 9 |
Nous avons également rajouté des methodes *toString* afin d'avoir une meilleur visibilité pour nos tests. |
|
| 10 |
|
|
| 11 |
Nous avons aussi déclaré des constante ArcEntering, ArcOutering, qui sont des entier pour que lors de la declaration des arc le choix soit clair. |
|
| 12 |
|
|
| 13 |
## Execution du code |
|
| 14 |
Nous avons réalisé des tests Junit pour chaque classe et leurs methodes réspectivent. Pour les excuter il *faut executer src as a Junit test*. Nous avons a chaque fois testé chaque methodes. Mais les tests ne sont sans doute pas exaustif. |
|
| 15 |
Lorsque on fait cela on voit **4 erreurs**, en effet,les test des différent classe de Arc (ArcOutering,...) ne sont pas "relier" a leur test mais ces classes sont **bien tésté**. |
|
| 16 |
|
|
| 17 |
En executant src *as a Java Application*, on voit un exemple simple de réseau de petrie |
|
| 18 |
|
|
| 19 |
Nous n'avons pas encore rajouté la JDOC |
|
| petri/src/main/Network.java | ||
|---|---|---|
| 14 | 14 |
import element.Transition; |
| 15 | 15 |
|
| 16 | 16 |
public class Network {
|
| 17 |
//constant for the methode add arc |
|
| 17 | 18 |
public static int ArcOutering = 2; |
| 18 | 19 |
public static int ArcCleaner = 1; |
| 19 | 20 |
public static int ArcZero = 0; |
| ... | ... | |
| 27 | 28 |
|
| 28 | 29 |
} |
| 29 | 30 |
|
| 30 |
|
|
| 31 |
/** |
|
| 32 |
* create a new transition |
|
| 33 |
*/ |
|
| 31 | 34 |
public void addTransition() {
|
| 32 | 35 |
Transition transition = new Transition(); |
| 33 | 36 |
listTransition.add(transition); |
| 34 | 37 |
} |
| 38 |
/** |
|
| 39 |
* create a new place |
|
| 40 |
*/ |
|
| 35 | 41 |
public void addPlace(int value) throws UndefinedToken {
|
| 36 | 42 |
Place place = new Place(value); |
| 37 | 43 |
placeList.add(place); |
| ... | ... | |
| 43 | 49 |
} |
| 44 | 50 |
|
| 45 | 51 |
} |
| 52 |
/** |
|
| 53 |
* create a new arc |
|
| 54 |
* @param transtion the transition link to this arc |
|
| 55 |
* @param place the place link to this arc |
|
| 56 |
* @param the value of this arc |
|
| 57 |
* @param identifier the integer that correspond to the type of arc (define as static) |
|
| 58 |
*/ |
|
| 46 | 59 |
public void addArc(Transition transition, Place place, int value, int identifier) throws UndefinedIdentifier {
|
| 47 | 60 |
|
| 48 | 61 |
if (identifier==ArcZero) {
|
| ... | ... | |
| 60 | 73 |
} |
| 61 | 74 |
|
| 62 | 75 |
} |
| 76 |
/** |
|
| 77 |
* delete an arc |
|
| 78 |
*/ |
|
| 63 | 79 |
public void deleteArc(Arc a) {
|
| 64 | 80 |
Arc aToDelete = null; |
| 65 | 81 |
for(Transition transition: listTransition) {
|
| ... | ... | |
| 71 | 87 |
} |
| 72 | 88 |
|
| 73 | 89 |
} |
| 74 |
|
|
| 90 |
/** |
|
| 91 |
* delete a place an the arcs link to it |
|
| 92 |
*/ |
|
| 75 | 93 |
public void deletePlace( Place place) {
|
| 76 |
Arc aToDelete = null;
|
|
| 94 |
List<Arc> aToDelete = new ArrayList<Arc>();
|
|
| 77 | 95 |
for(Transition transition: listTransition) {
|
| 78 | 96 |
for(Arc arc:transition.getArcList()) {
|
| 79 | 97 |
if(arc.getPlace().equals(place)) {
|
| 80 |
aToDelete=arc;
|
|
| 98 |
aToDelete.add(arc);
|
|
| 81 | 99 |
} |
| 82 | 100 |
} |
| 83 |
deleteArc( aToDelete); |
|
| 101 |
aToDelete.forEach((Arc a)->{
|
|
| 102 |
deleteArc(a); |
|
| 103 |
}); |
|
| 84 | 104 |
placeList.remove(place); |
| 85 | 105 |
|
| 86 | 106 |
} |
| 87 | 107 |
|
| 88 | 108 |
} |
| 89 |
|
|
| 109 |
/** |
|
| 110 |
* delete a transition |
|
| 111 |
*/ |
|
| 90 | 112 |
public void deleteTransition(Transition transition) {
|
| 91 | 113 |
|
| 92 | 114 |
listTransition.remove(transition); |
| 93 | 115 |
} |
| 94 |
|
|
| 116 |
/** |
|
| 117 |
* fire the transition selected |
|
| 118 |
*/ |
|
| 95 | 119 |
public void fire(Transition transition) {
|
| 96 | 120 |
if (transition.isPullable()==true) {
|
| 97 | 121 |
transition.doTransition(); |
| 98 | 122 |
} |
| 99 | 123 |
} |
| 124 |
/** |
|
| 125 |
* string representation of a network |
|
| 126 |
*/ |
|
| 100 | 127 |
public String toString() {
|
| 101 | 128 |
String res= "["; |
| 102 | 129 |
for(int i=0;listTransition.size()>i;i++ ) {
|
| ... | ... | |
| 105 | 132 |
res=res+"]"; |
| 106 | 133 |
return res; |
| 107 | 134 |
} |
| 135 |
//example of Petri network |
|
| 108 | 136 |
public static void main(String[] args) throws UndefinedToken, UndefinedIdentifier {
|
| 109 | 137 |
|
| 110 | 138 |
Network n0=new Network(); |
| petri/src/element/Place.java | ||
|---|---|---|
| 1 | 1 |
package element; |
| 2 | 2 |
|
| 3 | 3 |
|
| 4 |
|
|
| 5 | 4 |
public class Place {
|
| 6 | 5 |
|
| 7 | 6 |
private int token; |
| 8 |
|
|
| 7 |
/** |
|
| 8 |
* exception to handle negative value for token |
|
| 9 |
*/ |
|
| 9 | 10 |
@SuppressWarnings("serial")
|
| 10 | 11 |
public class UndefinedToken extends Exception{
|
| 11 | 12 |
public UndefinedToken() {
|
| ... | ... | |
| 24 | 25 |
public int getToken() {
|
| 25 | 26 |
return this.token; |
| 26 | 27 |
} |
| 28 |
/** |
|
| 29 |
* @return a string representation of the place |
|
| 30 |
*/ |
|
| 27 | 31 |
public String toString() {
|
| 28 | 32 |
return "Place Token : "+token; |
| 29 | 33 |
} |
| 30 |
|
|
| 34 |
/** |
|
| 35 |
* check if the place is not empty |
|
| 36 |
*/ |
|
| 31 | 37 |
public boolean isEmpty() {
|
| 32 | 38 |
return (this.token==0); |
| 33 | 39 |
} |
| 34 |
|
|
| 40 |
/** |
|
| 41 |
* @param int value that the place has to add to its token value |
|
| 42 |
*/ |
|
| 35 | 43 |
public void changeToken(int i) {
|
| 36 | 44 |
token += i; |
| 37 | 45 |
} |
| 38 |
|
|
| 46 |
/** |
|
| 47 |
* @param Object to compare to the place |
|
| 48 |
*the goal of this method is to check if two places are the same object (same identityHashCode) |
|
| 49 |
*/ |
|
| 39 | 50 |
public boolean equals(Object o) {
|
| 40 | 51 |
if((o instanceof Place) &&(System.identityHashCode(((Place)o))==System.identityHashCode(this))) {
|
| 41 | 52 |
return true; |
| petri/src/element/Transition.java | ||
|---|---|---|
| 10 | 10 |
|
| 11 | 11 |
|
| 12 | 12 |
private List<Arc> arcList; |
| 13 |
|
|
| 13 |
/** |
|
| 14 |
* @return a string representation of a transition |
|
| 15 |
*/ |
|
| 14 | 16 |
public String toString() {
|
| 15 | 17 |
String res= " ["; |
| 16 | 18 |
for(int i=0;arcList.size()>i;i++ ) {
|
| ... | ... | |
| 24 | 26 |
this.arcList=new ArrayList<Arc>(); |
| 25 | 27 |
} |
| 26 | 28 |
|
| 27 |
|
|
| 29 |
/** |
|
| 30 |
* check if the transition is pullable |
|
| 31 |
* @return true if all its arcs are pullable |
|
| 32 |
*/ |
|
| 28 | 33 |
public boolean isPullable() {
|
| 29 | 34 |
int i=0; |
| 30 | 35 |
boolean res=true; |
| ... | ... | |
| 34 | 39 |
} |
| 35 | 40 |
return res; |
| 36 | 41 |
} |
| 37 |
|
|
| 42 |
/** |
|
| 43 |
* |
|
| 44 |
* do the transition |
|
| 45 |
* (all its arcs do the transition |
|
| 46 |
*/ |
|
| 38 | 47 |
public void doTransition() {
|
| 39 | 48 |
if (this.isPullable()==true) {
|
| 40 | 49 |
for (int i=0; i<arcList.size();i++) {
|
| petri/doc/allclasses-index.html | ||
|---|---|---|
| 2 | 2 |
<!-- NewPage --> |
| 3 | 3 |
<html lang="fr"> |
| 4 | 4 |
<head> |
| 5 |
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 10:59:17 CET 2020 -->
|
|
| 5 |
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 11:20:05 CET 2020 -->
|
|
| 6 | 6 |
<title>All Classes</title> |
| 7 | 7 |
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"> |
| 8 | 8 |
<meta name="dc.created" content="2020-11-13"> |
| ... | ... | |
| 114 | 114 |
</tr> |
| 115 | 115 |
<tr id="i0" class="altColor"> |
| 116 | 116 |
<td class="colFirst"><a href="arcElement/Arc.html" title="class in arcElement">Arc</a></td> |
| 117 |
<th class="colLast" scope="row"> </th> |
|
| 117 |
<th class="colLast" scope="row"> |
|
| 118 |
<div class="block">Abstract class for the arc</div> |
|
| 119 |
</th> |
|
| 118 | 120 |
</tr> |
| 119 | 121 |
<tr id="i1" class="rowColor"> |
| 120 | 122 |
<td class="colFirst"><a href="arcElement/ArcCleaner.html" title="class in arcElement">ArcCleaner</a></td> |
| 121 |
<th class="colLast" scope="row"> </th> |
|
| 123 |
<th class="colLast" scope="row"> |
|
| 124 |
<div class="block">class for the ArcCleaner</div> |
|
| 125 |
</th> |
|
| 122 | 126 |
</tr> |
| 123 | 127 |
<tr id="i2" class="altColor"> |
| 124 | 128 |
<td class="colFirst"><a href="arcElement/ArcEntering.html" title="class in arcElement">ArcEntering</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 Fri Nov 13 10:59:17 CET 2020 -->
|
|
| 5 |
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 11:20:05 CET 2020 -->
|
|
| 6 | 6 |
<title>API Help</title> |
| 7 | 7 |
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"> |
| 8 | 8 |
<meta name="dc.created" content="2020-11-13"> |
| petri/doc/serialized-form.html | ||
|---|---|---|
| 2 | 2 |
<!-- NewPage --> |
| 3 | 3 |
<html lang="fr"> |
| 4 | 4 |
<head> |
| 5 |
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 10:59:17 CET 2020 -->
|
|
| 5 |
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 11:20:05 CET 2020 -->
|
|
| 6 | 6 |
<title>Serialized Form</title> |
| 7 | 7 |
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"> |
| 8 | 8 |
<meta name="dc.created" content="2020-11-13"> |
| petri/doc/overview-summary.html | ||
|---|---|---|
| 2 | 2 |
<!-- NewPage --> |
| 3 | 3 |
<html lang="fr"> |
| 4 | 4 |
<head> |
| 5 |
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 10:59:17 CET 2020 -->
|
|
| 5 |
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 11:20:05 CET 2020 -->
|
|
| 6 | 6 |
<title>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 Fri Nov 13 10:59:17 CET 2020 -->
|
|
| 5 |
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 11:20:05 CET 2020 -->
|
|
| 6 | 6 |
<title>Class Hierarchy</title> |
| 7 | 7 |
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"> |
| 8 | 8 |
<meta name="dc.created" content="2020-11-13"> |
| 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 Fri Nov 13 10:59:17 CET 2020 -->
|
|
| 5 |
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 11:20:05 CET 2020 -->
|
|
| 6 | 6 |
<title>A-Index</title> |
| 7 | 7 |
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"> |
| 8 | 8 |
<meta name="dc.created" content="2020-11-13"> |
| ... | ... | |
| 100 | 100 |
<h2 class="title">A</h2> |
| 101 | 101 |
<dl> |
| 102 | 102 |
<dt><span class="memberNameLink"><a href="../main/Network.html#addArc(element.Transition,element.Place,int,int)">addArc(Transition, Place, int, int)</a></span> - Method in class main.<a href="../main/Network.html" title="class in main">Network</a></dt> |
| 103 |
<dd> </dd> |
|
| 103 |
<dd> |
|
| 104 |
<div class="block">create a new arc</div> |
|
| 105 |
</dd> |
|
| 104 | 106 |
<dt><span class="memberNameLink"><a href="../main/Network.html#addPlace(int)">addPlace(int)</a></span> - Method in class main.<a href="../main/Network.html" title="class in main">Network</a></dt> |
| 105 |
<dd> </dd> |
|
| 107 |
<dd> |
|
| 108 |
<div class="block">create a new place</div> |
|
| 109 |
</dd> |
|
| 106 | 110 |
<dt><span class="memberNameLink"><a href="../main/Network.html#addTransition()">addTransition()</a></span> - Method in class main.<a href="../main/Network.html" title="class in main">Network</a></dt> |
| 107 |
<dd> </dd> |
|
| 111 |
<dd> |
|
| 112 |
<div class="block">create a new transition</div> |
|
| 113 |
</dd> |
|
| 108 | 114 |
<dt><a href="../arcElement/Arc.html" title="class in arcElement"><span class="typeNameLink">Arc</span></a> - Class in <a href="../arcElement/package-summary.html">arcElement</a></dt> |
| 109 |
<dd> </dd> |
|
| 115 |
<dd> |
|
| 116 |
<div class="block">Abstract class for the arc</div> |
|
| 117 |
</dd> |
|
| 110 | 118 |
<dt><span class="memberNameLink"><a href="../arcElement/Arc.html#%3Cinit%3E(element.Place)">Arc(Place)</a></span> - Constructor for class arcElement.<a href="../arcElement/Arc.html" title="class in arcElement">Arc</a></dt> |
| 111 | 119 |
<dd> </dd> |
| 112 | 120 |
<dt><a href="../arcElement/ArcCleaner.html" title="class in arcElement"><span class="typeNameLink">ArcCleaner</span></a> - Class in <a href="../arcElement/package-summary.html">arcElement</a></dt> |
| 113 |
<dd> </dd> |
|
| 121 |
<dd> |
|
| 122 |
<div class="block">class for the ArcCleaner</div> |
|
| 123 |
</dd> |
|
| 114 | 124 |
<dt><span class="memberNameLink"><a href="../main/Network.html#ArcCleaner">ArcCleaner</a></span> - Static variable in class main.<a href="../main/Network.html" title="class in main">Network</a></dt> |
| 115 | 125 |
<dd> </dd> |
| 116 | 126 |
<dt><span class="memberNameLink"><a href="../arcElement/ArcCleaner.html#%3Cinit%3E(element.Place)">ArcCleaner(Place)</a></span> - Constructor for class arcElement.<a href="../arcElement/ArcCleaner.html" title="class in arcElement">ArcCleaner</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 Fri Nov 13 10:59:17 CET 2020 -->
|
|
| 5 |
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 11:20:05 CET 2020 -->
|
|
| 6 | 6 |
<title>P-Index</title> |
| 7 | 7 |
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"> |
| 8 | 8 |
<meta name="dc.created" content="2020-11-13"> |
| ... | ... | |
| 104 | 104 |
<dt><span class="memberNameLink"><a href="../element/Place.html#%3Cinit%3E(int)">Place(int)</a></span> - Constructor for class element.<a href="../element/Place.html" title="class in element">Place</a></dt> |
| 105 | 105 |
<dd> </dd> |
| 106 | 106 |
<dt><a href="../element/Place.UndefinedToken.html" title="class in element"><span class="typeNameLink">Place.UndefinedToken</span></a> - Exception in <a href="../element/package-summary.html">element</a></dt> |
| 107 |
<dd> </dd> |
|
| 107 |
<dd> |
|
| 108 |
<div class="block">exception to handle negative value for token</div> |
|
| 109 |
</dd> |
|
| 108 | 110 |
</dl> |
| 109 | 111 |
<a href="index-1.html">A</a> <a href="index-2.html">C</a> <a href="index-3.html">D</a> <a href="index-4.html">E</a> <a href="index-5.html">F</a> <a href="index-6.html">G</a> <a href="index-7.html">I</a> <a href="index-8.html">M</a> <a href="index-9.html">N</a> <a href="index-10.html">P</a> <a href="index-11.html">T</a> <a href="index-12.html">U</a> <br><a href="../allclasses-index.html">All Classes</a> <a href="../allpackages-index.html">All Packages</a></div> |
| 110 | 112 |
</main> |
| 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 Fri Nov 13 10:59:17 CET 2020 -->
|
|
| 5 |
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 11:20:05 CET 2020 -->
|
|
| 6 | 6 |
<title>T-Index</title> |
| 7 | 7 |
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"> |
| 8 | 8 |
<meta name="dc.created" content="2020-11-13"> |
| ... | ... | |
| 112 | 112 |
<dt><span class="memberNameLink"><a href="../element/Transition.html#toString()">toString()</a></span> - Method in class element.<a href="../element/Transition.html" title="class in element">Transition</a></dt> |
| 113 | 113 |
<dd> </dd> |
| 114 | 114 |
<dt><span class="memberNameLink"><a href="../main/Network.html#toString()">toString()</a></span> - Method in class main.<a href="../main/Network.html" title="class in main">Network</a></dt> |
| 115 |
<dd> </dd> |
|
| 115 |
<dd> |
|
| 116 |
<div class="block">string representation of a network</div> |
|
| 117 |
</dd> |
|
| 116 | 118 |
<dt><a href="../element/Transition.html" title="class in element"><span class="typeNameLink">Transition</span></a> - Class in <a href="../element/package-summary.html">element</a></dt> |
| 117 | 119 |
<dd> </dd> |
| 118 | 120 |
<dt><span class="memberNameLink"><a href="../element/Transition.html#%3Cinit%3E()">Transition()</a></span> - Constructor for class element.<a href="../element/Transition.html" title="class in element">Transition</a></dt> |
| 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 Fri Nov 13 10:59:17 CET 2020 -->
|
|
| 5 |
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 11:20:05 CET 2020 -->
|
|
| 6 | 6 |
<title>C-Index</title> |
| 7 | 7 |
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"> |
| 8 | 8 |
<meta name="dc.created" content="2020-11-13"> |
| 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 Fri Nov 13 10:59:17 CET 2020 -->
|
|
| 5 |
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 11:20:05 CET 2020 -->
|
|
| 6 | 6 |
<title>U-Index</title> |
| 7 | 7 |
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"> |
| 8 | 8 |
<meta name="dc.created" content="2020-11-13"> |
| 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 Fri Nov 13 10:59:17 CET 2020 -->
|
|
| 5 |
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 11:20:05 CET 2020 -->
|
|
| 6 | 6 |
<title>D-Index</title> |
| 7 | 7 |
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"> |
| 8 | 8 |
<meta name="dc.created" content="2020-11-13"> |
| ... | ... | |
| 100 | 100 |
<h2 class="title">D</h2> |
| 101 | 101 |
<dl> |
| 102 | 102 |
<dt><span class="memberNameLink"><a href="../main/Network.html#deleteArc(arcElement.Arc)">deleteArc(Arc)</a></span> - Method in class main.<a href="../main/Network.html" title="class in main">Network</a></dt> |
| 103 |
<dd> </dd> |
|
| 103 |
<dd> |
|
| 104 |
<div class="block">delete an arc</div> |
|
| 105 |
</dd> |
|
| 104 | 106 |
<dt><span class="memberNameLink"><a href="../main/Network.html#deletePlace(element.Place)">deletePlace(Place)</a></span> - Method in class main.<a href="../main/Network.html" title="class in main">Network</a></dt> |
| 105 |
<dd> </dd> |
|
| 107 |
<dd> |
|
| 108 |
<div class="block">delete a place an the arcs link to it</div> |
|
| 109 |
</dd> |
|
| 106 | 110 |
<dt><span class="memberNameLink"><a href="../main/Network.html#deleteTransition(element.Transition)">deleteTransition(Transition)</a></span> - Method in class main.<a href="../main/Network.html" title="class in main">Network</a></dt> |
| 107 |
<dd> </dd> |
|
| 111 |
<dd> |
|
| 112 |
<div class="block">delete a transition</div> |
|
| 113 |
</dd> |
|
| 108 | 114 |
<dt><span class="memberNameLink"><a href="../arcElement/ArcCleaner.html#doTransition()">doTransition()</a></span> - Method in class arcElement.<a href="../arcElement/ArcCleaner.html" title="class in arcElement">ArcCleaner</a></dt> |
| 109 | 115 |
<dd> |
| 110 | 116 |
<div class="block">Do the transition for the ArcCleaner (remove all the token of the place)</div> |
| ... | ... | |
| 126 | 132 |
<div class="block">Do the transition for the ArcZero (do nothing)</div> |
| 127 | 133 |
</dd> |
| 128 | 134 |
<dt><span class="memberNameLink"><a href="../element/Transition.html#doTransition()">doTransition()</a></span> - Method in class element.<a href="../element/Transition.html" title="class in element">Transition</a></dt> |
| 129 |
<dd> </dd> |
|
| 135 |
<dd> |
|
| 136 |
<div class="block">do the transition |
|
| 137 |
(all its arcs do the transition</div> |
|
| 138 |
</dd> |
|
| 130 | 139 |
</dl> |
| 131 | 140 |
<a href="index-1.html">A</a> <a href="index-2.html">C</a> <a href="index-3.html">D</a> <a href="index-4.html">E</a> <a href="index-5.html">F</a> <a href="index-6.html">G</a> <a href="index-7.html">I</a> <a href="index-8.html">M</a> <a href="index-9.html">N</a> <a href="index-10.html">P</a> <a href="index-11.html">T</a> <a href="index-12.html">U</a> <br><a href="../allclasses-index.html">All Classes</a> <a href="../allpackages-index.html">All Packages</a></div> |
| 132 | 141 |
</main> |
| 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 Fri Nov 13 10:59:17 CET 2020 -->
|
|
| 5 |
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 11:20:05 CET 2020 -->
|
|
| 6 | 6 |
<title>E-Index</title> |
| 7 | 7 |
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"> |
| 8 | 8 |
<meta name="dc.created" content="2020-11-13"> |
| 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 Fri Nov 13 10:59:17 CET 2020 -->
|
|
| 5 |
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 11:20:05 CET 2020 -->
|
|
| 6 | 6 |
<title>F-Index</title> |
| 7 | 7 |
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"> |
| 8 | 8 |
<meta name="dc.created" content="2020-11-13"> |
| ... | ... | |
| 100 | 100 |
<h2 class="title">F</h2> |
| 101 | 101 |
<dl> |
| 102 | 102 |
<dt><span class="memberNameLink"><a href="../main/Network.html#fire(element.Transition)">fire(Transition)</a></span> - Method in class main.<a href="../main/Network.html" title="class in main">Network</a></dt> |
| 103 |
<dd> </dd> |
|
| 103 |
<dd> |
|
| 104 |
<div class="block">fire the transition selected</div> |
|
| 105 |
</dd> |
|
| 104 | 106 |
</dl> |
| 105 | 107 |
<a href="index-1.html">A</a> <a href="index-2.html">C</a> <a href="index-3.html">D</a> <a href="index-4.html">E</a> <a href="index-5.html">F</a> <a href="index-6.html">G</a> <a href="index-7.html">I</a> <a href="index-8.html">M</a> <a href="index-9.html">N</a> <a href="index-10.html">P</a> <a href="index-11.html">T</a> <a href="index-12.html">U</a> <br><a href="../allclasses-index.html">All Classes</a> <a href="../allpackages-index.html">All Packages</a></div> |
| 106 | 108 |
</main> |
| 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 Fri Nov 13 10:59:17 CET 2020 -->
|
|
| 5 |
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 11:20:05 CET 2020 -->
|
|
| 6 | 6 |
<title>G-Index</title> |
| 7 | 7 |
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"> |
| 8 | 8 |
<meta name="dc.created" content="2020-11-13"> |
| 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 Fri Nov 13 10:59:17 CET 2020 -->
|
|
| 5 |
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 11:20:05 CET 2020 -->
|
|
| 6 | 6 |
<title>I-Index</title> |
| 7 | 7 |
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"> |
| 8 | 8 |
<meta name="dc.created" content="2020-11-13"> |
| ... | ... | |
| 120 | 120 |
<div class="block">Check if the place is active</div> |
| 121 | 121 |
</dd> |
| 122 | 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> |
| 123 |
<dd> </dd> |
|
| 123 |
<dd> |
|
| 124 |
<div class="block">check if the place is not empty</div> |
|
| 125 |
</dd> |
|
| 124 | 126 |
<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> |
| 125 | 127 |
<dd> |
| 126 | 128 |
<div class="block">Check if the place is pullable</div> |
| ... | ... | |
| 142 | 144 |
<div class="block">Check if the place is pullable</div> |
| 143 | 145 |
</dd> |
| 144 | 146 |
<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> |
| 145 |
<dd> </dd> |
|
| 147 |
<dd> |
|
| 148 |
<div class="block">check if the transition is pullable</div> |
|
| 149 |
</dd> |
|
| 146 | 150 |
</dl> |
| 147 | 151 |
<a href="index-1.html">A</a> <a href="index-2.html">C</a> <a href="index-3.html">D</a> <a href="index-4.html">E</a> <a href="index-5.html">F</a> <a href="index-6.html">G</a> <a href="index-7.html">I</a> <a href="index-8.html">M</a> <a href="index-9.html">N</a> <a href="index-10.html">P</a> <a href="index-11.html">T</a> <a href="index-12.html">U</a> <br><a href="../allclasses-index.html">All Classes</a> <a href="../allpackages-index.html">All Packages</a></div> |
| 148 | 152 |
</main> |
| 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 Fri Nov 13 10:59:17 CET 2020 -->
|
|
| 5 |
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 11:20:05 CET 2020 -->
|
|
| 6 | 6 |
<title>M-Index</title> |
| 7 | 7 |
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"> |
| 8 | 8 |
<meta name="dc.created" content="2020-11-13"> |
| 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 Fri Nov 13 10:59:17 CET 2020 -->
|
|
| 5 |
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 11:20:05 CET 2020 -->
|
|
| 6 | 6 |
<title>N-Index</title> |
| 7 | 7 |
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"> |
| 8 | 8 |
<meta name="dc.created" content="2020-11-13"> |
| petri/doc/index.html | ||
|---|---|---|
| 2 | 2 |
<!-- NewPage --> |
| 3 | 3 |
<html lang="fr"> |
| 4 | 4 |
<head> |
| 5 |
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 10:59:17 CET 2020 -->
|
|
| 5 |
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 11:20:05 CET 2020 -->
|
|
| 6 | 6 |
<title>Overview</title> |
| 7 | 7 |
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"> |
| 8 | 8 |
<meta name="dc.created" content="2020-11-13"> |
| petri/doc/deprecated-list.html | ||
|---|---|---|
| 2 | 2 |
<!-- NewPage --> |
| 3 | 3 |
<html lang="fr"> |
| 4 | 4 |
<head> |
| 5 |
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 10:59:17 CET 2020 -->
|
|
| 5 |
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 11:20:05 CET 2020 -->
|
|
| 6 | 6 |
<title>Deprecated List</title> |
| 7 | 7 |
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"> |
| 8 | 8 |
<meta name="dc.created" content="2020-11-13"> |
| petri/doc/allpackages-index.html | ||
|---|---|---|
| 2 | 2 |
<!-- NewPage --> |
| 3 | 3 |
<html lang="fr"> |
| 4 | 4 |
<head> |
| 5 |
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 10:59:17 CET 2020 -->
|
|
| 5 |
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 11:20:05 CET 2020 -->
|
|
| 6 | 6 |
<title>All Packages</title> |
| 7 | 7 |
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"> |
| 8 | 8 |
<meta name="dc.created" content="2020-11-13"> |
| 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 Fri Nov 13 10:59:17 CET 2020 -->
|
|
| 5 |
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 11:20:05 CET 2020 -->
|
|
| 6 | 6 |
<title>Uses of Class arcElement.Arc</title> |
| 7 | 7 |
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"> |
| 8 | 8 |
<meta name="dc.created" content="2020-11-13"> |
| ... | ... | |
| 140 | 140 |
<tr class="altColor"> |
| 141 | 141 |
<td class="colFirst"><code>class </code></td> |
| 142 | 142 |
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="../ArcCleaner.html" title="class in arcElement">ArcCleaner</a></span></code></th> |
| 143 |
<td class="colLast"> </td> |
|
| 143 |
<td class="colLast"> |
|
| 144 |
<div class="block">class for the ArcCleaner</div> |
|
| 145 |
</td> |
|
| 144 | 146 |
</tr> |
| 145 | 147 |
<tr class="rowColor"> |
| 146 | 148 |
<td class="colFirst"><code>class </code></td> |
| ... | ... | |
| 199 | 201 |
<tr class="altColor"> |
| 200 | 202 |
<td class="colFirst"><code>void</code></td> |
| 201 | 203 |
<th class="colSecond" scope="row"><span class="typeNameLabel">Network.</span><code><span class="memberNameLink"><a href="../../main/Network.html#deleteArc(arcElement.Arc)">deleteArc</a></span>​(<a href="../Arc.html" title="class in arcElement">Arc</a> a)</code></th> |
| 202 |
<td class="colLast"> </td> |
|
| 204 |
<td class="colLast"> |
|
| 205 |
<div class="block">delete an arc</div> |
|
| 206 |
</td> |
|
| 203 | 207 |
</tr> |
| 204 | 208 |
</tbody> |
| 205 | 209 |
</table> |
| 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 Fri Nov 13 10:59:17 CET 2020 -->
|
|
| 5 |
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 11:20:05 CET 2020 -->
|
|
| 6 | 6 |
<title>Uses of Class arcElement.ArcZero</title> |
| 7 | 7 |
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"> |
| 8 | 8 |
<meta name="dc.created" content="2020-11-13"> |
| 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 Fri Nov 13 10:59:17 CET 2020 -->
|
|
| 5 |
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 11:20:05 CET 2020 -->
|
|
| 6 | 6 |
<title>Uses of Interface arcElement.ArcInterface</title> |
| 7 | 7 |
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"> |
| 8 | 8 |
<meta name="dc.created" content="2020-11-13"> |
| ... | ... | |
| 132 | 132 |
<tr class="altColor"> |
| 133 | 133 |
<td class="colFirst"><code>class </code></td> |
| 134 | 134 |
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="../Arc.html" title="class in arcElement">Arc</a></span></code></th> |
| 135 |
<td class="colLast"> </td> |
|
| 135 |
<td class="colLast"> |
|
| 136 |
<div class="block">Abstract class for the arc</div> |
|
| 137 |
</td> |
|
| 136 | 138 |
</tr> |
| 137 | 139 |
<tr class="rowColor"> |
| 138 | 140 |
<td class="colFirst"><code>class </code></td> |
| 139 | 141 |
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="../ArcCleaner.html" title="class in arcElement">ArcCleaner</a></span></code></th> |
| 140 |
<td class="colLast"> </td> |
|
| 142 |
<td class="colLast"> |
|
| 143 |
<div class="block">class for the ArcCleaner</div> |
|
| 144 |
</td> |
|
| 141 | 145 |
</tr> |
| 142 | 146 |
<tr class="altColor"> |
| 143 | 147 |
<td class="colFirst"><code>class </code></td> |
| 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 Fri Nov 13 10:59:17 CET 2020 -->
|
|
| 5 |
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 11:20:05 CET 2020 -->
|
|
| 6 | 6 |
<title>Uses of Class arcElement.ArcCleaner</title> |
| 7 | 7 |
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"> |
| 8 | 8 |
<meta name="dc.created" content="2020-11-13"> |
| 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 Fri Nov 13 10:59:17 CET 2020 -->
|
|
| 5 |
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 11:20:05 CET 2020 -->
|
|
| 6 | 6 |
<title>Uses of Class arcElement.ArcEntering</title> |
| 7 | 7 |
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"> |
| 8 | 8 |
<meta name="dc.created" content="2020-11-13"> |
| 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 Fri Nov 13 10:59:17 CET 2020 -->
|
|
| 5 |
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 11:20:05 CET 2020 -->
|
|
| 6 | 6 |
<title>Uses of Class arcElement.ArcOutering</title> |
| 7 | 7 |
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"> |
| 8 | 8 |
<meta name="dc.created" content="2020-11-13"> |
| petri/doc/arcElement/ArcCleaner.html | ||
|---|---|---|
| 2 | 2 |
<!-- NewPage --> |
| 3 | 3 |
<html lang="fr"> |
| 4 | 4 |
<head> |
| 5 |
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 10:59:17 CET 2020 -->
|
|
| 5 |
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 11:20:05 CET 2020 -->
|
|
| 6 | 6 |
<title>ArcCleaner</title> |
| 7 | 7 |
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"> |
| 8 | 8 |
<meta name="dc.created" content="2020-11-13"> |
| ... | ... | |
| 154 | 154 |
<hr> |
| 155 | 155 |
<pre>public class <span class="typeNameLabel">ArcCleaner</span> |
| 156 | 156 |
extends <a href="Arc.html" title="class in arcElement">Arc</a></pre> |
| 157 |
<div class="block">class for the ArcCleaner</div> |
|
| 157 | 158 |
</li> |
| 158 | 159 |
</ul> |
| 159 | 160 |
</div> |
| petri/doc/arcElement/ArcEntering.html | ||
|---|---|---|
| 2 | 2 |
<!-- NewPage --> |
| 3 | 3 |
<html lang="fr"> |
| 4 | 4 |
<head> |
| 5 |
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 10:59:17 CET 2020 -->
|
|
| 5 |
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 11:20:05 CET 2020 -->
|
|
| 6 | 6 |
<title>ArcEntering</title> |
| 7 | 7 |
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"> |
| 8 | 8 |
<meta name="dc.created" content="2020-11-13"> |
| petri/doc/arcElement/ArcOutering.html | ||
|---|---|---|
| 2 | 2 |
<!-- NewPage --> |
| 3 | 3 |
<html lang="fr"> |
| 4 | 4 |
<head> |
| 5 |
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 10:59:17 CET 2020 -->
|
|
| 5 |
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 11:20:05 CET 2020 -->
|
|
| 6 | 6 |
<title>ArcOutering</title> |
| 7 | 7 |
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"> |
| 8 | 8 |
<meta name="dc.created" content="2020-11-13"> |
| ... | ... | |
| 274 | 274 |
int value)</pre> |
| 275 | 275 |
<dl> |
| 276 | 276 |
<dt><span class="paramLabel">Parameters:</span></dt> |
| 277 |
<dd><code>the</code> - place link to ArcOutering and the value of this Arc
|
|
| 277 |
<dd><code>Place</code> - link to ArcOutering and the value of this Arc
|
|
| 278 | 278 |
Constructor for ArcOutering</dd> |
| 279 | 279 |
</dl> |
| 280 | 280 |
</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 Fri Nov 13 10:59:17 CET 2020 -->
|
|
| 5 |
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 11:20:05 CET 2020 -->
|
|
| 6 | 6 |
<title>Arc</title> |
| 7 | 7 |
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"> |
| 8 | 8 |
<meta name="dc.created" content="2020-11-13"> |
| ... | ... | |
| 154 | 154 |
<pre>public abstract class <span class="typeNameLabel">Arc</span> |
| 155 | 155 |
extends junit.framework.TestCase |
| 156 | 156 |
implements <a href="ArcInterface.html" title="interface in arcElement">ArcInterface</a></pre> |
| 157 |
<div class="block">Abstract class for the arc</div> |
|
| 157 | 158 |
</li> |
| 158 | 159 |
</ul> |
| 159 | 160 |
</div> |
| petri/doc/arcElement/ArcZero.html | ||
|---|---|---|
| 2 | 2 |
<!-- NewPage --> |
| 3 | 3 |
<html lang="fr"> |
| 4 | 4 |
<head> |
| 5 |
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 10:59:17 CET 2020 -->
|
|
| 5 |
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 11:20:05 CET 2020 -->
|
|
| 6 | 6 |
<title>ArcZero</title> |
| 7 | 7 |
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"> |
| 8 | 8 |
<meta name="dc.created" content="2020-11-13"> |
| 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 Fri Nov 13 10:59:17 CET 2020 -->
|
|
| 5 |
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 11:20:05 CET 2020 -->
|
|
| 6 | 6 |
<title>Uses of Package arcElement</title> |
| 7 | 7 |
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"> |
| 8 | 8 |
<meta name="dc.created" content="2020-11-13"> |
| ... | ... | |
| 134 | 134 |
<tbody> |
| 135 | 135 |
<tr class="altColor"> |
| 136 | 136 |
<th class="colFirst" scope="row"><a href="class-use/Arc.html#arcElement">Arc</a></th> |
| 137 |
<td class="colLast"> </td> |
|
| 137 |
<td class="colLast"> |
|
| 138 |
<div class="block">Abstract class for the arc</div> |
|
| 139 |
</td> |
|
| 138 | 140 |
</tr> |
| 139 | 141 |
<tr class="rowColor"> |
| 140 | 142 |
<th class="colFirst" scope="row"><a href="class-use/ArcInterface.html#arcElement">ArcInterface</a></th> |
| ... | ... | |
| 161 | 163 |
<tbody> |
| 162 | 164 |
<tr class="altColor"> |
| 163 | 165 |
<th class="colFirst" scope="row"><a href="class-use/Arc.html#element">Arc</a></th> |
| 164 |
<td class="colLast"> </td> |
|
| 166 |
<td class="colLast"> |
|
| 167 |
<div class="block">Abstract class for the arc</div> |
|
| 168 |
</td> |
|
| 165 | 169 |
</tr> |
| 166 | 170 |
</tbody> |
| 167 | 171 |
</table> |
| ... | ... | |
| 178 | 182 |
<tbody> |
| 179 | 183 |
<tr class="altColor"> |
| 180 | 184 |
<th class="colFirst" scope="row"><a href="class-use/Arc.html#main">Arc</a></th> |
| 181 |
<td class="colLast"> </td> |
|
| 185 |
<td class="colLast"> |
|
| 186 |
<div class="block">Abstract class for the arc</div> |
|
| 187 |
</td> |
|
| 182 | 188 |
</tr> |
| 183 | 189 |
</tbody> |
| 184 | 190 |
</table> |
| petri/doc/arcElement/ArcInterface.html | ||
|---|---|---|
| 2 | 2 |
<!-- NewPage --> |
| 3 | 3 |
<html lang="fr"> |
| 4 | 4 |
<head> |
| 5 |
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 10:59:17 CET 2020 -->
|
|
| 5 |
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 11:20:05 CET 2020 -->
|
|
| 6 | 6 |
<title>ArcInterface</title> |
| 7 | 7 |
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"> |
| 8 | 8 |
<meta name="dc.created" content="2020-11-13"> |
| 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 Fri Nov 13 10:59:17 CET 2020 -->
|
|
| 5 |
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 11:20:05 CET 2020 -->
|
|
| 6 | 6 |
<title>arcElement</title> |
| 7 | 7 |
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"> |
| 8 | 8 |
<meta name="dc.created" content="2020-11-13"> |
| ... | ... | |
| 126 | 126 |
<tbody> |
| 127 | 127 |
<tr class="altColor"> |
| 128 | 128 |
<th class="colFirst" scope="row"><a href="Arc.html" title="class in arcElement">Arc</a></th> |
| 129 |
<td class="colLast"> </td> |
|
| 129 |
<td class="colLast"> |
|
| 130 |
<div class="block">Abstract class for the arc</div> |
|
| 131 |
</td> |
|
| 130 | 132 |
</tr> |
| 131 | 133 |
<tr class="rowColor"> |
| 132 | 134 |
<th class="colFirst" scope="row"><a href="ArcCleaner.html" title="class in arcElement">ArcCleaner</a></th> |
| 133 |
<td class="colLast"> </td> |
|
| 135 |
<td class="colLast"> |
|
| 136 |
<div class="block">class for the ArcCleaner</div> |
|
| 137 |
</td> |
|
| 134 | 138 |
</tr> |
| 135 | 139 |
<tr class="altColor"> |
| 136 | 140 |
<th class="colFirst" scope="row"><a href="ArcEntering.html" title="class in arcElement">ArcEntering</a></th> |
| 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 Fri Nov 13 10:59:17 CET 2020 -->
|
|
| 5 |
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 11:20:05 CET 2020 -->
|
|
| 6 | 6 |
<title>arcElement Class Hierarchy</title> |
| 7 | 7 |
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"> |
| 8 | 8 |
<meta name="dc.created" content="2020-11-13"> |
| 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 Fri Nov 13 10:59:17 CET 2020 -->
|
|
| 5 |
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 11:20:05 CET 2020 -->
|
|
| 6 | 6 |
<title>Uses of Package main</title> |
| 7 | 7 |
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"> |
| 8 | 8 |
<meta name="dc.created" content="2020-11-13"> |
| 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 Fri Nov 13 10:59:17 CET 2020 -->
|
|
| 5 |
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 11:20:05 CET 2020 -->
|
|
| 6 | 6 |
<title>main</title> |
| 7 | 7 |
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"> |
| 8 | 8 |
<meta name="dc.created" content="2020-11-13"> |
| 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 Fri Nov 13 10:59:17 CET 2020 -->
|
|
| 5 |
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 11:20:05 CET 2020 -->
|
|
| 6 | 6 |
<title>main Class Hierarchy</title> |
| 7 | 7 |
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"> |
| 8 | 8 |
<meta name="dc.created" content="2020-11-13"> |
| petri/doc/main/Network.html | ||
|---|---|---|
| 2 | 2 |
<!-- NewPage --> |
| 3 | 3 |
<html lang="fr"> |
| 4 | 4 |
<head> |
| 5 |
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 10:59:17 CET 2020 -->
|
|
| 5 |
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 11:20:05 CET 2020 -->
|
|
| 6 | 6 |
<title>Network</title> |
| 7 | 7 |
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"> |
| 8 | 8 |
<meta name="dc.created" content="2020-11-13"> |
| ... | ... | |
| 243 | 243 |
<a href="../element/Place.html" title="class in element">Place</a> place, |
| 244 | 244 |
int value, |
| 245 | 245 |
int identifier)</code></th> |
| 246 |
<td class="colLast"> </td> |
|
| 246 |
<td class="colLast"> |
|
| 247 |
<div class="block">create a new arc</div> |
|
| 248 |
</td> |
|
| 247 | 249 |
</tr> |
| 248 | 250 |
<tr id="i1" class="rowColor"> |
| 249 | 251 |
<td class="colFirst"><code>void</code></td> |
| 250 | 252 |
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#addPlace(int)">addPlace</a></span>​(int value)</code></th> |
| 251 |
<td class="colLast"> </td> |
|
| 253 |
<td class="colLast"> |
|
| 254 |
<div class="block">create a new place</div> |
|
| 255 |
</td> |
|
| 252 | 256 |
</tr> |
| 253 | 257 |
<tr id="i2" class="altColor"> |
| 254 | 258 |
<td class="colFirst"><code>void</code></td> |
| 255 | 259 |
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#addTransition()">addTransition</a></span>()</code></th> |
| 256 |
<td class="colLast"> </td> |
|
| 260 |
<td class="colLast"> |
|
| 261 |
<div class="block">create a new transition</div> |
|
| 262 |
</td> |
|
| 257 | 263 |
</tr> |
| 258 | 264 |
<tr id="i3" class="rowColor"> |
| 259 | 265 |
<td class="colFirst"><code>void</code></td> |
| 260 | 266 |
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#deleteArc(arcElement.Arc)">deleteArc</a></span>​(<a href="../arcElement/Arc.html" title="class in arcElement">Arc</a> a)</code></th> |
| 261 |
<td class="colLast"> </td> |
|
| 267 |
<td class="colLast"> |
|
| 268 |
<div class="block">delete an arc</div> |
|
| 269 |
</td> |
|
| 262 | 270 |
</tr> |
| 263 | 271 |
<tr id="i4" class="altColor"> |
| 264 | 272 |
<td class="colFirst"><code>void</code></td> |
| 265 | 273 |
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#deletePlace(element.Place)">deletePlace</a></span>​(<a href="../element/Place.html" title="class in element">Place</a> place)</code></th> |
| 266 |
<td class="colLast"> </td> |
|
| 274 |
<td class="colLast"> |
|
| 275 |
<div class="block">delete a place an the arcs link to it</div> |
|
| 276 |
</td> |
|
| 267 | 277 |
</tr> |
| 268 | 278 |
<tr id="i5" class="rowColor"> |
| 269 | 279 |
<td class="colFirst"><code>void</code></td> |
| 270 | 280 |
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#deleteTransition(element.Transition)">deleteTransition</a></span>​(<a href="../element/Transition.html" title="class in element">Transition</a> transition)</code></th> |
| 271 |
<td class="colLast"> </td> |
|
| 281 |
<td class="colLast"> |
|
| 282 |
<div class="block">delete a transition</div> |
|
| 283 |
</td> |
|
| 272 | 284 |
</tr> |
| 273 | 285 |
<tr id="i6" class="altColor"> |
| 274 | 286 |
<td class="colFirst"><code>void</code></td> |
| 275 | 287 |
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#fire(element.Transition)">fire</a></span>​(<a href="../element/Transition.html" title="class in element">Transition</a> transition)</code></th> |
| 276 |
<td class="colLast"> </td> |
|
| 288 |
<td class="colLast"> |
|
| 289 |
<div class="block">fire the transition selected</div> |
|
| 290 |
</td> |
|
| 277 | 291 |
</tr> |
| 278 | 292 |
<tr id="i7" class="rowColor"> |
| 279 | 293 |
<td class="colFirst"><code>java.util.List<<a href="../element/Transition.html" title="class in element">Transition</a>></code></td> |
| ... | ... | |
| 293 | 307 |
<tr id="i10" class="altColor"> |
| 294 | 308 |
<td class="colFirst"><code>java.lang.String</code></td> |
| 295 | 309 |
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#toString()">toString</a></span>()</code></th> |
| 296 |
<td class="colLast"> </td> |
|
| 310 |
<td class="colLast"> |
|
| 311 |
<div class="block">string representation of a network</div> |
|
| 312 |
</td> |
|
| 297 | 313 |
</tr> |
| 298 | 314 |
</table> |
| 299 | 315 |
<ul class="blockList"> |
| ... | ... | |
| 391 | 407 |
<li class="blockList"> |
| 392 | 408 |
<h4>addTransition</h4> |
| 393 | 409 |
<pre class="methodSignature">public void addTransition()</pre> |
| 410 |
<div class="block">create a new transition</div> |
|
| 394 | 411 |
</li> |
| 395 | 412 |
</ul> |
| 396 | 413 |
<a id="addPlace(int)"> |
| ... | ... | |
| 401 | 418 |
<h4>addPlace</h4> |
| 402 | 419 |
<pre class="methodSignature">public void addPlace​(int value) |
| 403 | 420 |
throws <a href="../element/Place.UndefinedToken.html" title="class in element">Place.UndefinedToken</a></pre> |
| 421 |
<div class="block">create a new place</div> |
|
| 404 | 422 |
<dl> |
| 405 | 423 |
<dt><span class="throwsLabel">Throws:</span></dt> |
| 406 | 424 |
<dd><code><a href="../element/Place.UndefinedToken.html" title="class in element">Place.UndefinedToken</a></code></dd> |
| ... | ... | |
| 418 | 436 |
int value, |
| 419 | 437 |
int identifier) |
| 420 | 438 |
throws <a href="Network.UndefinedIdentifier.html" title="class in main">Network.UndefinedIdentifier</a></pre> |
| 439 |
<div class="block">create a new arc</div> |
|
| 421 | 440 |
<dl> |
| 441 |
<dt><span class="paramLabel">Parameters:</span></dt> |
|
| 442 |
<dd><code>transtion</code> - the transition link to this arc</dd> |
|
| 443 |
<dd><code>place</code> - the place link to this arc</dd> |
|
| 444 |
<dd><code>the</code> - value of this arc</dd> |
|
| 445 |
<dd><code>identifier</code> - the integer that correspond to the type of arc (define as static)</dd> |
|
| 422 | 446 |
<dt><span class="throwsLabel">Throws:</span></dt> |
| 423 | 447 |
<dd><code><a href="Network.UndefinedIdentifier.html" title="class in main">Network.UndefinedIdentifier</a></code></dd> |
| 424 | 448 |
</dl> |
| ... | ... | |
| 431 | 455 |
<li class="blockList"> |
| 432 | 456 |
<h4>deleteArc</h4> |
| 433 | 457 |
<pre class="methodSignature">public void deleteArc​(<a href="../arcElement/Arc.html" title="class in arcElement">Arc</a> a)</pre> |
| 458 |
<div class="block">delete an arc</div> |
|
| 434 | 459 |
</li> |
| 435 | 460 |
</ul> |
| 436 | 461 |
<a id="deletePlace(element.Place)"> |
| ... | ... | |
| 440 | 465 |
<li class="blockList"> |
| 441 | 466 |
<h4>deletePlace</h4> |
| 442 | 467 |
<pre class="methodSignature">public void deletePlace​(<a href="../element/Place.html" title="class in element">Place</a> place)</pre> |
| 468 |
<div class="block">delete a place an the arcs link to it</div> |
|
| 443 | 469 |
</li> |
| 444 | 470 |
</ul> |
| 445 | 471 |
<a id="deleteTransition(element.Transition)"> |
| ... | ... | |
| 449 | 475 |
<li class="blockList"> |
| 450 | 476 |
<h4>deleteTransition</h4> |
| 451 | 477 |
<pre class="methodSignature">public void deleteTransition​(<a href="../element/Transition.html" title="class in element">Transition</a> transition)</pre> |
| 478 |
<div class="block">delete a transition</div> |
|
| 452 | 479 |
</li> |
| 453 | 480 |
</ul> |
| 454 | 481 |
<a id="fire(element.Transition)"> |
| ... | ... | |
| 458 | 485 |
<li class="blockList"> |
| 459 | 486 |
<h4>fire</h4> |
| 460 | 487 |
<pre class="methodSignature">public void fire​(<a href="../element/Transition.html" title="class in element">Transition</a> transition)</pre> |
| 488 |
<div class="block">fire the transition selected</div> |
|
| 461 | 489 |
</li> |
| 462 | 490 |
</ul> |
| 463 | 491 |
<a id="toString()"> |
| ... | ... | |
| 467 | 495 |
<li class="blockList"> |
| 468 | 496 |
<h4>toString</h4> |
| 469 | 497 |
<pre class="methodSignature">public java.lang.String toString()</pre> |
| 498 |
<div class="block">string representation of a network</div> |
|
| 470 | 499 |
<dl> |
| 471 | 500 |
<dt><span class="overrideSpecifyLabel">Overrides:</span></dt> |
| 472 | 501 |
<dd><code>toString</code> in class <code>java.lang.Object</code></dd> |
| 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 Fri Nov 13 10:59:17 CET 2020 -->
|
|
| 5 |
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 11:20:05 CET 2020 -->
|
|
| 6 | 6 |
<title>Network.UndefinedIdentifier</title> |
| 7 | 7 |
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"> |
| 8 | 8 |
<meta name="dc.created" content="2020-11-13"> |
| 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 Fri Nov 13 10:59:17 CET 2020 -->
|
|
| 5 |
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 11:20:05 CET 2020 -->
|
|
| 6 | 6 |
<title>Uses of Class main.Network</title> |
| 7 | 7 |
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"> |
| 8 | 8 |
<meta name="dc.created" content="2020-11-13"> |
| 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 Fri Nov 13 10:59:17 CET 2020 -->
|
|
| 5 |
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 11:20:05 CET 2020 -->
|
|
| 6 | 6 |
<title>Uses of Class main.Network.UndefinedIdentifier</title> |
| 7 | 7 |
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"> |
| 8 | 8 |
<meta name="dc.created" content="2020-11-13"> |
| ... | ... | |
| 135 | 135 |
<a href="../../element/Place.html" title="class in element">Place</a> place, |
| 136 | 136 |
int value, |
| 137 | 137 |
int identifier)</code></th> |
| 138 |
<td class="colLast"> </td> |
|
| 138 |
<td class="colLast"> |
|
| 139 |
<div class="block">create a new arc</div> |
|
| 140 |
</td> |
|
| 139 | 141 |
</tr> |
| 140 | 142 |
<tr class="rowColor"> |
| 141 | 143 |
<td class="colFirst"><code>static void</code></td> |
| 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 Fri Nov 13 10:59:17 CET 2020 -->
|
|
| 5 |
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 11:20:05 CET 2020 -->
|
|
| 6 | 6 |
<title>element</title> |
| 7 | 7 |
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"> |
| 8 | 8 |
<meta name="dc.created" content="2020-11-13"> |
| 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 Fri Nov 13 10:59:17 CET 2020 -->
|
|
| 5 |
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 11:20:05 CET 2020 -->
|
|
| 6 | 6 |
<title>element Class Hierarchy</title> |
| 7 | 7 |
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"> |
| 8 | 8 |
<meta name="dc.created" content="2020-11-13"> |
| petri/doc/element/Transition.html | ||
|---|---|---|
| 2 | 2 |
<!-- NewPage --> |
| 3 | 3 |
<html lang="fr"> |
| 4 | 4 |
<head> |
| 5 |
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 10:59:17 CET 2020 -->
|
|
| 5 |
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 11:20:05 CET 2020 -->
|
|
| 6 | 6 |
<title>Transition</title> |
| 7 | 7 |
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"> |
| 8 | 8 |
<meta name="dc.created" content="2020-11-13"> |
| ... | ... | |
| 179 | 179 |
<tr id="i0" class="altColor"> |
| 180 | 180 |
<td class="colFirst"><code>void</code></td> |
| 181 | 181 |
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#doTransition()">doTransition</a></span>()</code></th> |
| 182 |
<td class="colLast"> </td> |
|
| 182 |
<td class="colLast"> |
|
| 183 |
<div class="block">do the transition |
|
| 184 |
(all its arcs do the transition</div> |
|
| 185 |
</td> |
|
| 183 | 186 |
</tr> |
| 184 | 187 |
<tr id="i1" class="rowColor"> |
| 185 | 188 |
<td class="colFirst"><code>java.util.List<<a href="../arcElement/Arc.html" title="class in arcElement">Arc</a>></code></td> |
| ... | ... | |
| 189 | 192 |
<tr id="i2" class="altColor"> |
| 190 | 193 |
<td class="colFirst"><code>boolean</code></td> |
| 191 | 194 |
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#isPullable()">isPullable</a></span>()</code></th> |
| 192 |
<td class="colLast"> </td> |
|
| 195 |
<td class="colLast"> |
|
| 196 |
<div class="block">check if the transition is pullable</div> |
|
| 197 |
</td> |
|
| 193 | 198 |
</tr> |
| 194 | 199 |
<tr id="i3" class="rowColor"> |
| 195 | 200 |
<td class="colFirst"><code>java.lang.String</code></td> |
| ... | ... | |
| 249 | 254 |
<dl> |
| 250 | 255 |
<dt><span class="overrideSpecifyLabel">Overrides:</span></dt> |
| 251 | 256 |
<dd><code>toString</code> in class <code>java.lang.Object</code></dd> |
| 257 |
<dt><span class="returnLabel">Returns:</span></dt> |
|
| 258 |
<dd>a string representation of a transition</dd> |
|
| 252 | 259 |
</dl> |
| 253 | 260 |
</li> |
| 254 | 261 |
</ul> |
| ... | ... | |
| 259 | 266 |
<li class="blockList"> |
| 260 | 267 |
<h4>isPullable</h4> |
| 261 | 268 |
<pre class="methodSignature">public boolean isPullable()</pre> |
| 269 |
<div class="block">check if the transition is pullable</div> |
|
| 270 |
<dl> |
|
| 271 |
<dt><span class="returnLabel">Returns:</span></dt> |
|
| 272 |
<dd>true if all its arcs are pullable</dd> |
|
| 273 |
</dl> |
|
| 262 | 274 |
</li> |
| 263 | 275 |
</ul> |
| 264 | 276 |
<a id="doTransition()"> |
| ... | ... | |
| 268 | 280 |
<li class="blockList"> |
| 269 | 281 |
<h4>doTransition</h4> |
| 270 | 282 |
<pre class="methodSignature">public void doTransition()</pre> |
| 283 |
<div class="block">do the transition |
|
| 284 |
(all its arcs do the transition</div> |
|
| 271 | 285 |
</li> |
| 272 | 286 |
</ul> |
| 273 | 287 |
<a id="getArcList()"> |
| 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 Fri Nov 13 10:59:17 CET 2020 -->
|
|
| 5 |
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 11:20:05 CET 2020 -->
|
|
| 6 | 6 |
<title>Uses of Class element.Transition</title> |
| 7 | 7 |
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"> |
| 8 | 8 |
<meta name="dc.created" content="2020-11-13"> |
| ... | ... | |
| 150 | 150 |
<a href="../Place.html" title="class in element">Place</a> place, |
| 151 | 151 |
int value, |
| 152 | 152 |
int identifier)</code></th> |
| 153 |
<td class="colLast"> </td> |
|
| 153 |
<td class="colLast"> |
|
| 154 |
<div class="block">create a new arc</div> |
|
| 155 |
</td> |
|
| 154 | 156 |
</tr> |
| 155 | 157 |
<tr class="rowColor"> |
| 156 | 158 |
<td class="colFirst"><code>void</code></td> |
| 157 | 159 |
<th class="colSecond" scope="row"><span class="typeNameLabel">Network.</span><code><span class="memberNameLink"><a href="../../main/Network.html#deleteTransition(element.Transition)">deleteTransition</a></span>​(<a href="../Transition.html" title="class in element">Transition</a> transition)</code></th> |
| 158 |
<td class="colLast"> </td> |
|
| 160 |
<td class="colLast"> |
|
| 161 |
<div class="block">delete a transition</div> |
|
| 162 |
</td> |
|
| 159 | 163 |
</tr> |
| 160 | 164 |
<tr class="altColor"> |
| 161 | 165 |
<td class="colFirst"><code>void</code></td> |
| 162 | 166 |
<th class="colSecond" scope="row"><span class="typeNameLabel">Network.</span><code><span class="memberNameLink"><a href="../../main/Network.html#fire(element.Transition)">fire</a></span>​(<a href="../Transition.html" title="class in element">Transition</a> transition)</code></th> |
| 163 |
<td class="colLast"> </td> |
|
| 167 |
<td class="colLast"> |
|
| 168 |
<div class="block">fire the transition selected</div> |
|
| 169 |
</td> |
|
| 164 | 170 |
</tr> |
| 165 | 171 |
</tbody> |
| 166 | 172 |
</table> |
| 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 Fri Nov 13 10:59:17 CET 2020 -->
|
|
| 5 |
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 11:20:05 CET 2020 -->
|
|
| 6 | 6 |
<title>Uses of Class element.Place</title> |
| 7 | 7 |
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"> |
| 8 | 8 |
<meta name="dc.created" content="2020-11-13"> |
| ... | ... | |
| 208 | 208 |
<a href="../Place.html" title="class in element">Place</a> place, |
| 209 | 209 |
int value, |
| 210 | 210 |
int identifier)</code></th> |
| 211 |
<td class="colLast"> </td> |
|
| 211 |
<td class="colLast"> |
|
| 212 |
<div class="block">create a new arc</div> |
|
| 213 |
</td> |
|
| 212 | 214 |
</tr> |
| 213 | 215 |
<tr class="rowColor"> |
| 214 | 216 |
<td class="colFirst"><code>void</code></td> |
| 215 | 217 |
<th class="colSecond" scope="row"><span class="typeNameLabel">Network.</span><code><span class="memberNameLink"><a href="../../main/Network.html#deletePlace(element.Place)">deletePlace</a></span>​(<a href="../Place.html" title="class in element">Place</a> place)</code></th> |
| 216 |
<td class="colLast"> </td> |
|
| 218 |
<td class="colLast"> |
|
| 219 |
<div class="block">delete a place an the arcs link to it</div> |
|
| 220 |
</td> |
|
| 217 | 221 |
</tr> |
| 218 | 222 |
</tbody> |
| 219 | 223 |
</table> |
| 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 Fri Nov 13 10:59:17 CET 2020 -->
|
|
| 5 |
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 11:20:05 CET 2020 -->
|
|
| 6 | 6 |
<title>Uses of Class element.Place.UndefinedToken</title> |
| 7 | 7 |
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"> |
| 8 | 8 |
<meta name="dc.created" content="2020-11-13"> |
| ... | ... | |
| 156 | 156 |
<tr class="altColor"> |
| 157 | 157 |
<td class="colFirst"><code>void</code></td> |
| 158 | 158 |
<th class="colSecond" scope="row"><span class="typeNameLabel">Network.</span><code><span class="memberNameLink"><a href="../../main/Network.html#addPlace(int)">addPlace</a></span>​(int value)</code></th> |
| 159 |
<td class="colLast"> </td> |
|
| 159 |
<td class="colLast"> |
|
| 160 |
<div class="block">create a new place</div> |
|
| 161 |
</td> |
|
| 160 | 162 |
</tr> |
| 161 | 163 |
<tr class="rowColor"> |
| 162 | 164 |
<td class="colFirst"><code>static void</code></td> |
| petri/doc/element/Place.html | ||
|---|---|---|
| 2 | 2 |
<!-- NewPage --> |
| 3 | 3 |
<html lang="fr"> |
| 4 | 4 |
<head> |
| 5 |
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 10:59:17 CET 2020 -->
|
|
| 5 |
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 11:20:05 CET 2020 -->
|
|
| 6 | 6 |
<title>Place</title> |
| 7 | 7 |
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"> |
| 8 | 8 |
<meta name="dc.created" content="2020-11-13"> |
| ... | ... | |
| 158 | 158 |
<tr class="altColor"> |
| 159 | 159 |
<td class="colFirst"><code>class </code></td> |
| 160 | 160 |
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="Place.UndefinedToken.html" title="class in element">Place.UndefinedToken</a></span></code></th> |
| 161 |
<td class="colLast"> </td> |
|
| 161 |
<td class="colLast"> |
|
| 162 |
<div class="block">exception to handle negative value for token</div> |
|
| 163 |
</td> |
|
| 162 | 164 |
</tr> |
| 163 | 165 |
</table> |
| 164 | 166 |
</li> |
| ... | ... | |
| 217 | 219 |
<tr id="i3" class="rowColor"> |
| 218 | 220 |
<td class="colFirst"><code>boolean</code></td> |
| 219 | 221 |
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#isEmpty()">isEmpty</a></span>()</code></th> |
| 220 |
<td class="colLast"> </td> |
|
| 222 |
<td class="colLast"> |
|
| 223 |
<div class="block">check if the place is not empty</div> |
|
| 224 |
</td> |
|
| 221 | 225 |
</tr> |
| 222 | 226 |
<tr id="i4" class="altColor"> |
| 223 | 227 |
<td class="colFirst"><code>java.lang.String</code></td> |
| ... | ... | |
| 291 | 295 |
<dl> |
| 292 | 296 |
<dt><span class="overrideSpecifyLabel">Overrides:</span></dt> |
| 293 | 297 |
<dd><code>toString</code> in class <code>java.lang.Object</code></dd> |
| 298 |
<dt><span class="returnLabel">Returns:</span></dt> |
|
| 299 |
<dd>a string representation of the place</dd> |
|
| 294 | 300 |
</dl> |
| 295 | 301 |
</li> |
| 296 | 302 |
</ul> |
| ... | ... | |
| 301 | 307 |
<li class="blockList"> |
| 302 | 308 |
<h4>isEmpty</h4> |
| 303 | 309 |
<pre class="methodSignature">public boolean isEmpty()</pre> |
| 310 |
<div class="block">check if the place is not empty</div> |
|
| 304 | 311 |
</li> |
| 305 | 312 |
</ul> |
| 306 | 313 |
<a id="changeToken(int)"> |
| ... | ... | |
| 310 | 317 |
<li class="blockList"> |
| 311 | 318 |
<h4>changeToken</h4> |
| 312 | 319 |
<pre class="methodSignature">public void changeToken​(int i)</pre> |
| 320 |
<dl> |
|
| 321 |
<dt><span class="paramLabel">Parameters:</span></dt> |
|
| 322 |
<dd><code>int</code> - value that the place has to add to its token value</dd> |
|
| 323 |
</dl> |
|
| 313 | 324 |
</li> |
| 314 | 325 |
</ul> |
| 315 | 326 |
<a id="equals(java.lang.Object)"> |
| ... | ... | |
| 322 | 333 |
<dl> |
| 323 | 334 |
<dt><span class="overrideSpecifyLabel">Overrides:</span></dt> |
| 324 | 335 |
<dd><code>equals</code> in class <code>java.lang.Object</code></dd> |
| 336 |
<dt><span class="paramLabel">Parameters:</span></dt> |
|
| 337 |
<dd><code>Object</code> - to compare to the place |
|
| 338 |
the goal of this method is to check if two places are the same object (same identityHashCode)</dd> |
|
| 325 | 339 |
</dl> |
| 326 | 340 |
</li> |
| 327 | 341 |
</ul> |
| 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 Fri Nov 13 10:59:17 CET 2020 -->
|
|
| 5 |
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 11:20:05 CET 2020 -->
|
|
| 6 | 6 |
<title>Place.UndefinedToken</title> |
| 7 | 7 |
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"> |
| 8 | 8 |
<meta name="dc.created" content="2020-11-13"> |
| ... | ... | |
| 147 | 147 |
<hr> |
| 148 | 148 |
<pre>public class <span class="typeNameLabel">Place.UndefinedToken</span> |
| 149 | 149 |
extends java.lang.Exception</pre> |
| 150 |
<div class="block">exception to handle negative value for token</div> |
|
| 150 | 151 |
<dl> |
| 151 | 152 |
<dt><span class="seeLabel">See Also:</span></dt> |
| 152 | 153 |
<dd><a href="../serialized-form.html#element.Place.UndefinedToken">Serialized Form</a></dd> |
| 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 Fri Nov 13 10:59:17 CET 2020 -->
|
|
| 5 |
<!-- Generated by javadoc (11.0.8) on Fri Nov 13 11:20:05 CET 2020 -->
|
|
| 6 | 6 |
<title>Uses of Package element</title> |
| 7 | 7 |
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"> |
| 8 | 8 |
<meta name="dc.created" content="2020-11-13"> |
| ... | ... | |
| 151 | 151 |
<tbody> |
| 152 | 152 |
<tr class="altColor"> |
| 153 | 153 |
<th class="colFirst" scope="row"><a href="class-use/Place.UndefinedToken.html#element">Place.UndefinedToken</a></th> |
| 154 |
<td class="colLast"> </td> |
|
| 154 |
<td class="colLast"> |
|
| 155 |
<div class="block">exception to handle negative value for token</div> |
|
| 156 |
</td> |
|
| 155 | 157 |
</tr> |
| 156 | 158 |
</tbody> |
| 157 | 159 |
</table> |
| ... | ... | |
| 172 | 174 |
</tr> |
| 173 | 175 |
<tr class="rowColor"> |
| 174 | 176 |
<th class="colFirst" scope="row"><a href="class-use/Place.UndefinedToken.html#main">Place.UndefinedToken</a></th> |
| 175 |
<td class="colLast"> </td> |
|
| 177 |
<td class="colLast"> |
|
Formats disponibles : Unified diff