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

All Known Implementing Classes:

ProofFinderFactoryImpl

public interface ProofFinderFactory

Can create a ProofFinder.

Author:

Michael Meyling

Method Summary

ProofFinder

createProofFinder() Create a ProofFinder.

Method Detail

createProofFinder

ProofFinder createProofFinder()

Create a ProofFinder.

Returns:

Instance that can create formal proofs for propositions.