jml2b.pog
Interface IObviousProver

public interface IObviousProver

This interface describes an obvious prover. It has to be implemented by plugin that want to interact as obvious prover.

Author:

L. Burdy

Method Summary

void	prove(IJml2bConfiguration config, JmlFile file) Prove and save the status of a jpo file.

Method Detail

prove

public void prove(IJml2bConfiguration config,
                  JmlFile file)

Prove and save the status of a jpo file.

Parameters:

config - The current configuration

file - The JPO file