org.qedeq.kernel.bo.logic
Class ProofCheckerFactoryImpl

java.lang.Object
  org.qedeq.kernel.bo.logic.ProofCheckerFactoryImpl

All Implemented Interfaces:

ProofCheckerFactory

public class ProofCheckerFactoryImpl
extends java.lang.Object
implements ProofCheckerFactory

Factory implementation for ProofCheckers.

Author:

Michael Meyling

Constructor Summary

ProofCheckerFactoryImpl()

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.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ProofCheckerFactoryImpl

public ProofCheckerFactoryImpl()

Method Detail

isRuleVersionSupported

public boolean isRuleVersionSupported(java.lang.String ruleVersion)

Description copied from interface: ProofCheckerFactory

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

Specified by:

isRuleVersionSupported in interface ProofCheckerFactory

Parameters:

ruleVersion - Rule version the module claims to use.

Returns:

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

createProofChecker

public ProofChecker createProofChecker(Version ruleVersion)

Description copied from interface: ProofCheckerFactory

Create a ProofChecker.

Specified by:

createProofChecker in interface ProofCheckerFactory

Parameters:

ruleVersion - Rule version the module claims to use.

Returns:

Instance that can check formulas for correctness.