|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface IdentTable
this interface models an identifier table, which is a lookup table for first terms of predicates assigned to operators implementing this interface. the literals stored by IdentTable operators are called identifiers.
Method Summary | |
---|---|
java.util.List<java.lang.String> |
allIdentifiers(java.lang.String term)
returns all known predicates associated with a term |
java.util.Set<java.lang.String> |
identPredicates()
returns the set of functor names that represent all identifier predicates |
boolean |
isKindOf(java.lang.String term,
java.lang.String identPredicate)
checks if a given term is true for a given identifier |
Method Detail |
---|
boolean isKindOf(java.lang.String term, java.lang.String identPredicate)
term
- argument to checkidentPredicate
- identifier predicate
java.util.List<java.lang.String> allIdentifiers(java.lang.String term)
term
- term to lookup
java.util.Set<java.lang.String> identPredicates()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |