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

Packages that use FormulaCheckerFactory

org.qedeq.kernel.bo.logic

Contains the logical abilities of the kernel.

Uses of FormulaCheckerFactory in org.qedeq.kernel.bo.logic

Classes in org.qedeq.kernel.bo.logic that implement FormulaCheckerFactory

class

FormulaCheckerFactoryImpl Factory implementation for FormulaCheckers.