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

org.jmlspecs.jml4.esc.provercoordinator.strategy
Interface IProverStrategy

All Known Implementing Classes:
ProveEntireVC, ProverStategySeq, ProveVcPiecewise
public interface IProverStrategy

Field Summary
static IProverStrategy[] EMPTY
           
 
Method Summary
 Result[] prove(VcProgram vcProg)
           
 

Field Detail

EMPTY

static final IProverStrategy[] EMPTY
Method Detail

prove

Result[] prove(VcProgram vcProg)
Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD