org.qedeq.kernel.bo.logic
Class FormulaCheckerFactoryImpl

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

All Implemented Interfaces:

FormulaCheckerFactory

public class FormulaCheckerFactoryImpl
extends java.lang.Object
implements FormulaCheckerFactory

Factory implementation for FormulaCheckers.

Author:

Michael Meyling

Constructor Summary

FormulaCheckerFactoryImpl()

Method Summary

FormulaChecker

createFormulaChecker() Create a FormulaChecker.

Methods inherited from class java.lang.Object

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

Constructor Detail

FormulaCheckerFactoryImpl

public FormulaCheckerFactoryImpl()

Method Detail

createFormulaChecker

public FormulaChecker createFormulaChecker()

Description copied from interface: FormulaCheckerFactory

Create a FormulaChecker.

Specified by:

createFormulaChecker in interface FormulaCheckerFactory

Returns:

Instance that can check formulas for correctness.