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

Contains common proof classes.

See:
Description

Interface Summary

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.
ProofFoundListener	A listener for proof findings.
RuleChecker	Gives rule information.

Exception Summary

ProofException	Indicates we found something or have to abandon the search.
ProofFoundException	Indicates we found a proof.
ProofNotFoundException	Indicates we couldn't find a proof.

Package org.qedeq.kernel.bo.logic.proof.common Description

Contains common proof classes.