Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
 PREV   NEXT FRAMES    NO FRAMES    

Uses of Interface
jml2b.pog.IProverStatus

Packages that use IProverStatus
jml2b.languages   
 

Uses of IProverStatus in jml2b.languages
 

Methods in jml2b.languages that return IProverStatus
static IProverStatus Languages.getProverStatusClass(java.lang.String name)
          Returns the prover status class instance for a given plugin name.
 

Overview  Package  Class   Use  Tree  Deprecated  Index  Help 
 PREV   NEXT FRAMES    NO FRAMES