A B C D E F G H I J L M N O P R S T U V W X Y
All Classes All Packages

N

name - Variable in class com.tech.app.models.gma.Node

name - Variable in class com.tech.app.models.Place

name - Variable in class com.tech.app.models.Transition

nb_marquages - Variable in class com.tech.app.models.gma.CoverabilityGraph

nb_marquages - Variable in class com.tech.app.models.gma.ReachabilityGraph

nbArc - Variable in class com.tech.app.models.Model

nbPlace - Variable in class com.tech.app.models.Model

nbTransition - Variable in class com.tech.app.models.Model

node - Variable in class com.tech.app.models.gma.NodeStruct

Node - Class in com.tech.app.models.gma

Cette classe nous permet de créer une structure d'arbre que l'on utilise dans la création du GMA / Graphe de couverture.

Node(Marquage) - Constructor for class com.tech.app.models.gma.Node

Constructeur

Node(Marquage, String) - Constructor for class com.tech.app.models.gma.Node

Constructeur

Node(Marquage, List<NodeStruct>, List<NodeStruct>) - Constructor for class com.tech.app.models.gma.Node

Constructeur pour la racine de l'arbre.

Node(Marquage, List<NodeStruct>, List<NodeStruct>, String) - Constructor for class com.tech.app.models.gma.Node

Constructeur pour un noeud quelconque.

NodeStruct - Class in com.tech.app.models.gma

Cette classe permet de faire le lien entre un noeud et la transition qui mène à ce noeud.

NodeStruct(Node, Transition) - Constructor for class com.tech.app.models.gma.NodeStruct

Constructeur

NONE - com.tech.app.models.ModelProperties.MODEL_PROPS

NONE - com.tech.app.windows.handlers.DrawMouse.MODE

nouveau - Variable in class com.tech.app.models.gma.Marquage

A B C D E F G H I J L M N O P R S T U V W X Y
All Classes All Packages