Package org.qedeq.kernel.bo.logic

Contains the logical abilities of the kernel.

See:
Description

Class Summary

FormulaCheckerFactoryImpl	Factory implementation for FormulaCheckers.
ProofCheckerFactoryImpl	Factory implementation for ProofCheckers.
ProofFinderFactoryImpl	Factory implementation for ProofFinders.

Package org.qedeq.kernel.bo.logic Description

Contains the logical abilities of the kernel. The classes herein are don't use QEDEQ objects. They just deal with Element instances and some other basic objects for proof checking. For location of errors the ModuleContext is used.