org.jmlspecs.jml4.esc.provercoordinator.strategy
Class ProverStategySeq

java.lang.Object
  org.jmlspecs.jml4.esc.provercoordinator.strategy.ProverStategySeq

All Implemented Interfaces:

IProverStrategy

public class ProverStategySeq
extends java.lang.Object
implements IProverStrategy

Field Summary

Fields inherited from interface org.jmlspecs.jml4.esc.provercoordinator.strategy.IProverStrategy

EMPTY

Constructor Summary

ProverStategySeq(IProverStrategy[] strategies)

ProverStategySeq(java.util.List list)

Method Summary

Result[]	prove(VcProgram vcProg)
java.lang.String	toString()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

ProverStategySeq

public ProverStategySeq(IProverStrategy[] strategies)

ProverStategySeq

public ProverStategySeq(java.util.List list)

Method Detail

prove

public Result[] prove(VcProgram vcProg)

Specified by:

prove in interface IProverStrategy

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object