Opérations de vérification de graphes et d'autres objets du modèle. More...
#include "cogitant/common.h"#include "cogitant/operation.h"#include "cogitant/set.h"#include "cogitant/graph.h"#include <list>Classes | |
| class | cogitant::OpeVerification |
| Class abstraite pour la vérification d'un objet du modèle. More... | |
| class | cogitant::OpeVerification::ErrorInfo |
| Informations dur une erreur de vérification. More... | |
| class | cogitant::OpeVerification::ErrorISet |
| Erreur de vérification mémorisant un iSet. More... | |
| class | cogitant::OpeVerification::ErrorISetPair |
| Erreur de vérification mémorisant une paire d'iSet. More... | |
| class | cogitant::OpeVerification::ErrorISetEdgeLabel |
| Erreur de vérification mémorisant un iSet et un Edge::Label. More... | |
| class | cogitant::OpeVerification::ErrorConjunctiveType |
| Erreur de vérification mémorisant un type conjonctif. More... | |
| class | cogitant::OpeVerification::ListErrors |
| Liste d'erreurs. More... | |
| class | cogitant::OpeVerificationGraph |
| Classe abstraite pour les opérations de vérification d'un sommet d'un graphe ou de tous les sommets d'un graphe. More... | |
| class | cogitant::OpeVerifConformity |
| Vérification de la conformité de l'étiquette d'un sommet concept. More... | |
| class | cogitant::OpeVerifEdges |
| Vérification des arêtes liées à un sommet relation. More... | |
| class | cogitant::OpeVerifConjunctive |
| Vérification d'un type conjonctif. More... | |
| class | cogitant::OpeVerifSupportBannedType |
| Vérification de l'ensemble des types bannis du support. More... | |
| class | cogitant::OpeVerifConjunctiveType |
| Vérification des types conjonctifs d'un graphe conceptuel. More... | |
| class | cogitant::OpeVerifBannedType |
| Vérification de la non utilisation de types bannis dans les sommets concepts d'un graphe. More... | |
| class | cogitant::OpeVerifCoreferenceClass |
| Vérification des classes de coréférences : il n'y a pas deux sommets d'une classe qui ont des marqueurs individuels différents, et la conjonction des types de sommets de la classe n'est pas un type banni. More... | |
Namespaces | |
| cogitant | |
| Espace de nom de toutes les classes et types de la plate-forme. | |
Opérations de vérification de graphes et d'autres objets du modèle.
Déclaration de la classe abstraite cogitant::OpeVerification et de certaines sous-classes.