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

Static Public Member Functions | List of all members
cogitant::Constraint Class Reference

Contrainte. More...

#include "cogitant/constraint.h"

Inheritance diagram for cogitant::Constraint:
cogitant::CoupleOfLambdas cogitant::EnvironmentObject cogitant::ObservableObject cogitant::CogitantObject

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.
Constraintoperator= (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...
 
Graphfirst ()
 Premier élément du couple. More...
 
Graphsecond ()
 Second élément du couple. More...
 
SetOfCouplesconnectionPoints ()
 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...
 
CoupleOfLambdasoperator= (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...
 
GraphasGraph ()
 Conversion explicite de l'objet en graphe conceptuel. More...
 
RuleasRule ()
 Conversion explicite de l'objet en règle. More...
 
ConstraintasConstraint ()
 Conversion explicite de l'objet en contrainte. More...
 
ColoredGraphConstraintasColoredGraphConstraint ()
 Conversion explicite de l'objet en contrainte sous forme de graphe bicoloré. More...
 
CoupleOfLambdasasCoupleOfLambdas ()
 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...
 
EnvironmentObjectExtensionextension (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...
 
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...
 

Static Public Member Functions

static ConstraintconvertFrom (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 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...
 

Detailed Description

Contrainte.

See also
Representation of a constraint.

Constructor & Destructor Documentation

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
positivetrue pour une contrainte positive, false pour une contrainte négative.
allocallocateur utilisé pour les membres. Un allocateur par défaut est créé si alloc = NULL.
envenvironnement dans lequel la contrainte est définie.
cogitant::Constraint::Constraint ( Constraint const &  o,
Environment const *  env = NULL,
CoupleOfLambdasAllocator const *  alloc = NULL 
)

Constructeur par recopie.

Parameters
ocontrainte à copier.
envenvironment 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é.
cogitant::Constraint::~Constraint ( )

Destructeur.

Member Function Documentation

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
eEnvironment contenant la contrainte.
cgColoredGraphConstraint représentant la contrainte.
Returns
une Constraint (créée par Environment::newExternalConstraint()), conversion depuis cg.
Type cogitant::Constraint::objectType ( ) const
virtual
Constraint& cogitant::Constraint::operator= ( Constraint const &  ob)

Affectation.