org.qedeq.kernel.bo.logic.common
Interface ExistenceChecker

All Superinterfaces:

ClassOperatorExistenceChecker, FunctionExistenceChecker, IdentityOperatorExistenceChecker, PredicateExistenceChecker, RuleExistenceChecker

All Known Subinterfaces:

ModuleConstantsExistenceChecker

All Known Implementing Classes:

DefaultExistenceChecker, EverythingExists, ModuleConstantsExistenceCheckerImpl

public interface ExistenceChecker
extends PredicateExistenceChecker, FunctionExistenceChecker, ClassOperatorExistenceChecker, IdentityOperatorExistenceChecker, RuleExistenceChecker

Check if operators are already defined and well formed.

If IdentityOperatorExistenceChecker.identityOperatorExists() returns true then the call to PredicateExistenceChecker.predicateExists(String, int) with the arguments IdentityOperatorExistenceChecker.getIdentityOperator() and 2 must return true.

Author:

Michael Meyling

Field Summary

static java.lang.String

NAME_EQUAL Name of identity operator.

Method Summary

Methods inherited from interface org.qedeq.kernel.bo.logic.common.PredicateExistenceChecker

isInitialPredicate, predicateExists, predicateExists

Methods inherited from interface org.qedeq.kernel.bo.logic.common.FunctionExistenceChecker

functionExists, functionExists, isInitialFunction

Methods inherited from interface org.qedeq.kernel.bo.logic.common.ClassOperatorExistenceChecker

classOperatorExists

Methods inherited from interface org.qedeq.kernel.bo.logic.common.IdentityOperatorExistenceChecker

getIdentityOperator, identityOperatorExists

Methods inherited from interface org.qedeq.kernel.bo.logic.common.RuleExistenceChecker

ruleExists

Field Detail

NAME_EQUAL

static final java.lang.String NAME_EQUAL

Name of identity operator.

See Also:

Constant Field Values