Uses of Class
bob.predicat.TPredicat

Packages that use TPredicat
bob.composant Provides classes to represent internal B components. 
bob.elementB Provides top-level class and general utilities of BoB. 
bob.expression Provides classes to represent B expressions. 
bob.predicat Provides classes to represent B predicates. 
bob.substitution Provides classes to represent B substitutions. 
bob.traduire Provides the class to translate the output of the Tatibouet parser into a LSR/BoB component. 
 

Uses of TPredicat in bob.composant
 

Methods in bob.composant that return TPredicat
 TPredicat TClauseConstraints.DonnerConstraints()
           
 TPredicat TClauseInvariant.DonnerInvariant()
           
 TPredicat TClauseProperties.DonnerProperties()
           
 

Methods in bob.composant that return types with arguments of type TPredicat
 java.util.Vector<TPredicat> TClauseAssertions.DonnerAssertions()
           
 

Methods in bob.composant with parameters of type TPredicat
 void TClauseConstraints.RangerConstraints(TPredicat x)
          initialisation de l'attribut Constraints
 void TClauseInvariant.RangerInvariant(TPredicat x)
          initialisation de l'attribut Invariant
 void TClauseProperties.RangerProperties(TPredicat x)
          initialisation de l'attribut Properties
 

Method parameters in bob.composant with type arguments of type TPredicat
static void TComposant.DiviserPredicats(java.util.Vector<TExprIdentificateur> aa, java.util.Vector<TPredicat> VP, java.util.Vector<TPredicat> V1, java.util.Vector<TPredicat> V2)
          Cette méthode est utilisée par l'aplatissement sans renommage.
static void TComposant.DiviserPredicats(java.util.Vector<TExprIdentificateur> aa, java.util.Vector<TPredicat> VP, java.util.Vector<TPredicat> V1, java.util.Vector<TPredicat> V2)
          Cette méthode est utilisée par l'aplatissement sans renommage.
static void TComposant.DiviserPredicats(java.util.Vector<TExprIdentificateur> aa, java.util.Vector<TPredicat> VP, java.util.Vector<TPredicat> V1, java.util.Vector<TPredicat> V2)
          Cette méthode est utilisée par l'aplatissement sans renommage.
 void TClauseAssertions.RangerAssertions(java.util.Vector<TPredicat> x)
          initialisation de l'attribut Assertions
 

Constructors in bob.composant with parameters of type TPredicat
TClauseConstraints(TPredicat c)
          constructeur non initialisant
TClauseInvariant(TPredicat inv)
           
TClauseProperties(TPredicat p)
           
TDefinition(TEnteteDef entete_def, TPredicat corps_def)
          constructeur initialisant de predicat
 

Constructor parameters in bob.composant with type arguments of type TPredicat
TClauseAssertions(java.util.Vector<TPredicat> liste)
          constructeur initialisant
 

Uses of TPredicat in bob.elementB
 

Methods in bob.elementB that return types with arguments of type TPredicat
static java.util.Vector<TPredicat> Util.DupliquerListePred(java.util.Vector<TPredicat> ListePred)
          Prend une liste de Predicats et en revoie une copie
 

Method parameters in bob.elementB with type arguments of type TPredicat
static java.util.Vector<TPredicat> Util.DupliquerListePred(java.util.Vector<TPredicat> ListePred)
          Prend une liste de Predicats et en revoie une copie
 

Uses of TPredicat in bob.expression
 

Methods in bob.expression that return TPredicat
 TPredicat TExprBoolPred.DonnerPredicat()
          Donne l'argument de la fonction.
 TPredicat TExprEnsCompr.DonnerPredicat()
          Donne le prédicat de définition de l'ensemble.
 TPredicat TExprOpQuant.DonnerPredicat()
          Donne le prédicat de typage de l'opération quantifiée.
 

Constructors in bob.expression with parameters of type TPredicat
TExprBoolPred(TPredicat Pred)
          Constructeur paramètré qui initialise les attributs avec les entrées de l'utilisateur.
TExprEnsCompr(java.util.Vector<TExprIdentificateur> liste_ident, TPredicat p)
          Constructeur paramètré qui initialise les attributs avec les entrées de l'utilisateur.
TExprOpQuant(TOpQuantif oper, java.util.Vector<TExprIdentificateur> liste_var, TPredicat p, TExpression expr)
          Constructeur paramétré qui initialise les attributs avec les entrées de l'utilisateur.
 

Uses of TPredicat in bob.predicat
 

