Class ResultatAnalyse

java.lang.Object
  ResultatAnalyse

public class ResultatAnalyse
extends java.lang.Object

Field Summary

(package private) boolean	Abandon
(package private) bob.predicat.TPredicat	Assertion
(package private) bob.composant.TComposant	composantB
(package private) int[]	EquivalenceEtats
(package private) java.lang.String	ExtensionFichier
(package private) java.lang.String[]	ListeNomsOps
(package private) java.util.Vector<bob.composant.TOperation>	ListeOperation
(package private) java.lang.String	NomFichierAvecExtensionEtChemin
(package private) java.lang.String	NomFichierSansExtensionEtChemin
(package private) java.lang.String	NomFichierSansExtensionSansChemin
(package private) java.util.Vector<bob.predicat.TPredicat>	preds_disj

Constructor Summary

ResultatAnalyse()

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

NomFichierAvecExtensionEtChemin

java.lang.String NomFichierAvecExtensionEtChemin

NomFichierSansExtensionEtChemin

java.lang.String NomFichierSansExtensionEtChemin

NomFichierSansExtensionSansChemin

java.lang.String NomFichierSansExtensionSansChemin

ExtensionFichier

java.lang.String ExtensionFichier

composantB

bob.composant.TComposant composantB

Assertion

bob.predicat.TPredicat Assertion

preds_disj

java.util.Vector<bob.predicat.TPredicat> preds_disj

ListeOperation

java.util.Vector<bob.composant.TOperation> ListeOperation

ListeNomsOps

java.lang.String[] ListeNomsOps

EquivalenceEtats

int[] EquivalenceEtats

Abandon

boolean Abandon

Constructor Detail

ResultatAnalyse

public ResultatAnalyse()