Espace de nom de toutes les classes et types de la plate-forme. More...
Classes | |
class | Allocator |
Allocateur. More... | |
class | BannedTypes |
Classe abstraite pour la représentation d'un ensemble de types bannis (représentés par des iSet). More... | |
class | BannedTypes_Simple |
Une implémentation simple d'un ensemble de types bannis (sous la forme d'une liste). More... | |
class | CogitantObject |
Classe abstraite mère de tous les objets de la plate-forme. More... | |
class | ColoredGraph |
Graphe conceptuel coloré. More... | |
class | ColoredGraphConstraint |
Contrainte de graphe conceptuel (ancienne représentation : graphe bicolore). More... | |
class | Concept |
Sommet concept. More... | |
class | ConceptType |
Type de concept. More... | |
class | Constraint |
Contrainte. More... | |
class | CoreferenceClass |
Classe de coréférence. More... | |
class | CoupleOfLambdas |
Couple de lambda-graphes. More... | |
class | CoupleOfLambdasAllocator |
Allocateur pour les membres de CoupleOfLambdas. More... | |
class | DatatypeManager |
Gestionnaire de types de données. More... | |
class | Edge |
Représentation des arêtes, des relations d'emboîtement et des liens de coréférence. More... | |
class | Encoding |
Classe offrant quelques opérations sur des chaînes de caractères codées sous différents formats. More... | |
class | Environment |
Environnement. More... | |
class | EnvironmentAllocator |
Allocateur pour les membres de Environment. More... | |
class | EnvironmentObject |
Classe abstraite mère de tous les objets contenus dans un environnement. More... | |
class | EnvironmentObjectCondIterator |
Itérateur pour le parcours (sélectif par leur type) des objets d'un environnement. More... | |
class | EnvironmentObjectExtension |
Extension d'un EnvironmentObject. More... | |
class | Exception |
Classe mère de toutes les classes d'exceptions de la plate-forme. More... | |
class | ExceptionAlreadyPresent |
Tentative d'ajout d'une information déjà présente dans un objet. More... | |
class | ExceptionIncorrectType |
Tentative d'accéder à un objet comme étant d'un type donné alors qu'il est d'un autre type. More... | |
class | ExceptionInput |
Erreur de lecture, non respect du format d'entrée. More... | |
class | ExceptionInputBCGCT |
Erreur de lecture, non respect du format BCGCT. More... | |
class | ExceptionInputCGIF |
Erreur de lecture, non respect du format CGIF. More... | |
class | ExceptionInputCoGXML |
Erreur de lecture, non respect du format CoGXML. More... | |
class | ExceptionInputLexeme |
Exception due à un problème de format non respecté : un lexeme attendu n'a pas été trouvé. More... | |
class | ExceptionInputRdfs |
Erreur de lecture, non respect du format Rdfs. More... | |
class | ExceptionInterrupted |
Une opération en cours d'exécution a été interrompue par un appel à OperationBase::stop(). More... | |
class | ExceptionIO |
Exception lors d'une opération de lecture / écriture dans un flux. More... | |
class | ExceptionISetOutOfBounds |
Accès à un identificateur d'ensemble incorrect. More... | |
class | ExceptionObserver |
Une opération interdite a été exécutée sur un observateur. More... | |
class | ExceptionOperationCheck |
Lancement d'une opération dont les pré-conditions n'ont pas été vérifiées. More... | |
class | ExceptionReadOnlyObject |
Tentative de modification d'un objet en lecture seule. More... | |
class | ExceptionStructure |
Des objets ne respectent pas la structure qu'ils devraient avoir. More... | |
class | ExceptionUnknownName |
La recherche d'un objet par son nom a échoué. More... | |
class | ExceptionUnknownObject |
Un objet, passé en paramètre d'une méthode est introuvable. More... | |
class | ExceptionXml |
Exception due à un problème de format non respecté : format XML non respecté. More... | |
class | Gauge |
Classe abstraite pour la visualisation de l'avancement de l'exécution d'une opération. More... | |
class | Gauge_Minimal |
Implémentation minimale de la visualisation de l'avancement de l'exécution d'une opération. More... | |
class | GaugeUpdater |
Classe permettant la mise à jour d'une Gauge. More... | |
class | Graph |
Graphe conceptuel. More... | |
class | GraphAllocator |
Allocateur pour les membres de Graph. More... | |
class | GraphObject |
Classe abstraite mère de tous les objets contenus dans un graphe. More... | |
class | GraphObjectCondIterator |
Itérateur pour le parcours (sélectif par leur type) des objets d'un graphe. More... | |
class | GraphSubset |
Sous-ensemble des éléments du graphe. More... | |
class | Individual |
Marqueur individuel. More... | |
class | InternalGraph |
Graphe interne. More... | |
class | IOHandler |
Gestion des différents formats de stockage des graphes et des supports. More... | |
class | IStream |
Opérations évoluées sur un flux d'entrée. More... | |
class | IStreamReader |
Classe "interface" des lecteurs d'IStream. More... | |
class | LabeledGraphObject |
Classe abstraite mère de tous les objets contenus dans un graphe et ayant une type simple (formant l'étiquette). More... | |
class | Language |
Informations sur une langue. More... | |
class | LanguageManager |
Gestionnaire de langues. More... | |
class | LIP |
Mémorisation de données pour la manipulation de listes d'images possibles. More... | |
class | Log |
Gestion du journal d'erreur. More... | |
class | LogListener |
Gestionnaire de messages du journal d'erreur. More... | |
class | LogListenerCerr |
Gestionnaire de messages du journal d'erreur qui se contente d'envoyer les messages sur le flux d'erreur. More... | |
class | LogListenerHistory |
Gestionnaire de messages du journal d'erreur qui mémorise les derniers messages. More... | |
class | Nesting |
Emboîtement. More... | |
class | NestingType |
Type d'emboîtement. More... | |
class | ObservableObject |
Classe abstraite mère de tous les objets pouvant être observés. More... | |
class | Observer |
Classe abstraite mère de tous les observateurs. More... | |
class | ObserverMessage |
Classe abstraite mère de tous les messages envoyés à des observateurs. More... | |
class | ObserverMessageFactory |
Fabrique d'ObserverMessage. More... | |
class | ObserverMessageGraph |
Messages envoyé à des observateurs et concernant un graphe. More... | |
class | ObserverMessageGraphNodeComeFrom |
Messages envoyé à des observateurs et l'origine d'une modification sur un graphe. More... | |
class | ObserverMessageGraphRuleApplication |
Messages envoyé à des observateurs et concernant l'application d'un règle sur un graphe. More... | |
class | ObserverMessageIOError |
Messages envoyés à des observateurs et concernant des avertissements détectés (ou erreurs non fatales) lors d'opérations d'entrées/sorties. More... | |
class | ObserverMessageOperation |
Messages envoyés à des observateurs et concernant l'exécution d'une opération. More... | |
class | ObserverSet |
Ensemble d'observateurs. More... | |
class | ObserverStream |
Un observateur qui envoie sur un flux de sortie tous les messages qu'il reçoit. More... | |
class | OpeAcceptableProjection |
Prise en compte (ou pas) d'une projection lors d'un calcul de projections. More... | |
class | OpeAcceptableProjectionNonInjective |
Opération de filtre des seules projections non injectives. More... | |
class | OpeConnectedComponent |
Opération de calcul des composantes connexes d'un graphe conceptuel. More... | |
class | OpeConstraintSatisfaction |
Opération de vérification de la validité d'un graphe par rapport à une contrainte. More... | |
class | OpeDisjointSum |
Opération de somme disjointe d'un graphe et d'un sous ensemble d'un autre graphe. More... | |
class | OpeGraphObjectCompatibility |
Opération de comparaison de deux éléments d'un graphe. More... | |
class | OpeIndividualGraphExpand |
Opération de développement d'un sommet concept individuel d'un graphe par son graphe individu. More... | |
class | OpeIndividualGraphMultipleExpand |
Opération de développement des sommets concepts individuels d'un graphe par un ensemble de graphes individus. More... | |
class | OpeIrredundant |
Opération de calcul de la forme irredondante d'un graphe. More... | |
class | OpeNormalForm |
Opération de mise sous forme normale d'un graphe. More... | |
class | OpeProjAcceptableCouple |
Ajout d'un couple (ou pas) à une projection en cours de construction. More... | |
class | OpeProjAcceptableLIPs |
Cette opération calcule si l'ensemble des LIPs actuelles est acceptable. More... | |
class | OpeProjBacktrackChoice |
Choix de l'élément pour continuer le backtrack lors de la projection. More... | |
class | OpeProjection |
Calcul des projections. More... | |
class | OpeProjectionBundle |
Regroupement de toutes les opérations permettant de calculer des projections. More... | |
class | OpeProjectionImage |
Calcul de l'image d'un graphe dans un autre selon une projection donnée. More... | |
class | OpeProjLIPIndividual |
Calcul des listes d'images possibles des sommets concepts individuels. More... | |
class | OpeProjLIPInit |
Calcul de la liste des images possibles d'un sommet lors du calcul des projections. More... | |
class | OpeProjLIPUpdate |
Filtrage de la liste des images possibles d'un sommet lors du calcul des projections. More... | |
class | OpeProjPrecalcImages |
Détermination (ou pas) du précalcul des images possibles d'un objet pour la projection. More... | |
class | Operation |
Classe abstraite pour toutes les opérations faisant intervenir des objets de la plate-forme. More... | |
class | OperationBase |
Classe abstraite pour toutes les opérations définies dans la bibliothèque. More... | |
class | OperationBCGCTInput |
Opération de lecture de support/graphes au format BCGCT. More... | |
class | OperationBCGCTOutput |
Opération de sortie de support/graphes au format BCGCT. More... | |
class | OperationCGIFInput |
Opération de lecture de graphes au format CGIF. More... | |
class | OperationCGIFOutput |
Opération de sortie de support/graphes au format CGIF. More... | |
class | OperationCgToRdfsTranslation |
Opération de traduction de GC vers RDF(S). More... | |
class | OperationCgToRdfsTranslationCGSpirit |
Opération de traduction de GC vers RDF(S) "esprit GC". More... | |
class | OperationCoGXMLInput |
Opération d'entrée de support/graphes au format CoGXML. More... | |
class | OperationCoGXMLOutput |
Opération de sortie de support/graphes au format CoGXML. More... | |
class | OperationInput |
Opération de lecture d'objets dans un flux. More... | |
class | OperationInputXml |
Opération de chargement d'un fichier XML. More... | |
class | OperationInputXmlSelector |
Opération de chargement d'un fichier XML et de sélection d'opération en fonction du type de document. More... | |
class | OperationIO |
Opération d'entrée/sortie. More... | |
class | OperationLinearOutput |
Opération de sortie de graphes sous forme linéaire. More... | |
class | OperationOutput |
Opération d'écriture d'objets dans un flux. More... | |
class | OperationRdfsN3Input |
Opération d'entrée au format RDF(S)/Notation 3. More... | |
class | OperationRdfsOutput |
Opération de sortie en RDFS(S). More... | |
class | OperationRdfsToCgTranslation |
Opération de traduction de RDF(S) vers GC. More... | |
class | OperationRdfsToCgTranslationCGSpirit |
Opération de traduction de RDF(S) vers GC "esprit GC". More... | |
class | OperationRdfsToCgTranslationTriples |
Opération de traduction de RDF(S) vers GC traduisant tous les triplets en relations ternaires. More... | |
class | OperationRdfsXmlInput |
Opération d'entrée au format RDF(S)/XML. More... | |
class | OpeRuleApplications |
Calcul des applications possibles d'une règles sur un graphe. More... | |
class | OpeRuleApply |
Application d'une règle sur un graphe. More... | |
class | OpeRuleIrredundantProjection |
Test du caractère irredondant d'une application d'une règle sur un graphe. More... | |
class | OpeRulesClosure |
Calcul d'une fermeture d'un graphe par un ensemble de règles. More... | |
class | OpeSignatureApply |
Modifie les types des voisins d'un sommet relation d'un graphe afin que ce sommet vérifie sa signature. More... | |
class | 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... | |
class | OpeVerifBannedType |
Vérification de la non utilisation de types bannis dans les sommets concepts d'un graphe. More... | |
class | OpeVerifConformity |
Vérification de la conformité de l'étiquette d'un sommet concept. More... | |
class | OpeVerifConjunctive |
Vérification d'un type conjonctif. More... | |
class | OpeVerifConjunctiveType |
Vérification des types conjonctifs d'un graphe conceptuel. More... | |
class | 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... | |
class | OpeVerifEdges |
Vérification des arêtes liées à un sommet relation. More... | |
class | OpeVerification |
Class abstraite pour la vérification d'un objet du modèle. More... | |
class | 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 | OpeVerifIrredundant |
Vérification du caractère irredondant d'un graphe. More... | |
class | OpeVerifNormalForm |
Vérification de la forme normale d'un graphe. More... | |
class | OpeVerifSignature |
Vérification de la signature d'un sommet concept. More... | |
class | OpeVerifSupportBannedType |
Vérification de l'ensemble des types bannis du support. More... | |
class | OpeVerifSupportSignature |
Vérifie que les signatures des types de relations sont correctement formées. More... | |
class | PartialOrder |
Classe abstraite pour la représentation d'un ordre partiel de iSet. More... | |
class | PartialOrder_Simple |
Implantation au plus simple d'un ordre partiel. More... | |
class | PartialOrder_SimpleMemo |
Représentation d'un ordre partiel par une matrice stockant toutes les comparaisons. More... | |
class | Projection |
Représentation d'une projection (éventuellement partielle) d'un graphe dans un autre. More... | |
class | ProjectionIterator |
Itérateur sur les résultats d'une OpeProjection. More... | |
class | Property |
Propriété d'un objet. More... | |
class | PropertySet |
Classe de représentation d'un ensemble de propriétés. More... | |
class | Rdf |
Classe utilitaire fournissant plusieurs services pour la gestion du RDF. More... | |
class | RdfsOutput |
Opération de sortie de triplets RDF(S). More... | |
class | RdfsOutputRdfXml |
Opération de sortie de triplets RDF(S) en RDF/XML. More... | |
class | Relation |
Sommet relation. More... | |
class | RelationType |
Type de relation. More... | |
class | ResultOpeProjection |
Résultat d'une opération de projection. More... | |
class | ResultOpeProjectionAllocator |
Allocateur pour les membres de ResultOpeProjection. More... | |
class | Rule |
Règle de graphes conceptuels simples. More... | |
class | Set |
Classe générique abstraite pour la représentation d'un ensemble. More... | |
class | Set_Simple |
Implantation au plus simple d'un ensemble. More... | |
class | Set_Simple_Final |
Implantation au plus simple (et rapide) d'un ensemble. More... | |
class | SetCondIterator |
Classe représentant un itérateur sur un sous ensemble d'éléments d'un ensemble. More... | |
class | SetIterator |
Classe représentant un itérateur sur l'ensemble. More... | |
class | SetIteratorBase |
Classe de base des itérateurs de Set. More... | |
class | SetOfCouples |
Représentation d'un ensemble de couples. More... | |
class | Support |
Support. More... | |
class | SupportAllocator |
Allocateur pour les membres de Support. More... | |
class | SupportObject |
Classe abstraite mère de tous les objets contenus dans le support. More... | |
class | SupportType |
Classe abstraite mère de tous les types contenus dans le support. More... | |
class | UserDatatype |
Type de données non standard. More... | |
class | UserDatatypeSimple |
Type de données non standard représentant simplement des valeurs par des chaînes. More... | |
class | UserDatatypeValue |
Valeur de datatype utilisée dans un Concept pour représenter les valeurs qui ne sont pas d'un Datatype prédéfini. More... | |
class | UserDatatypeValueSimple |
Valeur de datatype représentée simplement par une chaîne. More... | |
class | XmlDocument |
Représentation d'un document XML. More... | |
class | XmlInput |
Opération de chargement d'un document XML. More... | |
class | XmlOutput |
Opération de sauvegarde d'un document XML. More... | |
Typedefs | |
typedef unsigned int | nSet |
Nombre d'éléments d'un ensemble. More... | |
typedef nSet | iSet |
Identificateur sur un ensemble. More... | |
Functions | |
std::string | intToStr (long i) |
L'indispensable fonction de conversion d'un entier en chaîne. More... | |
long | strToInt (std::string const &s) |
Et la non moins indispensable conversion de chaîne en entier. More... | |
long | strToBoolInt (std::string const &s) |
Convertit la chaine en entier représentant un booléen, les valeurs autorisées sont t, true, 1, f, false, 0. More... | |
std::string | floatToStr (double i) |
Conversion d'un double en string. More... | |
double | strToFloat (std::string const &s) |
Conversion d'un string en double. More... | |
bool | isInteger (std::string const &s) |
Est-ce que la chaîne représente un entier (sous forme décimale). More... | |
bool | isFloat (std::string const &s) |
Est-ce que la chaîne représente un réel. More... | |
bool | isBool (std::string const &s) |
Est-ce que la chaîne représente un booléen. More... | |
std::ostream & | operator<< (std::ostream &os, Rdf::Uri const &uri) |
Opérateur de sortie d'un Rdf::Uri. | |
std::ostream & | operator<< (std::ostream &os, Rdf::StatementObject const &so) |
Opérateur de sortie d'un Rdf::StatementObject. | |
std::ostream & | operator<< (std::ostream &os, Rdf::Statement const &st) |
Opérateur de sortie d'un Rdf::Statement. | |
template<class SetContent > | |
std::ostream & | operator<< (std::ostream &out, Set< SetContent > const &c) |
Opérateur de sortie pour la classe Set. More... | |
template<class SetContent > | |
std::ostream & | operator<< (std::ostream &out, Set_Simple_Final< SetContent > const &c) |
Opérateur de sortie pour la classe Set_Simple_Final. More... | |
Variables | |
const iSet | ISET_NULL = std::numeric_limits<unsigned int>::max() |
Valeur particulière incorrecte d'identificateur. More... | |
Espace de nom de toutes les classes et types de la plate-forme.
typedef nSet cogitant::iSet |
Identificateur sur un ensemble.
Un identificateur sur un ensemble identifie de façon unique un élément d'un ensemble et permet l'accès en O(1) à cet élément.
typedef unsigned int cogitant::nSet |
std::string cogitant::floatToStr | ( | double | i | ) |
Conversion d'un double en string.
std::string cogitant::intToStr | ( | long | i | ) |
L'indispensable fonction de conversion d'un entier en chaîne.
bool cogitant::isBool | ( | std::string const & | s | ) |
Est-ce que la chaîne représente un booléen.
bool cogitant::isFloat | ( | std::string const & | s | ) |
Est-ce que la chaîne représente un réel.
bool cogitant::isInteger | ( | std::string const & | s | ) |
Est-ce que la chaîne représente un entier (sous forme décimale).
std::ostream & cogitant::operator<< | ( | std::ostream & | out, |
Set_Simple_Final< SetContent > const & | c | ||
) |
Opérateur de sortie pour la classe Set_Simple_Final.
Opérateur de sortie de Set_Simple_Final.
std::ostream & cogitant::operator<< | ( | std::ostream & | out, |
Set< SetContent > const & | c | ||
) |
long cogitant::strToBoolInt | ( | std::string const & | s | ) |
Convertit la chaine en entier représentant un booléen, les valeurs autorisées sont t, true, 1, f, false, 0.
double cogitant::strToFloat | ( | std::string const & | s | ) |
Conversion d'un string en double.
long cogitant::strToInt | ( | std::string const & | s | ) |
Et la non moins indispensable conversion de chaîne en entier.
Convertit les premiers caractères de s en entier. Si aucun des premiers caractères de s ne représente des chiffres, retourne 0.
const iSet cogitant::ISET_NULL = std::numeric_limits<unsigned int>::max() |
Valeur particulière incorrecte d'identificateur.
(aucun identificateur valide ne peut prendre cette valeur).
Referenced by cogitant::Support::bannedTypes(), cogitant::GraphSubset::capacity(), cogitant::LIP::debugDisplay(), cogitant::Projection::deleteCouple(), cogitant::Graph::end(), cogitant::Environment::extensionFactory(), cogitant::OperationRdfsToCgTranslation::getBlankNode(), cogitant::OperationRdfsToCgTranslation::getVariableNode(), cogitant::Concept::hasConjunctiveType(), cogitant::Concept::hasPrimitiveType(), cogitant::Concept::hasSupportType(), cogitant::DatatypeManager::isDatatype(), cogitant::LIP::isKnownChildrenOf(), cogitant::LIP::isUnknown(), cogitant::DatatypeManager::isUserDatatype(), cogitant::OperationInput::propertyAccept(), cogitant::Concept::referentType(), and cogitant::LIP::setUnknown().