Uses of Package
org.qedeq.kernel.bo.logic

Packages that use org.qedeq.kernel.bo.logic

org.qedeq.kernel.bo.logic

Contains the logical abilities of the kernel.

Classes in org.qedeq.kernel.bo.logic used by org.qedeq.kernel.bo.logic

CheckException
This is an exception for semantic checks.

EqualFormula
Encapsulates a logical formula.

EqualFormulaSet
This class represents a set of Elements.