org.qedeq.kernel.bo.logic
Interface ExistenceChecker

All Superinterfaces:

ClassOperatorExistenceChecker, EqualityOperatorExistenceChecker, FunctionExistenceChecker, PredicateExistenceChecker

All Known Implementing Classes:

EverythingExists, QedeqBoFormalLogicChecker

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.getEqualityOperator() and 2 must return true.

Version:

$Revision: 1.5 $

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

predicateExists

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

functionExists

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

classOperatorExists

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

equalityOperatorExists, getEqualityOperator