Hilbert II - Version 0.03.09

org.qedeq.kernel.bo.logic
Interface EqualityOperatorExistenceChecker

All Known Subinterfaces:
ExistenceChecker
All Known Implementing Classes:
DefaultExistenceChecker, EverythingExists

public interface EqualityOperatorExistenceChecker

Check if the predicate for equality is already defined.

Version:
$Revision: 1.4 $

Method Summary
 boolean equalityOperatorExists()
          Check if the equality operator is already defined.
 String getIdentityOperator()
          Get equality operator.
 

Method Detail

equalityOperatorExists

public boolean equalityOperatorExists()
Check if the equality operator is already defined.

Returns:
Equality operator is already defined.

getIdentityOperator

public String getIdentityOperator()
Get equality operator. This is the operator string of a predicate.

Returns:
Equality operator. Should be null if !equalityOperatorExists().

Hilbert II - Version 0.03.09

©left GNU General Public Licence
All Rights Reserved.