edu.udo.cs.ie.cowbots.bdi.brf
Interface IdentTable

Package class diagram package IdentTable
All Known Implementing Classes:
IdentTableOperator

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

isKindOf

boolean isKindOf(java.lang.String term,
                 java.lang.String identPredicate)
checks if a given term is true for a given identifier

Parameters:
term - argument to check
identPredicate - identifier predicate
Returns:
true if identPredicate(term,...) holds

allIdentifiers

java.util.List<java.lang.String> allIdentifiers(java.lang.String term)
returns all known predicates associated with a term

Parameters:
term - term to lookup
Returns:
list of predicates like p(term,...)

identPredicates

java.util.Set<java.lang.String> identPredicates()
returns the set of functor names that represent all identifier predicates

Returns:
set of identifier functors