Hilbert II - Version 0.03.01

org.qedeq.kernel.bo.logic
Interface EqualityOperatorExistenceChecker

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

public interface EqualityOperatorExistenceChecker

Check if the predicate for equality is already defined.

Version:
$Revision: 1.5 $

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

Method Detail

equalityOperatorExists

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

Returns:
Equality operator is already defined.

getEqualityOperator

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

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

Hilbert II - Version 0.03.01

©left GNU General Public Licence
All Rights Reserved.