Methods in org.qedeq.kernel.bo.logic.proof.checker with parameters of type ReferenceResolver |
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)
|