Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

jml2b.pog
Interface IProverStatus

public interface IProverStatus

Author:
L. Burdy

Method Summary
 ProverStatus factory()
           
 ProverStatus factory(JpoInputStream s)
           
 

Method Detail

factory

public ProverStatus factory()

factory

public ProverStatus factory(JpoInputStream s)
                     throws java.io.IOException,
                            LoadException
Throws:
java.io.IOException
LoadException
Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD