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

Public Member Functions | List of all members
cogitantcs::OpeServerConstraintSatisfaction Class Reference

Opération de calcul de la validité d'un graphe par rapport à une contrainte. More...

#include "opeserver.h"

Inheritance diagram for cogitantcs::OpeServerConstraintSatisfaction:
cogitantcs::OpeServer cogitant::OperationBase cogitant::ObservableObject cogitant::CogitantObject

Public Member Functions

void run ()
 Lancement de l'opération. More...
 
std::string name () const
 Retourne le nom de l'opération. More...
 
- Public Member Functions inherited from cogitantcs::OpeServer
Error check ()
 Vérification des paramètres. More...
 
void setQueryAnswer (cogitant::XmlDocument const *query, cogitant::XmlDocument::Element const *querynode, cogitant::XmlDocument *answer, cogitant::XmlDocument::Element *answerroot, Server *server)
 Entrée des paramètres. More...
 
virtual bool canHandleQuery (cogitant::XmlDocument const *query, cogitant::XmlDocument::Element const *querynode) const
 L'opération peut-elle gérer la requête. More...
 
virtual bool canHandle (std::string const &nr) const
 L'opération peut-elle gérer la requête. More...
 
virtual bool isSpecialOperation () const
 L'opération est-elle une opération spéciale qui ne rajoute pas de noeuds dans le document XML réponse. More...
 
virtual void runSpecialOperation (std::list< std::string > &ls)
 Dans le cas où l'opération est une opération spéciale, exécute la sortie de l'opération. More...
 
 OpeServer ()
 Constructeur par défaut. More...
 
 ~OpeServer ()
 Destructeur. More...
 
- Public Member Functions inherited from cogitant::OperationBase
void stop ()
 Stopper l'opération dès que possible. More...
 
bool isStopped () const
 Est-ce que l'opération a été stoppée. More...
 
 OperationBase ()
 Constructeur. More...
 
 OperationBase (OperationBase const &o)
 Constructeur par recopie. More...
 
 ~OperationBase ()
 Destructeur. More...
 
- Public Member Functions inherited from cogitant::ObservableObject
 ObservableObject ()
 Constructeur. More...
 
 ObservableObject (ObservableObject const &o)
 Constructeur par recopie. More...
 
 ~ObservableObject ()
 Destructeur. More...
 
ObserverSet const & observers () const
 Accès à l'ensemble des observateurs. More...
 
bool hasObservers () const
 Existence d'observateurs. More...
 
bool hasObservers (ObserverMessage::Type mt) const
 Existence d'observateurs qui écoutent le type de message passé. More...
 
void attachObserver (Observer *obs)
 Ajoute un nouvel observateur à l'objet. More...
 
void detachObserver (Observer *obs)
 Supprime le lien entre l'observateur et l'objet. More...
 
void notifyObservers (ObserverMessage const *msg)
 Envoie le message de modification à tous les observateurs. More...
 
- Public Member Functions inherited from cogitant::CogitantObject
 CogitantObject ()
 Constructeur. More...
 
 CogitantObject (CogitantObject const &o)
 Constructeur par recopie. More...
 
virtual ~CogitantObject ()
 Destructeur. More...
 
PropertySetproperties ()
 Accès à l'ensemble des propriétés. More...
 
virtual std::string toString () const
 Transformation en chaîne de caractères. More...
 
std::string className () const
 Nom de la classe. More...
 
PropertySet const * properties () const
 Accès en lecture seule à l'ensemble des propriétés. More...
 
bool hasProperties () const
 Existence de propriétés. More...
 
CogitantObjectoperator= (CogitantObject const &ob)
 Affectation. More...
 

Additional Inherited Members

- Public Types inherited from cogitant::OperationBase
typedef unsigned int Error
 Résultat de la vérification des arguments d'une opération. More...
 
- Static Public Attributes inherited from cogitant::OperationBase
static const Error CHECKOK
 Pas d'erreur. More...
 
static const Error ARGUMENTS
 Certains paramètres de l'opération n'ont pas été fixés. More...
 
static const Error UNUSED
 Symbole d'erreur inutilisé. More...
 
- Protected Member Functions inherited from cogitantcs::OpeServer
cogitant::XmlDocument::ElementaddAnswerNode (std::string const &n, std::string const &a1="", std::string const &v1="", std::string const &a2="", std::string const &v2="", std::string const &a3="", std::string const &v3="")
 Raccourci pour ajouter un noeud réponse au document réponse. More...
 
- Protected Member Functions inherited from cogitant::ObservableObject
virtual ObserverSetallocObservers () const
 Fonction créant l'instance d'une sous classe de ObserverSet pour la représentation de l'ensemble des observateurs de l'objet. More...
 
ObserverSetobservers ()
 Accès à l'ensemble des observateurs. More...
 
- Protected Member Functions inherited from cogitant::CogitantObject
virtual PropertySetallocProperties () const
 Fonction créant l'instance d'une sous classe de PropertySet pour la représentation des propriétés de l'objet. More...
 
- Protected Attributes inherited from cogitantcs::OpeServer
cogitant::XmlDocument const * m_query
 Document contenant la requête à interpréter.
 
cogitant::XmlDocument::Element const * m_querynode
 Noeud du document à interpréter.
 
cogitant::XmlDocumentm_answer
 Document devant stocker la réponse.
 
cogitant::XmlDocument::Elementm_answerroot
 Noeud de m_answer recevant comme fils la réponse.
 
Serverm_server
 Serveur à l'origine de la requête.
 
- Protected Attributes inherited from cogitant::OperationBase
bool m_stop
 Arrêt de l'exécution de l'opération demandé. More...
 

Detailed Description

Opération de calcul de la validité d'un graphe par rapport à une contrainte.

Cette opération a pour nom constraintsatisfaction et est appelée suite à la réception d'une requête ayant des attributs env, idc (identificateur de la contrainte) et idg (identificateur du graphe). L'exécution de cette opération retourne une balise XML constraintsatisfaction qui contient un attribut result qui vaut true si le graphe vérifie la contrainte et false sinon.

See also
Environment::constraintSatisfaction(), OpeConstraintSatisfaction, Graph checkout operations according to a constraint.

Member Function Documentation

◆ name()

std::string cogitantcs::OpeServerConstraintSatisfaction::name ( ) const
virtual

Retourne le nom de l'opération.

Ce nom est aussi l'intitulé de la balise XML servant à lancer l'opération dans une requête.

Implements cogitantcs::OpeServer.

◆ run()

void cogitantcs::OpeServerConstraintSatisfaction::run ( )
virtual

Lancement de l'opération.

Cette méthode ne retourne rien mais le résultat de l'opération peut être récupéré avec les méthodes getResultxxx() (différentes selon les sous classes de Operation).

Implements cogitant::OperationBase.