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

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

org.qedeq.kernel.bo.service.logic

Contains logical services.

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

DefaultExistenceChecker
Checks if all predicate and function constants exist already.