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

Packages that use Marquage
Package Description

com.tech.app.models.gma

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

Fields in com.tech.app.models.gma declared as Marquage
Modifier and Type	Field	Description
`Marquage`	Node.`m`
`(package private) Marquage`	CoverabilityGraph.`M0`
`(package private) Marquage`	ReachabilityGraph.`M0`

Fields in com.tech.app.models.gma with type parameters of type Marquage
Modifier and Type	Field	Description
`java.util.List<Marquage>`	CoverabilityGraph.`marquagesAccessibles`
`java.util.List<Marquage>`	ReachabilityGraph.`marquagesAccessibles`
`java.util.List<Marquage>`	CoverabilityGraph.`marquagesATraiter`
`java.util.List<Marquage>`	ReachabilityGraph.`marquagesATraiter`

Methods in com.tech.app.models.gma that return Marquage
Modifier and Type	Method	Description
`private Marquage`	CoverabilityGraph.`addVector(Marquage v, java.util.Vector<java.util.Vector<java.lang.Integer>> u, int t)`	Méthode qui nous permet de faire une addition entre un vecteur et une colonne d'une matrice.
`private Marquage`	ReachabilityGraph.`addVector(Marquage v, java.util.Vector<java.util.Vector<java.lang.Integer>> u, int t)`	Méthode qui nous permet de faire une addition entre un vecteur et une colonne d'une matrice.
`Marquage`	Node.`getM()`	Méthode qui permet de récupérer le marquage du noeud.
`private Marquage`	ReachabilityGraph.`getM0()`	Méthode qui permet de récupérer le marquage initial M0 du modèle.
`private Marquage`	CoverabilityGraph.`subVector(Marquage v, Marquage u)`	Méthode qui nous permet de faire une soustraction entre deux vecteurs.

Methods in com.tech.app.models.gma with parameters of type Marquage
Modifier and Type	Method	Description
`private Marquage`	CoverabilityGraph.`addVector(Marquage v, java.util.Vector<java.util.Vector<java.lang.Integer>> u, int t)`	Méthode qui nous permet de faire une addition entre un vecteur et une colonne d'une matrice.
`private Marquage`	ReachabilityGraph.`addVector(Marquage v, java.util.Vector<java.util.Vector<java.lang.Integer>> u, int t)`	Méthode qui nous permet de faire une addition entre un vecteur et une colonne d'une matrice.
`boolean`	CoverabilityGraph.`couverture(Marquage M, Marquage M1)`	Cette méthode permet de determiner si le marquage M1 couvre le marquage M.
`private boolean`	CoverabilityGraph.`couvre(Marquage m, java.util.Vector<java.util.Vector<java.lang.Integer>> pre, int t)`	Cette méthode permet de vérifier si le marquage du noeud actuel couvre une colonne de la matrice W_moins ou Pré.
`private boolean`	ReachabilityGraph.`couvre(Marquage m, java.util.Vector<java.util.Vector<java.lang.Integer>> pre, int t)`	Cette méthode est utilisée dans l'algorithme de création du GMA.
`void`	Node.`setM(Marquage m)`	Méthode qui permet de donner/modifier le marquage d'un noeud.
`private Marquage`	CoverabilityGraph.`subVector(Marquage v, Marquage u)`	Méthode qui nous permet de faire une soustraction entre deux vecteurs.
`void`	CoverabilityGraph.`tryToAddOmegas(Marquage m, Marquage m1)`	Méthode essentiel pour le calcul du graphe de couverture.

Method parameters in com.tech.app.models.gma with type arguments of type Marquage
Modifier and Type	Method	Description
`boolean`	CoverabilityGraph.`containsMarquage(java.util.List<Marquage> marquageList, java.util.Vector<java.lang.Integer> marquage)`	Méthode qui permet de savoir si un marquage donné est dans la liste de marquages donné.
`boolean`	ReachabilityGraph.`containsMarquage(java.util.List<Marquage> m, java.util.Vector<java.lang.Integer> marquage)`

Constructors in com.tech.app.models.gma with parameters of type Marquage
Constructor	Description
`Node(Marquage m)`	Constructeur
`Node(Marquage m, java.lang.String name)`	Constructeur
`Node(Marquage m, java.util.List<NodeStruct> children, java.util.List<NodeStruct> parents)`	Constructeur pour la racine de l'arbre.
`Node(Marquage m, java.util.List<NodeStruct> children, java.util.List<NodeStruct> parents, java.lang.String name)`	Constructeur pour un noeud quelconque.