org.jmlspecs.jml4.esc
Class ProverCoordinator

java.lang.Object
  org.jmlspecs.jml4.esc.ProverCoordinator

public class ProverCoordinator
extends java.lang.Object

Constructor Summary

ProverCoordinator(CompilerOptions options, ProblemReporter problemReporter, CachedVcs cachedVcs)

Method Summary

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

Methods inherited from class java.lang.Object

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

Constructor Detail

ProverCoordinator

public ProverCoordinator(CompilerOptions options,
                         ProblemReporter problemReporter,
                         CachedVcs cachedVcs)

Method Detail

prove

public Result[] prove(VcProgram vc)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object