Uses of Interface
org.qedeq.kernel.bo.logic.proof.common.ProofFinder

Packages that use ProofFinder

org.qedeq.kernel.bo.logic	Contains the logical abilities of the kernel.
org.qedeq.kernel.bo.logic.proof.common	Contains common proof classes.
org.qedeq.kernel.bo.logic.proof.finder	Proof finder can be found here.

Uses of ProofFinder in org.qedeq.kernel.bo.logic

Methods in org.qedeq.kernel.bo.logic that return ProofFinder

ProofFinder

ProofFinderFactoryImpl.createProofFinder()

Uses of ProofFinder in org.qedeq.kernel.bo.logic.proof.common

Methods in org.qedeq.kernel.bo.logic.proof.common that return ProofFinder

ProofFinder

ProofFinderFactory.createProofFinder() Create a ProofFinder.

Uses of ProofFinder in org.qedeq.kernel.bo.logic.proof.finder

Classes in org.qedeq.kernel.bo.logic.proof.finder that implement ProofFinder

class

ProofFinderImpl Find basic proofs for formulas.