Hilbert II - Version 0.03.08

org.qedeq.kernel.bo.logic
Interface FunctionExistenceChecker

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

public interface FunctionExistenceChecker

Check if a function is already defined.

Version:
$Revision: 1.3 $

Method Summary
 boolean functionExists(Function function)
          Check if a function is already defined.
 boolean functionExists(String name, int arguments)
          Check if a function is already defined.
 

Method Detail

functionExists

public boolean functionExists(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

public boolean functionExists(Function function)
Check if a function is already defined.

Parameters:
function - Function.
Returns:
Functions is defined.

Hilbert II - Version 0.03.08

©left GNU General Public Licence
All Rights Reserved.