Uses of Class
bob.composant.TClauseAssertions

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

Uses of TClauseAssertions in bob.composant
 

Methods in bob.composant that return TClauseAssertions
 TClauseAssertions TComposant.DonnerClauseAssertions()
          Cet accesseur renvoie la clause ASSERTIONS.
 



Copyright OB.