org.qedeq.kernel.bo.logic
Interface ClassOperatorExistenceChecker

All Known Subinterfaces:

ExistenceChecker

All Known Implementing Classes:

EverythingExists, QedeqBoFormalLogicChecker

public interface ClassOperatorExistenceChecker

Check if the class operator is already defined.

Version:

$Revision: 1.2 $

Method Summary

boolean

classOperatorExists() Check if the class operator is already defined.

Method Detail

classOperatorExists

public boolean classOperatorExists()

Check if the class operator is already defined.

Returns:

Class operator is defined.