public class Transition
extends java.lang.Object
Transition
est une classe representant une transition
entre deux etats d'un automate.Constructor and Description |
---|
Transition(Etat origine,
Etat destination,
char etiquette)
Creer une instance de
Transition . |
Modifier and Type | Method and Description |
---|---|
Etat |
getDestination()
L'etat destination de la transition.
|
char |
getEtiquette()
L'etiquette de la transition.
|
java.lang.String |
toString()
Une representation de la transition au format DOT.
|
public Transition(Etat origine, Etat destination, char etiquette)
Transition
. La
transition est ajoutee a la liste de transitions sortantes
de l'etat origine.origine
- l'instance de Etat
qui est
l'etat origine de la transitiondestination
- l'instance de Etat
qui est
l'etat destination de la transitionetiquette
- un caractere qui est l'etiquette de la
transitionpublic Etat getDestination()
Etat
qui est la
destination de la transitionpublic char getEtiquette()
public java.lang.String toString()
toString
in class java.lang.Object