Subclasses of TPredicat in bob.predicat
 class TPredComparaison
          La classe TPredComparaison contient les informations concernant les prédicats de comparaison.
 class TPredConst
          La classe TPredConst definit les constantes VRAI et FAUX necessaire.
 class TPredEnsemble
          La classe TPredEnsemble contient les informations concernant les prédicats ensemblistes.
 class TPredLogique
          La classe TPredLogique contient les informations concernant les prédicats logiques.
 class TPredParenthese
          La classe TPredParenthese contient les informations concernant les prédicats parenthèsés.
 class TPredQuantif
          La classe TPredQuantif contient les informations concernant les prédicats de quantification.
 

Methods in bob.predicat that return TPredicat
 TPredicat TPredLogique.DonnerMembreDroite()
          Donne le membre de droite du prédicat.
 TPredicat TPredLogique.DonnerMembreGauche()
          Donne le membre de gauche du prédicat.
 TPredicat TPredParenthese.DonnerPredicat()
          Donne le prédicat mis entre parenthèse.
 TPredicat TPredQuantif.DonnerPredicat()
          Donne le prédicat portant sur les identificateurs quantifiés.
static TPredicat TPredLogique.RecomposerET(java.util.Vector<TPredicat> lp)
          Méthode qui recompose une liste de prédicats en une conjonction avec associativité à gauche.
 TPredicat TPredComparaison.Simplifier()
          Simplification du prédicat de comparaison.
 TPredicat TPredConst.Simplifier()
          Simplifie un prédicat.
 TPredicat TPredEnsemble.Simplifier()
          Simplification du prédicat.
 TPredicat TPredLogique.Simplifier()
          Simplifie un predicat.
 TPredicat TPredParenthese.Simplifier()
          Renvoie le predicat simplifié VRAI ou FAUX, ou entre parenthèses.
 TPredicat TPredQuantif.Simplifier()
          Simplification d'un predicat de quantification.
 TPredicat TPredicat.Simplifier()
          Méthode de simplification d'un prédicat.
 

Methods in bob.predicat that return types with arguments of type TPredicat
 java.util.Vector<TPredicat> TPredLogique.DecomposerET()
          Méthode qui décompose un prédicat logique en un vecteur de prédicats reliés par des ET.
 

Methods in bob.predicat with parameters of type TPredicat
 boolean TPredComparaison.EstSyntaxEgal(TPredicat P)
          Recherche si le prédicat courant est syntaxiquement égal au prédicat en paramètre.
 boolean TPredConst.EstSyntaxEgal(TPredicat P)
          Recherche si le prédicat courant est syntaxiquement égal au prédicat en paramètre.
 boolean TPredEnsemble.EstSyntaxEgal(TPredicat P)
          Recherche si le prédicat courant est syntaxiquement égal au prédicat en paramètre.
 boolean TPredLogique.EstSyntaxEgal(TPredicat P)
          Recherche si le prédicat courant est syntaxiquement égal au prédicat en paramètre.
 boolean TPredParenthese.EstSyntaxEgal(TPredicat P)
          Recherche si le prédicat courant est syntaxiquement égal au prédicat en paramètre.
 boolean TPredicat.EstSyntaxEgal(TPredicat P)
          Recherche si le prédicat courant est syntaxiquement égal au prédicat en paramètre.
 

Method parameters in bob.predicat with type arguments of type TPredicat
static TPredicat TPredLogique.RecomposerET(java.util.Vector<TPredicat> lp)
          Méthode qui recompose une liste de prédicats en une conjonction avec associativité à gauche.
 

Constructors in bob.predicat with parameters of type TPredicat
TPredLogique(TOpLogique op, TPredicat mg, TPredicat md)
          Constructeur paramétré qui initialise les attributs avec les entrées de l'utilisateur.
TPredParenthese(TPredicat p)
          Constructeur paramètré qui initialise les attributs avec les entrées de l'utilisateur.
TPredQuantif(TOpQuantif op, java.util.Vector<TExprIdentificateur> liste_id, TPredicat p)
          Constructeur paramétré qui initialise les attributs avec les entrées de l'utilisateur.
 

Uses of TPredicat in bob.substitution
 

