org.qedeq.kernel.bo.logic.common
Interface FormulaCheckerFactory

All Known Implementing Classes:

FormulaCheckerFactoryImpl

public interface FormulaCheckerFactory

Can create a FormulaChecker.

Author:

Michael Meyling

Method Summary

FormulaChecker

createFormulaChecker() Create a FormulaChecker.

Method Detail

createFormulaChecker

FormulaChecker createFormulaChecker()

Create a FormulaChecker.

Returns:

Instance that can check formulas for correctness.