Package com.tech.app.models
Class ModelProperties
- java.lang.Object
-
- com.tech.app.models.ModelProperties
-
public class ModelProperties extends java.lang.Object
Classe dans laquelle sont définies quelques propriétés des réseaux de Pétri.
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static class
ModelProperties.MODEL_PROPS
-
Field Summary
Fields Modifier and Type Field Description int
borneMax
private CoverabilityGraph
coverabilityGraph
boolean
estBloque
boolean
estBorne
boolean
estReinitialisable
boolean
estRepetitif
boolean
estVivant
private Model
model
-
Constructor Summary
Constructors Constructor Description ModelProperties(Model model)
ConstructeurModelProperties(Model model, ModelProperties.MODEL_PROPS props)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description java.lang.String
getModelBlocage()
Méthode qui permet d'afficher le résultat de @modelBlocage.java.lang.String
getModelBornitude()
Méthode qui permet d'afficher le résultat de @modelBornitude.java.lang.String
getModelReinitialisable()
Méthode qui permet d'afficher le résultat de @modelReinitialisable.java.lang.String
getModelRepetitivite()
Méthode qui permet d'afficher le résultat de @modelRepetitivite.java.lang.String
getModelVivacite()
Méthode qui permet d'afficher le résultat de @modelVivacite.boolean
modelBlocage()
Méthode qui permet de savoir si le RdP contient un blocage.private boolean
modelBornitude()
Méthode qui permet de savoir si le RdP est borné.boolean
modelReinitialisable()
Méthode qui permet de savoir si le RdP est réinitialisable.boolean
modelRepetitivite()
Méthode qui permet de savoir si le RdP contient une boucle.private boolean
modelVivacite()
Méthode qui permet de savoir si le RdP est vivant.java.lang.String
toString()
Méthode qui permet d'afficher le résultat de toutes les fonctions.
-
-
-
Field Detail
-
model
private final Model model
-
coverabilityGraph
private final CoverabilityGraph coverabilityGraph
-
estBorne
public boolean estBorne
-
estVivant
public boolean estVivant
-
estReinitialisable
public boolean estReinitialisable
-
estRepetitif
public boolean estRepetitif
-
estBloque
public boolean estBloque
-
borneMax
public int borneMax
-
-
Constructor Detail
-
ModelProperties
public ModelProperties(Model model)
Constructeur- Parameters:
model
- : modèle
-
ModelProperties
public ModelProperties(Model model, ModelProperties.MODEL_PROPS props)
-
-
Method Detail
-
modelBornitude
private boolean modelBornitude()
Méthode qui permet de savoir si le RdP est borné. Si le graphe de couverture contient un w -> non borné.- Returns:
- Vrai ou Faux.
-
modelVivacite
private boolean modelVivacite()
Méthode qui permet de savoir si le RdP est vivant.- Returns:
- Vrai ou Faux.
-
modelRepetitivite
public boolean modelRepetitivite()
Méthode qui permet de savoir si le RdP contient une boucle. Ne fonctionne pas.- Returns:
- Vrai ou Faux
-
modelReinitialisable
public boolean modelReinitialisable()
Méthode qui permet de savoir si le RdP est réinitialisable.- Returns:
- Vrai ou Faux.
-
modelBlocage
public boolean modelBlocage()
Méthode qui permet de savoir si le RdP contient un blocage.- Returns:
- Vrai ou Faux.
-
getModelBornitude
public java.lang.String getModelBornitude()
Méthode qui permet d'afficher le résultat de @modelBornitude.- Returns:
- String
-
getModelVivacite
public java.lang.String getModelVivacite()
Méthode qui permet d'afficher le résultat de @modelVivacite.- Returns:
- String
-
getModelRepetitivite
public java.lang.String getModelRepetitivite()
Méthode qui permet d'afficher le résultat de @modelRepetitivite.- Returns:
- String
-
getModelReinitialisable
public java.lang.String getModelReinitialisable()
Méthode qui permet d'afficher le résultat de @modelReinitialisable.- Returns:
- String
-
getModelBlocage
public java.lang.String getModelBlocage()
Méthode qui permet d'afficher le résultat de @modelBlocage.- Returns:
- String
-
toString
public java.lang.String toString()
Méthode qui permet d'afficher le résultat de toutes les fonctions.- Overrides:
toString
in classjava.lang.Object
- Returns:
- String
-
-