org.qedeq.kernel.bo.logic
Interface PredicateExistenceChecker
- All Known Subinterfaces:
- ExistenceChecker
- All Known Implementing Classes:
- EverythingExists, QedeqBoFormalLogicChecker
- public interface PredicateExistenceChecker
Check if a predicate is already defined.
- Version:
- $Revision: 1.5 $
Method Summary |
boolean |
predicateExists(String name,
int arguments)
Check if a predicate is already defined. |
predicateExists
public boolean predicateExists(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.