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

Packages that use RuleChecker

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.service.logic	Contains logical services.

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

Methods in org.qedeq.kernel.bo.logic.proof.checker with parameters of type RuleChecker

LogicalCheckExceptionList	ProofChecker1Impl.checkProof(Element formula, FormalProofLineList proof, RuleChecker checker, ModuleContext moduleContext, ReferenceResolver resolver)
LogicalCheckExceptionList	ProofChecker0Impl.checkProof(Element formula, FormalProofLineList proof, RuleChecker checker, ModuleContext moduleContext, ReferenceResolver resolver)
LogicalCheckExceptionList	ProofChecker2Impl.checkProof(Element formula, FormalProofLineList proof, RuleChecker checker, ModuleContext moduleContext, ReferenceResolver resolver)
LogicalCheckExceptionList	ProofChecker1Impl.checkRule(Rule rule, ModuleContext context, RuleChecker checker, ReferenceResolver resolver)
LogicalCheckExceptionList	ProofChecker0Impl.checkRule(Rule rule, ModuleContext context, RuleChecker checker, ReferenceResolver resolver)
LogicalCheckExceptionList	ProofChecker2Impl.checkRule(Rule rule, ModuleContext context, RuleChecker checker, ReferenceResolver resolver)

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

Methods in org.qedeq.kernel.bo.logic.proof.common with parameters of type RuleChecker

LogicalCheckExceptionList	ProofChecker.checkProof(Element formula, FormalProofLineList proof, RuleChecker checker, ModuleContext context, ReferenceResolver resolver) Checks if a formal proof is ok.
LogicalCheckExceptionList	ProofChecker.checkRule(Rule rule, ModuleContext context, RuleChecker checker, ReferenceResolver resolver) Checks if a rule declaration is ok for the proof checker.

Uses of RuleChecker in org.qedeq.kernel.bo.service.logic

Classes in org.qedeq.kernel.bo.service.logic that implement RuleChecker

class

FormalProofCheckerExecutor Checks if all propositions have a correct formal proof.