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