org.qedeq.kernel.bo.logic
Class ProofFinderFactoryImpl

java.lang.Object
  org.qedeq.kernel.bo.logic.ProofFinderFactoryImpl

All Implemented Interfaces:

ProofFinderFactory

public class ProofFinderFactoryImpl
extends java.lang.Object
implements ProofFinderFactory

Factory implementation for ProofFinders.

Author:

Michael Meyling

Constructor Summary

ProofFinderFactoryImpl()

Method Summary

ProofFinder

createProofFinder() Create a ProofFinder.

Methods inherited from class java.lang.Object

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

Constructor Detail

ProofFinderFactoryImpl

public ProofFinderFactoryImpl()

Method Detail

createProofFinder

public ProofFinder createProofFinder()

Description copied from interface: ProofFinderFactory

Create a ProofFinder.

Specified by:

createProofFinder in interface ProofFinderFactory

Returns:

Instance that can create formal proofs for propositions.