Vérification du caractère irredondant d'un graphe. More...

#include "cogitant/opeirredundant.h"

Inheritance diagram for cogitant::OpeVerifIrredundant:

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

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

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

	~OpeVerifIrredundant ()
	Destructeur. More...

Public Member Functions inherited from cogitant::OpeVerificationGraph
Error	check ()
	Vérification des paramètres. More...

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

void	setParamG (Graph const *g)

void	setParamGNode (iSet gnode)

Public Member Functions inherited from cogitant::OpeVerification
	OpeVerification (Environment *env)
	Constructeur. More...

void	setParamResultErrors (ListErrors *errors)

unsigned int	getErrorsSize () const

ListErrors const *	getErrors () const

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...

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...

Protected Member Functions inherited from cogitant::OpeVerificationGraph
void	runGraphObjectType (GraphObject::Type t)
	Exécute la méthode run() sur tous les objets du graphe de type t. More...

Protected Member Functions inherited from cogitant::OpeVerification
void	addErrorISet (ErrorInfo::Type et, iSet object)
	Ajoute une erreur à l'ensemble d'erreurs. More...

void	addErrorISetEdgeLabel (ErrorInfo::Type et, iSet object, Edge::Label el)
	Ajoute une erreur à l'ensemble d'erreurs. 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 inherited from cogitant::OpeVerificationGraph
Graph const *	i_g
	Le graphe à vérifier.

iSet	i_gnode
	Le sommet de i_g à vérifier ou `ISET_NULL` si tous les sommets doivent être vérifiés.

Protected Attributes inherited from cogitant::OpeVerification
unsigned int	o_errorssize
	Nombre d'erreurs rencontrées.

ListErrors *	io_errors
	Liste d'erreurs.

Protected Attributes inherited from cogitant::OperationBase
bool	m_stop
	Arrêt de l'exécution de l'opération demandé. More...

Detailed Description

Vérification du caractère irredondant d'un graphe.

Soit un graphe i_g, cette opération vérifie que le graphe i_g est sous forme irredondante. Le paramètre i_gnode est ignoré (dans la version actuelle, mais on pourrait imaginer, dans une prochaine version la vérification du seul graphe interne i_gnode ). Dans le cas où le graphe n'est pas sous forme irredondante, une valeur peut-être stockée dans io_errors mais cette valeur n'est pas très pertinente, elle n'est là que pour fournir un résultat ayant la même forme que les autres sous-classes de OpeVerificationGraph.

Cette opération utilise OpeAcceptableProjectionNonInjective pour déterminer si un graphe est sous forme irredondante. En effet, un graphe est redondant si et seulement si il existe une projection non injective de ce graphe dans lui même. L'opération de vérification de la forme irredondante recherche donc une telle projection, si au moins une de ces projections est trouvée, le graphe est redondant, si aucune n'est trouvée, il ne l'est pas.

Warning: Dans le cas d'un graphe emboîté, cette méthode prend en compte les emboîtements, ainsi, même si le graphe racine est irredondant, la méthode peut retourner false dans le cas où un des graphes emboîtés contient de la redondance.

See also: Environment::verifIrredundant().

Constructor & Destructor Documentation

◆ OpeVerifIrredundant()

cogitant::OpeVerifIrredundant::OpeVerifIrredundant ( Environment * env )

Constructeur.

◆ ~OpeVerifIrredundant()

cogitant::OpeVerifIrredundant::~OpeVerifIrredundant ( )

Destructeur.

Member Function Documentation

◆ check()

Error cogitant::OpeVerifIrredundant::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.

◆ run()

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