Uses of Interface
org.qedeq.kernel.bo.logic.FunctionExistenceChecker

Packages that use FunctionExistenceChecker

org.qedeq.kernel.bo.control	Contains business object controllers.
org.qedeq.kernel.bo.logic	Contains the logical abilities of the kernel.

Uses of FunctionExistenceChecker in org.qedeq.kernel.bo.control

Classes in org.qedeq.kernel.bo.control that implement FunctionExistenceChecker

class

ModuleConstantsExistenceChecker Checks if all formulas of a QEDEQ module are well formed.

Uses of FunctionExistenceChecker in org.qedeq.kernel.bo.logic

Subinterfaces of FunctionExistenceChecker in org.qedeq.kernel.bo.logic

interface

ExistenceChecker Check if operators are already defined.

Classes in org.qedeq.kernel.bo.logic that implement FunctionExistenceChecker

class	DefaultExistenceChecker Checks if all predicate and function constants exist already.
class	EverythingExists This implementation gives always the answer true to the question exists this predicate?