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

Packages that use Operators

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 Operators in org.qedeq.kernel.bo.logic.common

Classes in org.qedeq.kernel.bo.logic.common that implement Operators

class

FormulaUtility Some useful static methods for formulas and terms.

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

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

class

FormulaCheckerImpl This class deals with Elements which represent a formula.