Ce panneau vous permet de créer une population estampillée en utilisant les opérateurs ensemblistes (union, intersection et différence) sur des populations estampillées existantes.
Une population estampillée est une liste de paires <identifiers; time stamps> : qui représentent des instantanés des entités à un moment donné. Une entité peut figurer plusieurs fois dans une même population estampillée mais associée à des moments différents.
La composition est représentée par un arbre dont le premier niveau est un opérateur ensembliste et les niveaux suivants des populations estampillées ou des opérateurs.
| L'icône... | Ayant l'étiquette... | Représente... |
|---|---|---|
![]() |
Indéfini | un paramètre non défini |
![]() |
Concaténation | l'opérateur d'union |
![]() |
Intersection | l'opérateur d'intersection |
![]() |
Différence | l'opérateur de différence |
![]() |
<Nom d'une population estampillée> | la population estampillée nommée |
Par défaut, un modèle dont les paramètres ne sont pas définis est affiché.
| Nom de l'opérateur | Résultat |
|---|---|
| Concaténation | l'union des populations estampillées sélectionnées |
| Intersection | l'intersection des populations estampillées sélectionnées |
| Différence | la différence entre les populations estampillées sélectionnées |
Le drapeau est remplacé par l'opérateur sélectionné suivi de son nom.