Package org.qedeq.kernel.bo.logic.wf

Checking for being well-formed formulas.

See:
Description

Interface Summary

FormulaBasicErrors

Error codes and messages for formula checker.

Class Summary

EverythingExists	This implementation gives always the answer true to the question exists this predicate?.
FormulaCheckerImpl	This class deals with Elements which represent a formula.

Exception Summary

ElementCheckException	This is an exception for logical errors within a QEDEQ module.
FormulaCheckException	This is an exception for logical errors within a QEDEQ module.
TermCheckException	This is an exception for logical errors within a QEDEQ module.

Package org.qedeq.kernel.bo.logic.wf Description

Checking for being well-formed formulas.