-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathTp_THP.java
76 lines (69 loc) · 1.5 KB
/
Tp_THP.java
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
import java.util.ArrayList;
public class Transition {
private String src;
private String dest;
private String trans;
private boolean boucle;
public Transition(String src, String dest, String trans, boolean boucle)
{
this.dest=dest;
this.src=src;
this.trans=trans;
this.boucle=boucle;
}
/**
* @return the dest
*/
public String getDest() {
return dest;
}
/**
* @return the src
*/
public String getSrc() {
return src;
}
/**
* @return the trans
*/
public String getTrans() {
return trans;
}
/**
* @param dest the dest to set
*/
public void setDest(String dest) {
this.dest = dest;
}
/**
* @param src the src to set
*/
public void setSrc(String src) {
this.src = src;
}
/**
* @param trans the trans to set
*/
public void setTrans(String trans) {
this.trans = trans;
}
/**
* @param boucle the boucle to set
*/
public void setBoucle(boolean boucle) {
this.boucle = boucle;
}
/**
* @return the boucle
*/
public boolean getBoucle() {
return boucle;
}
}
public enum EEtat{ initial,final};
public class Sommet {
private String id;
private EEtat etat;
private ArrayList<Transition> trans_entrantes;
private ArrayList<Transition> trans_sortantes;
}