Quick links: Tutorial - Examples - Files - Symbols.
Classes: Hierarchy - Index - List - Members.
Namespaces: Index - base - cs - display.

Public Member Functions | Public Attributes | List of all members
cogitant::OpeVerification::ErrorConjunctiveType Class Reference

Erreur de vérification mémorisant un type conjonctif. More...

#include "opeverification.h"

Inheritance diagram for cogitant::OpeVerification::ErrorConjunctiveType:
cogitant::OpeVerification::ErrorInfo

Public Member Functions

 ErrorConjunctiveType (Type et, ConceptType::ConjunctiveType const &ct)
 Constructeur. More...
 
std::string toString () const
 Conversion en chaîne. More...
 
- Public Member Functions inherited from cogitant::OpeVerification::ErrorInfo
 ErrorInfo (Type et)
 Constructeur. More...
 
virtual ~ErrorInfo ()
 Destructeur. More...
 
char const * typeToString (Type t) const
 Intitulé de l'erreur. More...
 

Public Attributes

ConceptType::ConjunctiveType m_conjunctivetype
 Type conjonctif concerné par l'erreur.
 
- Public Attributes inherited from cogitant::OpeVerification::ErrorInfo
Type m_type
 Type d'erreur. */.
 

Additional Inherited Members

- Public Types inherited from cogitant::OpeVerification::ErrorInfo
enum  Type {
  ConceptConformity, ConceptConjunctiveType, ConceptBannedType, ConceptNormalForm,
  RelationSignature, RelationEdge, CoreferenceMarker, CoreferenceBannedType,
  GraphRedundancy, ConjunctiveType, BannedTypeConjunctive, SignatureSpecialization
}
 Type de vérification. More...
 

Detailed Description

Erreur de vérification mémorisant un type conjonctif.

Constructor & Destructor Documentation

◆ ErrorConjunctiveType()

cogitant::OpeVerification::ErrorConjunctiveType::ErrorConjunctiveType ( Type  et,
ConceptType::ConjunctiveType const &  ct 
)
inline

Constructeur.

Member Function Documentation

◆ toString()

std::string cogitant::OpeVerification::ErrorConjunctiveType::toString ( ) const
virtual

Conversion en chaîne.

Reimplemented from cogitant::OpeVerification::ErrorInfo.