Hilbert II - Version 0.03.04

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.2 $

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
 


Hilbert II - Version 0.03.04

©left GNU General Public Licence
All Rights Reserved.