Uses of Class
bob.composant.TClauseInvariant

Packages that use TClauseInvariant
bob.composant Provides classes to represent internal B components. 
 

Uses of TClauseInvariant in bob.composant
 

Methods in bob.composant that return TClauseInvariant
 TClauseInvariant TComposant.DonnerClauseInvariant()
          Cet accesseur renvoie la clause INVARIANT.
 



Copyright OB.