Methods in bob.substitution that return TPredicat
 TPredicat TSubstitution.CalculerGarde()
          Calcule la garde d'une substitution (faisabilite du B-Book)
 TPredicat TSubstitution.CalculerTermin()
          Calcule la terminaison d'une substitution
 TPredicat TSubAppelOp.CalculerWP(TPredicat post_cond)
          Calcule la plus faible précondition [r1,..
 TPredicat TSubAssertion.CalculerWP(TPredicat post_cond)
          Calcule la plus faible précondition [ASSERT P THEN S END]R.
 TPredicat TSubBloc.CalculerWP(TPredicat post_cond)
          Calcule la plus faible précondition [BEGIN S END]R.
 TPredicat TSubBoucle.CalculerWP(TPredicat post_cond)
          Calcule la plus faible précondition [WHILE P DO S INVARIANT I VARIANT V END]R.
 TPredicat TSubCas.CalculerWP(TPredicat post_cond)
          Calcule la plus faible précondition [CASE E OF EITHER l THEN S...OR p THEN T ELSE U]R.
 TPredicat TSubChoixBorne.CalculerWP(TPredicat post_cond)
          Calcule la plus faible précondition [S [] T [] ...]R.
 TPredicat TSubChoixNonBorne.CalculerWP(TPredicat post_cond)
          Calcule la plus faible précondition [ANY z WHERE P THEN S END]R.
 TPredicat TSubCondition.CalculerWP(TPredicat post_cond)
          Calcule la plus faible précondition [IF P1 THEN S1 ELSIF P2 THEN S2 ...
 TPredicat TSubDefinitionLocale.CalculerWP(TPredicat post_cond)
          Calcule la plus faible précondition [LET x,..
 TPredicat TSubDevientEgal.CalculerWP(TPredicat post_cond)
          Calcule la plus faible précondition [x:=E]R.
 TPredicat TSubDevientEltDe.CalculerWP(TPredicat post_cond)
          Calcule la plus faible précondition [x::E].
 TPredicat TSubDevientTelQue.CalculerWP(TPredicat post_cond)
          Calcule la plus faible précondition [x:P]R.
 TPredicat TSubIdentite.CalculerWP(TPredicat post_cond)
          Calcule la plus faible précondition [skip]R.
 TPredicat TSubPrecondition.CalculerWP(TPredicat post_cond)
          Calcule la plus faible précondition [P|S]R.
 TPredicat TSubSelection.CalculerWP(TPredicat post_cond)
          Calcule la plus faible précondition [P==>S]R pour une sélection simple.
 TPredicat TSubSequence.CalculerWP(TPredicat post_cond)
          Calcule la plus faible précondition [S;T]R.
 TPredicat TSubSimultanee.CalculerWP(TPredicat post_cond)
          Calcule la plus faible précondition [S||T]R.
 TPredicat TSubVariableLocale.CalculerWP(TPredicat post_cond)
          Calcule la plus faible précondition [@z.S]R.
 TPredicat TSubstitution.CalculerWP(TPredicat post_cond)
          Calcule la plus faible précondition assurant la terminaison de la substitution généralisée et la vérification de la postcondition.
 TPredicat TSubAssertion.DonnerAssert()
          Donne le prédicat d'une assertion introduit par le mot-clé ASSERT.
 TPredicat TSubDefinitionLocale.DonnerBe()
          Donne le prédicat d'initialisation introduit par le mot-clé BE.
 TPredicat TSubCondition.DonnerIf()
          Donne le prédicat introduit par le mot-clé IF.
 TPredicat TSubBoucle.DonnerInvariant()
          Donne le prédicat introduit par le mot-clé INVARIANT.
 TPredicat TSubPrecondition.DonnerPre()
          Donne le prédicat d'une substitution "précondition", introduit le mot-clé PRE.
 TPredicat TElsif.DonnerPredicat()
          Donne le prédicat d'une alternative introduit par le mot-clé ELSIF.
 TPredicat TSubDevientTelQue.DonnerPredicat()
          Donne le prédicat à droite de l'opérateur B ":".
 TPredicat TWhen.DonnerPredicat()
          Donne le prédicat d'une alternative.
 TPredicat TSubSelection.DonnerSelect()
          Donne le prédicat d'une sélection.
 TPredicat TSubChoixNonBorne.DonnerWhere()
          Donne le prédicat introduit par le mot-clé WHERE.
 TPredicat TSubBoucle.DonnerWhile()
          Donne le prédicat introduit par le mot-clé WHILE.
 

Methods in bob.substitution with parameters of type TPredicat
 TPredicat TSubAppelOp.CalculerWP(TPredicat post_cond)
          Calcule la plus faible précondition [r1,..
 TPredicat TSubAssertion.CalculerWP(TPredicat post_cond)
          Calcule la plus faible précondition [ASSERT P THEN S END]R.
 TPredicat TSubBloc.CalculerWP(TPredicat post_cond)
          Calcule la plus faible précondition [BEGIN S END]R.
 TPredicat TSubBoucle.CalculerWP(TPredicat post_cond)
          Calcule la plus faible précondition [WHILE P DO S INVARIANT I VARIANT V END]R.
 TPredicat TSubCas.CalculerWP(TPredicat post_cond)
          Calcule la plus faible précondition [CASE E OF EITHER l THEN S...OR p THEN T ELSE U]R.
 TPredicat TSubChoixBorne.CalculerWP(TPredicat post_cond)
          Calcule la plus faible précondition [S [] T [] ...]R.
 TPredicat TSubChoixNonBorne.CalculerWP(TPredicat post_cond)
          Calcule la plus faible précondition [ANY z WHERE P THEN S END]R.
 TPredicat TSubCondition.CalculerWP(TPredicat post_cond)
          Calcule la plus faible précondition [IF P1 THEN S1 ELSIF P2 THEN S2 ...
 TPredicat TSubDefinitionLocale.CalculerWP(TPredicat post_cond)
          Calcule la plus faible précondition [LET x,..
 TPredicat TSubDevientEgal.CalculerWP(TPredicat post_cond)
          Calcule la plus faible précondition [x:=E]R.
 TPredicat TSubDevientEltDe.CalculerWP(TPredicat post_cond)
          Calcule la plus faible précondition [x::E].
 TPredicat TSubDevientTelQue.CalculerWP(TPredicat post_cond)
          Calcule la plus faible précondition [x:P]R.
 TPredicat TSubIdentite.CalculerWP(TPredicat post_cond)
          Calcule la plus faible précondition [skip]R.
 TPredicat TSubPrecondition.CalculerWP(TPredicat post_cond)
          Calcule la plus faible précondition [P|S]R.
 TPredicat TSubSelection.CalculerWP(TPredicat post_cond)
          Calcule la plus faible précondition [P==>S]R pour une sélection simple.
 TPredicat TSubSequence.CalculerWP(TPredicat post_cond)
          Calcule la plus faible précondition [S;T]R.
 TPredicat TSubSimultanee.CalculerWP(TPredicat post_cond)
          Calcule la plus faible précondition [S||T]R.
 TPredicat TSubVariableLocale.CalculerWP(TPredicat post_cond)
          Calcule la plus faible précondition [@z.S]R.
 TPredicat TSubstitution.CalculerWP(TPredicat post_cond)
          Calcule la plus faible précondition assurant la terminaison de la substitution généralisée et la vérification de la postcondition.
 

Method parameters in bob.substitution with type arguments of type TPredicat
 TSubstitution TCase.TraiterAssertSansRenommage(java.util.Vector<TExprIdentificateur> vv, java.util.Vector<TPredicat> PP)
          Aplatissement pour traiter AssertSansRenommage
Auteur Didier BERT
 TSubstitution TElsif.TraiterAssertSansRenommage(java.util.Vector<TExprIdentificateur> vv, java.util.Vector<TPredicat> PP)
          Aplatissement pour traiter AssertSansRenommage
Auteur Didier BERT
 TSubstitution TSubAssertion.TraiterAssertSansRenommage(java.util.Vector<TExprIdentificateur> vv, java.util.Vector<TPredicat> PP)
          Aplatissement pour traiter AssertSansRenommage
Si l'assertion est de la forme ASSERT Q THEN S END alors, si les prédicats Q1 ne dépendent pas de vv et les prédicats Q2 dépendent de vv, avec Q <=> Q1 & Q2, on obtient ASSERT Q1 & #vv.
 TSubstitution TSubBloc.TraiterAssertSansRenommage(java.util.Vector<TExprIdentificateur> vv, java.util.Vector<TPredicat> PP)
          Aplatissement pour traiter AssertSansRenommage
Auteur Didier BERT
 TSubstitution TSubBoucle.TraiterAssertSansRenommage(java.util.Vector<TExprIdentificateur> vv, java.util.Vector<TPredicat> PP)
          Aplatissement pour traiter AssertSansRenommage.
 TSubstitution TSubCas.TraiterAssertSansRenommage(java.util.Vector<TExprIdentificateur> vv, java.util.Vector<TPredicat> PP)
          Aplatissement pour traiter AssertSansRenommage
Auteur Didier BERT
 TSubstitution TSubChoixBorne.TraiterAssertSansRenommage(java.util.Vector<TExprIdentificateur> vv, java.util.Vector<TPredicat> PP)
          Aplatissement pour traiter AssertSansRenommage
Auteur Didier BERT
 TSubstitution TSubChoixNonBorne.TraiterAssertSansRenommage(java.util.Vector<TExprIdentificateur> vv, java.util.Vector<TPredicat> PP)
          Aplatissement pour traiter AssertSansRenommage
Auteur Didier BERT
 TSubstitution TSubCondition.TraiterAssertSansRenommage(java.util.Vector<TExprIdentificateur> vv, java.util.Vector<TPredicat> PP)
          Aplatissement pour traiter AssertSansRenommage
Auteur Didier BERT
 TSubstitution TSubDefinitionLocale.TraiterAssertSansRenommage(java.util.Vector<TExprIdentificateur> vv, java.util.Vector<TPredicat> PP)
          Aplatissement pour traiter AssertSansRenommage
Auteur Didier BERT
 TSubstitution TSubPrecondition.TraiterAssertSansRenommage(java.util.Vector<TExprIdentificateur> vv, java.util.Vector<TPredicat> PP)
          Aplatissement pour traiter AssertSansRenommage
Auteur Didier BERT
 TSubstitution TSubSelection.TraiterAssertSansRenommage(java.util.Vector<TExprIdentificateur> vv, java.util.Vector<TPredicat> PP)
          Aplatissement pour traiter AssertSansRenommage
Auteur Didier BERT
 TSubstitution TSubSequence.TraiterAssertSansRenommage(java.util.Vector<TExprIdentificateur> vv, java.util.Vector<TPredicat> PP)
          Aplatissement pour traiter AssertSansRenommage
Auteur Didier BERT
 TSubstitution TSubSimultanee.TraiterAssertSansRenommage(java.util.Vector<TExprIdentificateur> vv, java.util.Vector<TPredicat> PP)
          Aplatissement pour traiter AssertSansRenommage
Auteur Didier BERT
 TSubstitution TSubVariableLocale.TraiterAssertSansRenommage(java.util.Vector<TExprIdentificateur> vv, java.util.Vector<TPredicat> PP)
          Aplatissement pour traiter AssertSansRenommage
Ne devrait pas être appelé car on n'aplatit pas une implémentation.
 TSubstitution TSubstitution.TraiterAssertSansRenommage(java.util.Vector<TExprIdentificateur> vv, java.util.Vector<TPredicat> PP)
          Traite la substitution ASSERT dans le cas d'un aplatissement de raffinement sans renommage.
 TSubstitution TWhen.TraiterAssertSansRenommage(java.util.Vector<TExprIdentificateur> vv, java.util.Vector<TPredicat> PP)
          Aplatissement pour traiter AssertSansRenommage
Auteur Didier BERT
 

Constructors in bob.substitution with parameters of type TPredicat
TElsif(TPredicat p, TSubstitution s)
          Constructeur paramétré qui initialise les attributs avec les informations données par l'utilisateur.
TSubAssertion(TPredicat p, TSubstitution s)
          Constructeur paramétré qui initialise les attributs avec les informations données par l'utilisateur.
TSubBoucle(TPredicat p, TSubstitution s, TPredicat i, TExpression v)
          Constructeur paramétré qui initialise les attributs avec les informations données par l'utilisateur.
TSubChoixNonBorne(java.util.Vector<TExprIdentificateur> liste_id, TPredicat p, TSubstitution s)
          Constructeur paramétré qui initialise les attributs avec les entrées de l'utilisateur.
TSubCondition(TPredicat p, TSubstitution s, java.util.Vector<TElsif> liste_elsif)
          Constructeur paramétré qui initialise les attributs avec les informations données par l'utilisateur.
TSubDefinitionLocale(java.util.Vector<TExprIdentificateur> liste_id, TPredicat p, TSubstitution s)
          Constructeur paramétré qui initialise les attributs.
TSubDevientTelQue(java.util.Vector<TExprIdentificateur> Lid, TPredicat p)
          Constructeur paramétré qui initialise les attributs :
TSubPrecondition(TPredicat p, TSubstitution s)
          Constructeur paramétré qui initialise les attributs avec les informations données par l'utilisateur.
TSubSelection(TPredicat p, TSubstitution s, java.util.Vector<TWhen> w)
          Constructeur paramétré qui initialise les attributs avec les informations données par l'utilisateur.
TWhen(TPredicat p, TSubstitution s)
          Constructeur paramétré qui initialise les attributs avec les entrées de l'utilisateur.
 

Uses of TPredicat in bob.traduire
 

Methods in bob.traduire that return TPredicat
static TPredicat Traduire.traduitPred(tatibouet.bparser.Noeud noeud)
          Méthode de traduction d'un Noeud Tatibouet en un objet TPredicat
 



Copyright OB.