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)
Constructeur

ModelProperties(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.

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

- 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 class java.lang.Object
    
    Returns:
    
    String

Constructor	Description
`ModelProperties(Model model)`	Constructeur
`ModelProperties(Model model, ModelProperties.MODEL_PROPS props)`

Class ModelProperties

Nested Class Summary

Field Summary

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Field Detail

model

coverabilityGraph

estBorne

estVivant

estReinitialisable

estRepetitif

estBloque

borneMax

Constructor Detail

ModelProperties

ModelProperties

Method Detail

modelBornitude

modelVivacite

modelRepetitivite

modelReinitialisable

modelBlocage

getModelBornitude

getModelVivacite

getModelRepetitivite

getModelReinitialisable

getModelBlocage

toString