|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectbob.constantes.TOperateur
bob.constantes.TOpQuantif
public class TOpQuantif
La classe TOpQuantif contient les informations sur les opérateurs de quantifications.
Ce sont les opérateurs logiques pourtout, existe, et les opérateurs d'expression UNION, INTER, SIGMA, PI.
TOperateur
,
TPredQuantif
Field Summary | |
---|---|
static TOpQuantif |
IL_EXISTE
Opérateur "il existe" (#) |
static TOpQuantif |
INTER
Opérateur "intersection quantifiée" (INTER) |
static TOpQuantif |
LAMBDA
Opérateur "lambda" (%) |
static TOpQuantif |
PI
Opérateur "produit généralisé" (PI) |
static TOpQuantif |
POUR_TOUT
Opérateur "pour tout" (!) |
static TOpQuantif |
SIGMA
Opérateur "somme généralisée" (SIGMA) |
static TOpQuantif |
UNION
Opérateur "union quantifiée" (UNION) |
Constructor Summary | |
---|---|
TOpQuantif()
|
Method Summary | |
---|---|
void |
Afficher(java.io.Writer flux_sortie)
Affiche un opérateur de quantification. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public static final TOpQuantif POUR_TOUT
public static final TOpQuantif IL_EXISTE
public static final TOpQuantif UNION
public static final TOpQuantif INTER
public static final TOpQuantif SIGMA
public static final TOpQuantif PI
public static final TOpQuantif LAMBDA
Constructor Detail |
---|
public TOpQuantif()
Method Detail |
---|
public void Afficher(java.io.Writer flux_sortie) throws java.io.IOException, java.io.FileNotFoundException
Afficher
in class TOperateur
flux_sortie
- Flux de sortie: fichier de type Writer ou terminal(new PrintWriter(System.out)).
java.io.IOException
java.io.FileNotFoundException
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |