Contrainte. More...

#include "cogitant/constraint.h"

Inheritance diagram for cogitant::Constraint:

Public Member Functions
Constructeurs - destructeur.
	Constraint (bool positive, Environment const env, CoupleOfLambdasAllocator const alloc=NULL)
	Constructeur. More...

	Constraint (Constraint const &o, Environment const env=NULL, CoupleOfLambdasAllocator const alloc=NULL)
	Constructeur par recopie. More...

	~Constraint ()
	Destructeur. More...

Accesseurs.
Type	objectType () const
	Type de l'objet. More...

bool	isPositive () const
	Est-ce que la contrainte est positive ?

bool	isNegative () const
	Est-ce que la contrainte est négative ?

Opérateurs.
Constraint &	operator= (Constraint const &ob)
	Affectation. More...

Public Member Functions inherited from cogitant::CoupleOfLambdas
	CoupleOfLambdas (Environment const env, CoupleOfLambdasAllocator const alloc=NULL)
	Constructeur. More...

	CoupleOfLambdas (CoupleOfLambdas const &o, Environment const env=NULL, CoupleOfLambdasAllocator const alloc=NULL)
	Constructeur par recopie. More...

	~CoupleOfLambdas ()
	Destructeur. More...

void	setEnvironment (Environment const *env)
	Changement de l'environnement de l'objet. More...

Graph *	first ()
	Premier élément du couple. More...

Graph *	second ()
	Second élément du couple. More...

SetOfCouples &	connectionPoints ()
	Points d'attache. More...

void	addConnectionPoint (iSet x, iSet y)
	Ajout d'un couple de points d'attache. More...

void	setFirstSecond (Graph g1, Graph g2)
	Modification des graphes. More...

void	setFirst (Graph *g1)
	Modification du premier graphe. More...

void	setSecond (Graph *g2)
	Modification du second graphe. More...

Type	objectType () const
	Type de l'objet. More...

void	individualMarkers (std::vector< iSet > &im)
	Ajoute à l'ensemble passé l'ensemble des marqueurs individuels utilisés dans l'EnvironmentObject. More...

Graph const *	first () const
	Premier graphe du couple. More...

Graph const *	second () const
	Second graphe du couple. More...

SetOfCouples const &	connectionPoints () const
	Points d'attache. More...

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

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

	EnvironmentObject (EnvironmentObject const &o, Environment const *env=NULL)
	Constructeur par recopie. More...

	~EnvironmentObject ()
	Destructeur. More...

Graph *	asGraph ()
	Conversion explicite de l'objet en graphe conceptuel. More...

Rule *	asRule ()
	Conversion explicite de l'objet en règle. More...

Constraint *	asConstraint ()
	Conversion explicite de l'objet en contrainte. More...

ColoredGraphConstraint *	asColoredGraphConstraint ()
	Conversion explicite de l'objet en contrainte sous forme de graphe bicoloré. More...

CoupleOfLambdas *	asCoupleOfLambdas ()
	Conversion explicite de l'objet en couple de lambdas graphes. More...

virtual void	setName (std::string const &n)
	Changement du nom de l'objet. More...

void	setId (iSet id)
	Changement de l'identificateur d'environnement. More...

std::vector< EnvironmentObjectExtension * > &	extensions ()
	Accès aux extensions de l'objet. More...

EnvironmentObjectExtension *	extension (const char *id)
	Accès à une extension de l'objet par son identifiant. More...

void	addExtension (EnvironmentObjectExtension *ext)
	Ajoute une extension. More...

Graph const *	asGraph () const
	Conversion explicite de l'objet en graphe conceptuel. More...

Rule const *	asRule () const
	Conversion explicite de l'objet en règle. More...

Constraint const *	asConstraint () const
	Conversion explicite de l'objet en contrainte. More...

ColoredGraphConstraint const *	asColoredGraphConstraint () const
	Conversion explicite de l'objet en contrainte sous forme de graphe bicoloré. More...

CoupleOfLambdas const *	asCoupleOfLambdas () const
	Conversion explicite de l'objet en couple de lambdas graphes. More...

virtual std::string	name () const
	Nom de l'objet. More...

iSet	id () const
	Identificateur de l'objet dans l'Environment. More...

