Opération de vérification de la forme irredondant d'un graphe. More...
Classes | |
| class | cogitant::OpeAcceptableProjectionNonInjective |
| Opération de filtre des seules projections non injectives. More... | |
| class | cogitant::OpeVerifIrredundant |
| Vérification du caractère irredondant d'un graphe. More... | |
| class | cogitant::OpeIrredundant |
| Opération de calcul de la forme irredondante d'un graphe. More... | |
Namespaces | |
| cogitant | |
| Espace de nom de toutes les classes et types de la plate-forme. | |
Opération de vérification de la forme irredondant d'un graphe.
Déclaration de la classe cogitant::OpeVerifIrredundant.