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

Packages that use FormulaChecker

org.qedeq.kernel.bo.logic	Contains the logical abilities of the kernel.
org.qedeq.kernel.bo.logic.common	Here are the common classes that every logical package needs.
org.qedeq.kernel.bo.logic.wf	Checking for being well-formed formulas.

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

Methods in org.qedeq.kernel.bo.logic that return FormulaChecker

FormulaChecker

FormulaCheckerFactoryImpl.createFormulaChecker()

Uses of FormulaChecker in org.qedeq.kernel.bo.logic.common

Methods in org.qedeq.kernel.bo.logic.common that return FormulaChecker

FormulaChecker

FormulaCheckerFactory.createFormulaChecker() Create a FormulaChecker.

Uses of FormulaChecker in org.qedeq.kernel.bo.logic.wf

Classes in org.qedeq.kernel.bo.logic.wf that implement FormulaChecker

class

FormulaCheckerImpl This class deals with Elements which represent a formula.