org.qedeq.kernel.bo.logic
Interface PredicateExistenceChecker

All Known Subinterfaces:

ExistenceChecker

All Known Implementing Classes:

DefaultExistenceChecker, EverythingExists

public interface PredicateExistenceChecker

Check if a predicate is already defined.

Version:

$Revision: 1.3 $

Method Summary

boolean	predicateExists(Predicate predicate) Check if a predicate is already defined.
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.

predicateExists

public boolean predicateExists(Predicate predicate)

Check if a predicate is already defined.

Parameters:

predicate - Predicate.

Returns:

Predicate is defined.