Types de quantificateurs des spécifications d'ensembles d'entités.

NFIRST=1, ALLENT

Liste exhaustive des types de quantificateurs utilisés dans les spécifications d'ensembles d'entités.

Une spécification d'ensembles d'entités, instance de EntitySpec, permet de construire une liste d'entités répondant à certains critères (voir page 'Spécifications d'ensembles d'entités'). On peut ainsi construire une liste qui comprend les n premières (avec NFIRST) ou toutes les entités (avec ALLENT) satisfaisant les critères.


This page was generated with the help of DOC++.