bob.constantes
Class TOpLogique

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

public class TOpLogique
extends TOpBinaire

La classe TOpLogique contient les informations sur les opérateurs logiques ayant des prédicats comme membres.

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

Field Summary
static TOpLogique EQUIVALENT
          Opérateur logique "équivalent à" (<=>)
static TOpLogique ET
          Opérateur logique "et" (&)
static TOpLogique IMPLIQUE
          Opérateur logique "implique" (=>)
static TOpLogique NON
          Opérateur logique "non" (not)
static TOpLogique OU
          Opérateur logique "ou" (or)
 
Constructor Summary
TOpLogique()
           
 
Method Summary
 void Afficher(java.io.Writer flux_sortie)
          Affiche un opérateur logique.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

ET

public static final TOpLogique ET
Opérateur logique "et" (&)


OU

public static final TOpLogique OU
Opérateur logique "ou" (or)


NON

public static final TOpLogique NON
Opérateur logique "non" (not)


IMPLIQUE

public static final TOpLogique IMPLIQUE
Opérateur logique "implique" (=>)


EQUIVALENT

public static final TOpLogique EQUIVALENT
Opérateur logique "équivalent à" (<=>)

Constructor Detail

TOpLogique

public TOpLogique()
Method Detail

Afficher

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

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.