org.qedeq.kernel.bo.logic.proof.common
Interface ProofFoundListener

public interface ProofFoundListener

A listener for proof findings.

Author:

Michael Meyling

Method Summary

void	proofFound(Element formula, FormalProofLineList proof) Informs about a found proof for a formula.

Method Detail

proofFound

void proofFound(Element formula,
                FormalProofLineList proof)

Informs about a found proof for a formula.

Parameters:

formula - Formula we got a proof for.

proof - Created formal proof.