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

All Known Implementing Classes:

FormalProofCheckerExecutor

public interface RuleChecker

Gives rule information.

Author:

Michael Meyling

Method Summary

RuleKey

getRule(java.lang.String ruleName) Get maximum defined rule version.

Method Detail

getRule

RuleKey getRule(java.lang.String ruleName)

Get maximum defined rule version.

Parameters:

ruleName - Name of rule.

Returns:

Maximum rule version. Might be null.