org.qedeq.kernel.bo.logic
Interface ExistenceChecker

All Superinterfaces:

ClassOperatorExistenceChecker, EqualityOperatorExistenceChecker, FunctionExistenceChecker, PredicateExistenceChecker

All Known Implementing Classes:

DefaultExistenceChecker, EverythingExists

public interface ExistenceChecker

extends PredicateExistenceChecker, FunctionExistenceChecker, ClassOperatorExistenceChecker, EqualityOperatorExistenceChecker

Check if operators are already defined.

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

Version:

$Revision: 1.3 $

Field Summary

static String

NAME_EQUAL Name of equal operator.

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

predicateExists, predicateExists

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

functionExists, functionExists

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

classOperatorExists

Methods inherited from interface org.qedeq.kernel.bo.logic.EqualityOperatorExistenceChecker

equalityOperatorExists, getIdentityOperator

Field Detail

NAME_EQUAL

public static final String NAME_EQUAL

Name of equal operator.

See Also:

Constant Field Values