bob.constantes
Class TOpQuantif

java.lang.Object
  extended by bob.constantes.TOperateur
      extended by bob.constantes.TOpQuantif

public class TOpQuantif
extends TOperateur

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.

Version:
1.0 du 13/06/2001
Author:
Frédéric Chatel
See Also:
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

POUR_TOUT

public static final TOpQuantif POUR_TOUT
Opérateur "pour tout" (!)


IL_EXISTE

public static final TOpQuantif IL_EXISTE
Opérateur "il existe" (#)


UNION

public static final TOpQuantif UNION
Opérateur "union quantifiée" (UNION)


INTER

public static final TOpQuantif INTER
Opérateur "intersection quantifiée" (INTER)


SIGMA

public static final TOpQuantif SIGMA
Opérateur "somme généralisée" (SIGMA)


PI

public static final TOpQuantif PI
Opérateur "produit généralisé" (PI)


LAMBDA

public static final TOpQuantif LAMBDA
Opérateur "lambda" (%)

Constructor Detail

TOpQuantif

public TOpQuantif()
Method Detail

Afficher

public void Afficher(java.io.Writer flux_sortie)
              throws java.io.IOException,
                     java.io.FileNotFoundException
Affiche un opérateur de quantification.

Overrides:
Afficher in class TOperateur
Parameters:
flux_sortie - Flux de sortie: fichier de type Writer ou terminal(new PrintWriter(System.out)).
Throws:
java.io.IOException
java.io.FileNotFoundException


Copyright OB.