bob.constantes
Class TOpEnsemble

java.lang.Object
  extended by bob.constantes.TOperateur
      extended by bob.constantes.TOpBinaire
          extended by bob.constantes.TOpEnsemble

public class TOpEnsemble
extends TOpBinaire

La classe TOpEnsemble contient les informations sur les opérateurs ensemblistes.

Version:
1.0 du 13/06/2001
Author:
Frédéric Chatel
See Also:
TOpBinaire, TExprOpBinaire, TPredEnsemble

Field Summary
static TOpEnsemble APPARTIENT
          Opérateur "appartient ŕ" (:)
static TOpEnsemble INCLUS
          Opérateur "est inclus dans ou égal" (<:)
static TOpEnsemble INTERSECTION
          Opérateur "intersection" (/\)
static TOpEnsemble INTERVALLE
          Opérateur "intervalle" (..)
static TOpEnsemble MAPLET
          Opérateur "maplet" (|->)
static TOpEnsemble MOINS
          Opérateur "soustraction d'ensembles" (-)
static TOpEnsemble MULTIPLIE
          Opérateur "produit cartésien d'ensembles" (*)
static TOpEnsemble NON_APPARTIENT
          Opérateur "n'appartient pas ŕ" (/:)
static TOpEnsemble NON_INCLUS
          Opérateur "n'est pas stritement inclus ou égal" (/<:)
static TOpEnsemble NON_STRICT_INCLUS
          Opérateur "n'est pas strictement inclus dans" (/<<:)
static TOpEnsemble STRICT_INCLUS
          Opérateur "est strictement inclus dans" (<<:)
static TOpEnsemble UNION
          Opérateur "union" (\/)
static TOpEnsemble VIRGULE
          Opérateur "virgule" (,)
 
Constructor Summary
TOpEnsemble()
           
 
Method Summary
 void Afficher(java.io.Writer flux_sortie)
          Affiche un opérateur ensembliste.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

APPARTIENT

public static final TOpEnsemble APPARTIENT
Opérateur "appartient ŕ" (:)


NON_APPARTIENT

public static final TOpEnsemble NON_APPARTIENT
Opérateur "n'appartient pas ŕ" (/:)


INCLUS

public static final TOpEnsemble INCLUS
Opérateur "est inclus dans ou égal" (<:)


NON_INCLUS

public static final TOpEnsemble NON_INCLUS
Opérateur "n'est pas stritement inclus ou égal" (/<:)


STRICT_INCLUS

public static final TOpEnsemble STRICT_INCLUS
Opérateur "est strictement inclus dans" (<<:)


NON_STRICT_INCLUS

public static final TOpEnsemble NON_STRICT_INCLUS
Opérateur "n'est pas strictement inclus dans" (/<<:)


INTERSECTION

public static final TOpEnsemble INTERSECTION
Opérateur "intersection" (/\)


UNION

public static final TOpEnsemble UNION
Opérateur "union" (\/)


MOINS

public static final TOpEnsemble MOINS
Opérateur "soustraction d'ensembles" (-)


MULTIPLIE

public static final TOpEnsemble MULTIPLIE
Opérateur "produit cartésien d'ensembles" (*)


MAPLET

public static final TOpEnsemble MAPLET
Opérateur "maplet" (|->)


VIRGULE

public static final TOpEnsemble VIRGULE
Opérateur "virgule" (,)


INTERVALLE

public static final TOpEnsemble INTERVALLE
Opérateur "intervalle" (..)

Constructor Detail

TOpEnsemble

public TOpEnsemble()
Method Detail

Afficher

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

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


Copyright OB.