Hilbert II - Version 0.03.01

org.qedeq.kernel.bo.logic
Interface PredicateExistenceChecker

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

public interface PredicateExistenceChecker

Check if a predicate is already defined.

Version:
$Revision: 1.5 $

Method Summary
 boolean predicateExists(String name, int arguments)
          Check if a predicate is already defined.
 

Method Detail

predicateExists

public boolean predicateExists(String name,
                               int arguments)
Check if a predicate is already defined.

Parameters:
name - Predicate name.
arguments - Number of operands for the predicate.
Returns:
Predicate is defined.

Hilbert II - Version 0.03.01

©left GNU General Public Licence
All Rights Reserved.