Calcul de la liste des images possibles d'un sommet lors du calcul des projections. More...

#include "cogitant/opeprojection.h"

Inheritance diagram for cogitant::OpeProjLIPInit:

Public Member Functions
Error	check ()
	Vérification des paramètres. More...

void	run ()
	Lancement de l'opération. More...

Constructeurs - destructeur.
	OpeProjLIPInit (Environment *env)
	Constructeur. More...

	~OpeProjLIPInit ()
	Destructeur. More...

virtual OpeProjLIPInit *	clone () const
	Copie. More...

Entrée des paramètres.
void	setParamG (Graph const *g)

void	setParamH (Graph const *h)

void	setParamO1 (iSet o1)

void	setParamInNestings (bool i)

void	setParamLIPs (LIP *lips)

void	setParamChildrenOfLIPs (bool col)

void	setParamProjection (Projection const *proj)

void	setParamOpeCompatibility (OpeGraphObjectCompatibility *opecompat)

Accès aux résultats.
LIP *	getResult () const
	Retourne la lip modifiée, c'est à dire io_lips[i_o1]. More...

Méthodes de mise à jour.
Ces méthodes sont appelées automatiquement par l'opération de calcul des projections, et peuvent être utilisées pour mettre à jour des structures de données internes à la classe et permettre ainsi une exécution plus rapide de l'opération.
virtual void	exploreEnd (iSet o)
	Fin d'exploration des images possibles d'un sommet. More...

Public Member Functions inherited from cogitant::Operation
Environment *	environment () const
	Environnement. More...

void	setEnvironment (Environment *env)
	Modification de l'environnement sur lequel est défini l'opération. More...

	Operation (Environment *env)
	Constructeur. More...

	Operation (Operation const &o)
	Constructeur par recopie. More...

	~Operation ()
	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...

PropertySet *	properties ()
	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...

CogitantObject &	operator= (CogitantObject const &ob)
	Affectation. More...

Protected Member Functions
void	runRoot ()
	Exécution de l'opération si i_o1 est la racine. More...

void	runCoreference ()
	Exécution de l'opération si i_o1 est une classe de coréférence. More...

void	runDefault ()
	Exécution de l'opération par défaut (autre que racine et coréférence). More...

bool	runDefaultOptimize ()
	Exécution optimisée, prenant en compte les images possibles des voisins, de l'opération par défaut. More...

bool	runChildrenOf ()
	Exécution par construction d'une LIP contenant une contrainte childrenof. More...

Protected Member Functions inherited from cogitant::Operation
void	setProgress (unsigned int current, unsigned int max)
	Progression actuelle de l'opération. More...

Protected Member Functions inherited from cogitant::ObservableObject
virtual ObserverSet *	allocObservers () 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...

ObserverSet &	observers ()
	Accès à l'ensemble des observateurs. More...

Protected Member Functions inherited from cogitant::CogitantObject
virtual PropertySet *	allocProperties () 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
Graph const *	i_g
	Le premier graphe.

Graph const *	i_h
	Le second graphe.

iSet	i_o1
	Le premier élément du couple.

bool	i_innestings
	Projection du graphe racine dans tous les graphes.

LIP *	io_lips
	Les listes d'images possibles déjà calculées. io_lip[i_o1] est modifiée par run().

bool	i_childrenoflips
	Possibilité de produire des LIP de type childrenof. More...

Projection const *	i_projection
	La projection en cours de calcul.

OpeGraphObjectCompatibility *	i_opecompatibility
	L'opération de compatibilité utilisée.

Protected Attributes inherited from cogitant::OperationBase
bool	m_stop
	Arrêt de l'exécution de l'opération demandé. 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::Operation
static const Error	PROJBACKTRACKCHOICE_EMPTYLIST
	Impossible d'enlever un élément à une liste vide. More...

static const Error	OBJECTTYPE
	Un (identifiant d') objet parmi les paramètres n'est pas du bon type. More...

static const Error	WRONGEDGES
	Un graphe parmi les paramètres de l'opération possède des arêtes pendantes. 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...

Detailed Description

Calcul de la liste des images possibles d'un sommet lors du calcul des projections.

Les images possibles déja calculées sont dans io_lips et celles de l'élément i_o1 du graphe i_g dans le graphe i_h sont stockées dans io_lips[i_o1]. La LIP est remplie en utilisant l'opération de compatibilité entre éléments de graphes (OpeGraphObjectCompatibility) pour déterminer les images possibles. Si i_innestings est true le graphe racine du graphe projeté peut avoir comme image tous les graphes internes.

Constructor & Destructor Documentation

◆ OpeProjLIPInit()

cogitant::OpeProjLIPInit::OpeProjLIPInit ( Environment * env )

Constructeur.

◆ ~OpeProjLIPInit()

cogitant::OpeProjLIPInit::~OpeProjLIPInit ( )

Destructeur.

Member Function Documentation

◆ check()

Error cogitant::OpeProjLIPInit::check ( )

virtual

Vérification des paramètres.

Retourne Operation::CHECKOK si l'opération peut être exécutée (méthode run()) ou un code d'erreur dans le cas contraire.

Implements cogitant::OperationBase.

◆ clone()

virtual OpeProjLIPInit* cogitant::OpeProjLIPInit::clone ( ) const

virtual

Copie.

◆ exploreEnd()

virtual void cogitant::OpeProjLIPInit::exploreEnd ( iSet o )

virtual

Fin d'exploration des images possibles d'un sommet.

◆ getResult()

LIP* cogitant::OpeProjLIPInit::getResult ( ) const

Retourne la lip modifiée, c'est à dire io_lips[i_o1].

◆ run()

void cogitant::OpeProjLIPInit::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.

◆ runChildrenOf()

bool cogitant::OpeProjLIPInit::runChildrenOf ( )

protected

Exécution par construction d'une LIP contenant une contrainte childrenof.

Returns: true ssi l'exécution a été possible.

◆ runCoreference()

void cogitant::OpeProjLIPInit::runCoreference ( )

protected

Exécution de l'opération si i_o1 est une classe de coréférence.

◆ runDefault()

void cogitant::OpeProjLIPInit::runDefault ( )

protected

Exécution de l'opération par défaut (autre que racine et coréférence).

◆ runDefaultOptimize()

bool cogitant::OpeProjLIPInit::runDefaultOptimize ( )

protected

Exécution optimisée, prenant en compte les images possibles des voisins, de l'opération par défaut.

Returns: true ssi l'exécution a été possible.

◆ runRoot()

void cogitant::OpeProjLIPInit::runRoot ( )

protected

Exécution de l'opération si i_o1 est la racine.

Member Data Documentation

◆ i_childrenoflips

bool cogitant::OpeProjLIPInit::i_childrenoflips

protected

Possibilité de produire des LIP de type childrenof.

Si true peut créer des LIPs contenant une simple contrainte childrenof. Si false, crée des LIPs classiques contenant des listes d'images possibles.

Public Member Functions

Protected Member Functions

Protected Attributes

Additional Inherited Members

Detailed Description

Constructor & Destructor Documentation

◆ OpeProjLIPInit()

◆ ~OpeProjLIPInit()

Member Function Documentation

◆ check()

◆ clone()

◆ exploreEnd()

◆ getResult()

◆ run()

◆ runChildrenOf()

◆ runCoreference()

◆ runDefault()

◆ runDefaultOptimize()

◆ runRoot()

Member Data Documentation

◆ i_childrenoflips