Uses of Class
com.tech.app.models.gma.Node

Packages that use Node

Package	Description
com.tech.app.models.gma
com.tech.app.windows.panels

Uses of Node in com.tech.app.models.gma

Fields in com.tech.app.models.gma declared as Node

Modifier and Type	Field	Description
Node	NodeStruct.node

Fields in com.tech.app.models.gma with type parameters of type Node

Modifier and Type	Field	Description
java.util.List<Node>	CoverabilityGraph.liste_node
java.util.List<Node>	ReachabilityGraph.liste_node

Methods in com.tech.app.models.gma that return Node

Modifier and Type	Method	Description
Node	NodeStruct.getNode()

Methods in com.tech.app.models.gma that return types with arguments of type Node

Modifier and Type	Method	Description
java.util.List<Node>	CoverabilityGraph.getListe_node()	Méthode qui nous permet de récupérer la liste des noeuds
java.util.List<Node>	ReachabilityGraph.getListe_node()	Méthode qui nous permet de récupérer la liste des noeuds

Constructors in com.tech.app.models.gma with parameters of type Node

Constructor	Description
NodeStruct(Node node, Transition transition)	Constructeur

Uses of Node in com.tech.app.windows.panels

Fields in com.tech.app.windows.panels with type parameters of type Node

Modifier and Type	Field	Description
private java.util.List<Node>	GChandler.liste_nodes
private java.util.List<Node>	GMAhandler.liste_nodes

Constructor parameters in com.tech.app.windows.panels with type arguments of type Node

Constructor	Description
GChandler(javax.swing.JFrame frame, java.util.List<Node> liste_nodes)	Constructeur du GChandler, qui nous permet d'afficher le GMA/Graphe de couverture dans la fenêtre dans laquelle il est appelé
GMAhandler(javax.swing.JFrame frame, java.util.List<Node> liste_nodes)	Constructeur du GMAhandler, qui nous permet d'afficher le GMA dans la fenêtre dans laquelle il est appelé