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
38import java.util.*;
/**
* classe Transition
*
*/
public class Transition<S>
{
private S source;
private S target;
private Letter label;
/**
* Constructeur d'objets de classe Transition
*/
public Transition(S source, Letter a, S target)
{
this.source = source;
this.target = target;
this.label = a;
}
// accesseurs des attributs de la classe
public S getSource()
{ return this.source;}
public S getTarget()
{ return this.target;}
public Letter getLabel()
{return this.label;}
@Override
public String toString() {
return "[" + source + ", " + label + ", " + target + "]";
}
}