Environment const *	environment () const
	Environnement dans lequel l'objet est défini. More...

Support const *	support () const
	Support sur lequel l'objet est défini. More...

std::vector< EnvironmentObjectExtension * > const &	extensions () const
	Accès aux extensions de l'objet. More...

EnvironmentObjectExtension const *	extension (const char *id) const
	Accès à une extension de l'objet par son identifiant. More...

virtual std::string	iSetString () const
	Retourne une chaine contenant l'identifiant de l'objet pouvant être utile pour du débogage. 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...

Static Public Member Functions
static Constraint *	convertFrom (Environment e, ColoredGraphConstraint const cg)
	Conversion d'une contrainte exprimée sous la forme d'un graphe bicoloré en contrainte sous la forme d'un couple de lambda-graphes. More...

Additional Inherited Members
Public Types inherited from cogitant::EnvironmentObject
enum	Type { OT_GRAPH, OT_COUPLEOFLAMBDAS, OT_RULE, OT_POSITIVECONSTRAINT, OT_NEGATIVECONSTRAINT, OT_POSITIVECOLOREDGRAPHCONSTRAINT, OT_NEGATIVECOLOREDGRAPHCONSTRAINT }
	Type d'objet. More...

Protected Member Functions inherited from cogitant::CoupleOfLambdas
void	allocMembers ()
	Allocation de tous les membres. More...

void	allocMembers (CoupleOfLambdas const &o)
	Allocation de tous les membres par copie des membres d'une règle existante. More...

void	deleteMembers ()
	Destruction de tous les membres. 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...

Detailed Description

Contrainte.

See also: Representation of a constraint.

Constructor & Destructor Documentation

◆ Constraint() [1/2]

cogitant::Constraint::Constraint	(	bool	positive,
		Environment const *	env,
		CoupleOfLambdasAllocator const *	alloc = `NULL`
	)

Constructeur.

L'utilisation de constructeur produit une contrainte dont les deux graphes condition et obligation/interdiction sont vides et ne possédant aucun pont d'attache.

Parameters

positive	true pour une contrainte positive, false pour une contrainte négative.
alloc	allocateur utilisé pour les membres. Un allocateur par défaut est créé si alloc = `NULL`.
env	environnement dans lequel la contrainte est définie.

◆ Constraint() [2/2]

cogitant::Constraint::Constraint	(	Constraint const &	o,
		Environment const *	env = `NULL`,
		CoupleOfLambdasAllocator const *	alloc = `NULL`
	)

Constructeur par recopie.

Parameters

o	contrainte à copier.
env	environment sur lequel la contrainte créée est définie. Il est conseillé de laisser la valeur par défaut (`NULL`) qui définit l'environment de la nouvelle contrainte avec celui de la contrainte copiée.
alloc	= `NULL`, le même allocateur que pour o est utilisé pour la copie, sinon l'allocateur passé est utilisé.

◆ ~Constraint()

cogitant::Constraint::~Constraint ( )

Destructeur.

Member Function Documentation

◆ convertFrom()

static Constraint* cogitant::Constraint::convertFrom	(	Environment *	e,
		ColoredGraphConstraint const *	cg
	)

static

Conversion d'une contrainte exprimée sous la forme d'un graphe bicoloré en contrainte sous la forme d'un couple de lambda-graphes.

Parameters

e	Environment contenant la contrainte.
cg	ColoredGraphConstraint représentant la contrainte.

Returns: une Constraint (créée par Environment::newExternalConstraint()), conversion depuis cg.

◆ objectType()

Type cogitant::Constraint::objectType ( ) const

virtual

Type de l'objet.

Returns: EnvironmentObject::OT_POSITIVECONSTRAINT ou EnvironmentObject::OT_NEGATIVECONSTRAINT.

Implements cogitant::EnvironmentObject.

◆ operator=()

Constraint& cogitant::Constraint::operator= ( Constraint const & ob )

Affectation.

Public Member Functions

Static Public Member Functions

Additional Inherited Members

Detailed Description

Constructor & Destructor Documentation

◆ Constraint() [1/2]

◆ Constraint() [2/2]

◆ ~Constraint()

Member Function Documentation

◆ convertFrom()

◆ objectType()

◆ operator=()