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

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().