|
Hilbert II - Version 0.03.01 | ||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object org.qedeq.kernel.bo.logic.EverythingExists
This implementation gives always the answer true
to the question
exists this predicate?.
Method Summary | |
boolean |
classOperatorExists()
Check if the class operator is already defined. |
boolean |
equalityOperatorExists()
Check if the equality operator is already defined. |
boolean |
functionExists(String name,
int arguments)
Check if a function is already defined. |
String |
getEqualityOperator()
Get equality operator. |
static ExistenceChecker |
getInstance()
Get one instance of this class. |
boolean |
predicateExists(String name,
int arguments)
Check if a predicate is already defined. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Method Detail |
public boolean predicateExists(String name, int arguments)
PredicateExistenceChecker
predicateExists
in interface PredicateExistenceChecker
name
- Predicate name.arguments
- Number of operands for the predicate.
public boolean functionExists(String name, int arguments)
FunctionExistenceChecker
functionExists
in interface FunctionExistenceChecker
name
- Function name.arguments
- Number of operands for the function.
public boolean classOperatorExists()
ClassOperatorExistenceChecker
classOperatorExists
in interface ClassOperatorExistenceChecker
public boolean equalityOperatorExists()
EqualityOperatorExistenceChecker
equalityOperatorExists
in interface EqualityOperatorExistenceChecker
public String getEqualityOperator()
EqualityOperatorExistenceChecker
getEqualityOperator
in interface EqualityOperatorExistenceChecker
null
if !EqualityOperatorExistenceChecker.equalityOperatorExists()
.public static final ExistenceChecker getInstance()
|
Hilbert II - Version 0.03.01 | ||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
©left GNU General Public Licence All Rights Reserved. |