org.qedeq.kernel.bo.logic.common
Interface PredicateExistenceChecker

All Known Subinterfaces:

ExistenceChecker, ModuleConstantsExistenceChecker

All Known Implementing Classes:

DefaultExistenceChecker, EverythingExists, ModuleConstantsExistenceCheckerImpl

public interface PredicateExistenceChecker

Check if a predicate is already defined.

Author:

Michael Meyling

Method Summary

boolean	isInitialPredicate(PredicateKey predicate) Check if given predicate key has an initial predicate definition.
boolean	predicateExists(PredicateKey predicate) Check if a predicate is already defined.
boolean	predicateExists(java.lang.String name, int arguments) Check if a predicate is already defined.

Method Detail

predicateExists

boolean predicateExists(java.lang.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

boolean predicateExists(PredicateKey predicate)

Check if a predicate is already defined.

Parameters:

predicate - Predicate.

Returns:

Predicate is defined.

isInitialPredicate

boolean isInitialPredicate(PredicateKey predicate)

Check if given predicate key has an initial predicate definition.

Parameters:

predicate - Predicate.

Returns:

Predicate is defined and is an initial predicate definition.