org.jmlspecs.jml4.esc.provercoordinator.prover
Class ProverAdapter

java.lang.Object
  org.jmlspecs.jml4.esc.provercoordinator.prover.ProverAdapter

Direct Known Subclasses:

Cvc3Adapter, IsabelleAdapter, SimplifyAdapter

public abstract class ProverAdapter
extends java.lang.Object

Field Summary

static java.lang.String

VALID

Constructor Summary

ProverAdapter(CompilerOptions options, ProblemReporter problemReporter)

Method Summary

abstract Result[]

prove(VC vc, java.util.Map incarnations)

Methods inherited from class java.lang.Object

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

Field Detail

VALID

public static final java.lang.String VALID

See Also:

Constant Field Values

Constructor Detail

ProverAdapter

public ProverAdapter(CompilerOptions options,
                     ProblemReporter problemReporter)

Method Detail

prove

public abstract Result[] prove(VC vc,
                               java.util.Map incarnations)