Package com.semedy.reasoner.symboltable
package com.semedy.reasoner.symboltable
-
ClassDescriptionprovides all functionality for handling a symbol table in main memoryflags used for flagging infos in codesis it a calendarAs an extension of the symbol table it provides methods for matching and substituting termsProvides all functionality for handling a symbol table in main memory for reasoning.A cache for symbols
It consists of n units which may be released by cache manager.Implements a persistent symbol table based on b+ treesIterator for symbol tables.provides all functionality for handling a symbol table in main memory