Uses of Package
org.qedeq.kernel.bo.logic.proof.common

Packages that use org.qedeq.kernel.bo.logic.proof.common

org.qedeq.kernel.bo.logic	Contains the logical abilities of the kernel.
org.qedeq.kernel.bo.logic.proof.checker	This package enables to check proofs with the basic rules.
org.qedeq.kernel.bo.logic.proof.common	Contains common proof classes.
org.qedeq.kernel.bo.logic.proof.finder	Proof finder can be found here.
org.qedeq.kernel.bo.service.logic	Contains logical services.

Classes in org.qedeq.kernel.bo.logic.proof.common used by org.qedeq.kernel.bo.logic

ProofChecker
A proof checker can check if a formal proof is correct.

ProofCheckerFactory
Can create a ProofChecker.

ProofFinder
A proof finder can create formal proofs for propositions.

ProofFinderFactory
Can create a ProofFinder.

Classes in org.qedeq.kernel.bo.logic.proof.common used by org.qedeq.kernel.bo.logic.proof.checker

ProofChecker
A proof checker can check if a formal proof is correct.

RuleChecker
Gives rule information.

Classes in org.qedeq.kernel.bo.logic.proof.common used by org.qedeq.kernel.bo.logic.proof.common

ProofChecker
A proof checker can check if a formal proof is correct.

ProofException
Indicates we found something or have to abandon the search.

ProofFinder
A proof finder can create formal proofs for propositions.

RuleChecker
Gives rule information.

Classes in org.qedeq.kernel.bo.logic.proof.common used by org.qedeq.kernel.bo.logic.proof.finder

ProofException
Indicates we found something or have to abandon the search.

ProofFinder
A proof finder can create formal proofs for propositions.

Classes in org.qedeq.kernel.bo.logic.proof.common used by org.qedeq.kernel.bo.service.logic

RuleChecker
Gives rule information.