Uses of Package
com.semedy.reasoner.symboltable

Packages that use com.semedy.reasoner.symboltable

Package	Description
com.semedy.reasoner.reasoning.processes
com.semedy.reasoner.symboltable

Classes in com.semedy.reasoner.symboltable used by com.semedy.reasoner.reasoning.processes

Class	Description
ReasoningSymbolTable	As an extension of the symbol table it provides methods for matching and substituting terms

Classes in com.semedy.reasoner.symboltable used by com.semedy.reasoner.symboltable

Class	Description
AbstractSymbolTable	provides all functionality for handling a symbol table in main memory
ReasoningSymbolTable	As an extension of the symbol table it provides methods for matching and substituting terms
SymbolCache	A cache for symbols It consists of n units which may be released by cache manager.
SymbolTableIterator	Iterator for symbol tables.