Hilbert II - Version 0.03.01

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

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.

Hilbert II - Version 0.03.01

©left GNU General Public Licence
All Rights Reserved.