Uses of Class
org.qedeq.kernel.bo.logic.common.LogicalCheckExceptionList

Packages that use LogicalCheckExceptionList

org.qedeq.kernel.bo.logic.common	Here are the common classes that every logical package needs.
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.wf	Checking for being well-formed formulas.

Uses of LogicalCheckExceptionList in org.qedeq.kernel.bo.logic.common

Methods in org.qedeq.kernel.bo.logic.common that return LogicalCheckExceptionList

LogicalCheckExceptionList	FormulaChecker.checkFormula(Element element, ModuleContext context) Checks if an Element is a formula.
LogicalCheckExceptionList	FormulaChecker.checkFormula(Element element, ModuleContext context, ExistenceChecker existenceChecker) Checks if an Element is a formula.
LogicalCheckExceptionList	FormulaChecker.checkTerm(Element element, ModuleContext context) Check if Element is a term.
LogicalCheckExceptionList	FormulaChecker.checkTerm(Element element, ModuleContext context, ExistenceChecker existenceChecker) Check if Element is a term.

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

void	LogicalCheckExceptionList.add(LogicalCheckExceptionList e) Add exceptions.

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

Methods in org.qedeq.kernel.bo.logic.proof.checker that return LogicalCheckExceptionList

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 LogicalCheckExceptionList in org.qedeq.kernel.bo.logic.proof.common

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

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 LogicalCheckExceptionList in org.qedeq.kernel.bo.logic.wf

Methods in org.qedeq.kernel.bo.logic.wf that return LogicalCheckExceptionList

LogicalCheckExceptionList	FormulaCheckerImpl.checkFormula(Element element, ModuleContext context)
LogicalCheckExceptionList	FormulaCheckerImpl.checkFormula(Element element, ModuleContext context, ExistenceChecker existenceChecker)
LogicalCheckExceptionList	FormulaCheckerImpl.checkTerm(Element element, ModuleContext context) Check if Element is a term.
LogicalCheckExceptionList	FormulaCheckerImpl.checkTerm(Element element, ModuleContext context, ExistenceChecker existenceChecker) Check if Element is a term.