Class NodeStruct


  • public class NodeStruct
    extends java.lang.Object
    Cette classe permet de faire le lien entre un noeud et la transition qui mène à ce noeud. Cette classe est utilisée dans la création du GMA pour pouvoir afficher la transition qui mène d'un marquage à l'autre.
    • Constructor Detail

      • NodeStruct

        public NodeStruct​(Node node,
                          Transition transition)
        Constructeur
        Parameters:
        node - : noeud
        transition - : transition
    • Method Detail

      • getNode

        public Node getNode()