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

All Known Subinterfaces:

ExistenceChecker, ModuleConstantsExistenceChecker

All Known Implementing Classes:

DefaultExistenceChecker, EverythingExists, ModuleConstantsExistenceCheckerImpl

public interface FunctionExistenceChecker

Check if a function is already defined.

Author:

Michael Meyling

Method Summary

boolean	functionExists(FunctionKey function) Check if a function is already defined.
boolean	functionExists(java.lang.String name, int arguments) Check if a function is already defined.
boolean	isInitialFunction(FunctionKey function) Check if given function key has an initial function definition.

Method Detail

functionExists

boolean functionExists(java.lang.String name,
                       int arguments)

Check if a function is already defined.

Parameters:

name - Function name.

arguments - Number of operands for the function.

Returns:

Functions is defined.

functionExists

boolean functionExists(FunctionKey function)

Check if a function is already defined.

Parameters:

function - Function.

Returns:

Functions is defined.

isInitialFunction

boolean isInitialFunction(FunctionKey function)

Check if given function key has an initial function definition.

Parameters:

function - Function key.

Returns:

Function is defined and is an initial function definition.