org.qedeq.kernel.bo.logic.proof.common
Interface ProofCheckerFactory

All Known Implementing Classes:

ProofCheckerFactoryImpl

public interface ProofCheckerFactory

Can create a ProofChecker.

Author:

Michael Meyling

Method Summary

ProofChecker	createProofChecker(Version ruleVersion) Create a ProofChecker.
boolean	isRuleVersionSupported(java.lang.String ruleVersion) Check if we have a proof checker that supports the given rule version.

Method Detail

isRuleVersionSupported

boolean isRuleVersionSupported(java.lang.String ruleVersion)

Check if we have a proof checker that supports the given rule version.

Parameters:

ruleVersion - Rule version the module claims to use.

Returns:

Do we have a proof checker for the given rule version.

createProofChecker

ProofChecker createProofChecker(Version ruleVersion)

Create a ProofChecker.

Parameters:

ruleVersion - Rule version the module claims to use.

Returns:

Instance that can check formulas for correctness.