Opération de vérification de la forme normale d'un graphe et de mise sous forme normale. More...
#include "cogitant/opeverification.h"Classes | |
| class | cogitant::OpeVerifNormalForm |
| Vérification de la forme normale d'un graphe. More... | |
| class | cogitant::OpeNormalForm |
| Opération de mise sous forme normale 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 normale d'un graphe et de mise sous forme normale.
Déclaration des classes cogitant::OpeVerifNormalForm et cogitant::OpeNormalForm.