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

Packages that use ProofChecker

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.

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

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

ProofChecker

ProofCheckerFactoryImpl.createProofChecker(Version ruleVersion)

Uses of ProofChecker in org.qedeq.kernel.bo.logic.proof.checker

Classes in org.qedeq.kernel.bo.logic.proof.checker that implement ProofChecker

class	ProofChecker0Impl Formal proof checker that don't allow any proof method.
class	ProofChecker1Impl Formal proof checker for basic rules.
class	ProofChecker2Impl Formal proof checker for basic rules and conditional proof.

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

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

ProofChecker

ProofCheckerFactory.createProofChecker(Version ruleVersion) Create a ProofChecker.