Opérations sur les signatures des relations. More...
#include "cogitant/opeverification.h"Classes | |
| class | cogitant::OpeVerifSignature |
| Vérification de la signature d'un sommet concept. More... | |
| class | cogitant::OpeSignatureApply |
| Modifie les types des voisins d'un sommet relation d'un graphe afin que ce sommet vérifie sa signature. More... | |
| class | cogitant::OpeVerifSupportSignature |
| Vérifie que les signatures des types de relations sont correctement formées. More... | |
| class | cogitant::OpeSupportSignatureSpecialize |
| Spécialise la signature des types de relations afin que ces signatures soient des spécialisations des signatures des super-types de ce type de relation. More... | |
Namespaces | |
| cogitant | |
| Espace de nom de toutes les classes et types de la plate-forme. | |
Opérations sur les signatures des relations.
Déclaration des classes cogitant::OpeVerifSignature et cogitant::OpeSignatureApply.