|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectbob.constantes.TOperateur
bob.constantes.TOpBinaire
bob.constantes.TOpRelation
public class TOpRelation
La classe TOpRelation contient les informations sur les opérateurs s'appliquant sur les relations.
TOpBinaire
,
TExprOpBinaire
Field Summary | |
---|---|
static TOpRelation |
ENSEMBLE
Ensemble de relations (<->) |
static TOpRelation |
IMAGE
Image d'une relation (_[_]) |
static TOpRelation |
PROD_DIRECT
Opérateur "produit direct de relations" (><) |
static TOpRelation |
PROD_PARALLELE
Opérateur "produit parallèle de relations" (||) |
static TOpRelation |
RESTRICT_CODOM
Opérateur "restriction de codomaine" (|>) |
static TOpRelation |
RESTRICT_DOM
Opérateur "restriction de domaine" (<|) |
static TOpRelation |
SEQUENCE
Opérateur "séquencement de relations" (;) |
static TOpRelation |
SOUSTRACT_CODOM
Opérateur "soustraction de codomaine" (|>>) |
static TOpRelation |
SOUSTRACT_DOM
Opérateur "soustraction de domaine" (<<|) |
static TOpRelation |
SURCHARGE
Opérateur "surcharge" (<+) |
Constructor Summary | |
---|---|
TOpRelation()
|
Method Summary | |
---|---|
void |
Afficher(java.io.Writer flux_sortie)
Affiche un opérateur de relation. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
public static final TOpRelation ENSEMBLE
public static final TOpRelation IMAGE
public static final TOpRelation SEQUENCE
public static final TOpRelation PROD_DIRECT
public static final TOpRelation PROD_PARALLELE
public static final TOpRelation RESTRICT_DOM
public static final TOpRelation SOUSTRACT_DOM
public static final TOpRelation RESTRICT_CODOM
public static final TOpRelation SOUSTRACT_CODOM
public static final TOpRelation SURCHARGE
Constructor Detail |
---|
public TOpRelation()
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 FileWriter 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 |