Hilbert II - Version 0.03.01

org.qedeq.kernel.bo.logic
Interface FunctionExistenceChecker

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

public interface FunctionExistenceChecker

Check if a function is already defined.

Version:
$Revision: 1.5 $

Method Summary
 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.

Hilbert II - Version 0.03.01

©left GNU General Public Licence
All Rights Reserved.