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

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

All Implemented Interfaces:

IProverStrategy

public class ProveVcPiecewise
extends java.lang.Object
implements IProverStrategy

Field Summary

static boolean

doingTheNegation

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

EMPTY

Constructor Summary

ProveVcPiecewise(CompilerOptions options, ProblemReporter problemReporter, CachedVcs cachedVcs)

Method Summary

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

Methods inherited from class java.lang.Object

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

Field Detail

doingTheNegation

public static boolean doingTheNegation

Constructor Detail

ProveVcPiecewise

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

Method Detail

getName

public static java.lang.String getName()

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