Uses of Interface
com.semedy.reasoner.symboltable.ReasoningSymbolTable

Packages that use ReasoningSymbolTable

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

Uses of ReasoningSymbolTable in com.semedy.reasoner.reasoning.processes

Classes in com.semedy.reasoner.reasoning.processes that implement ReasoningSymbolTable

Modifier and Type	Class	Description
class	ReasoningSymbolTableNotInternalize	Wrapper around a reasoning symbol table which does not internalize terms

Constructors in com.semedy.reasoner.reasoning.processes with parameters of type ReasoningSymbolTable

Modifier	Constructor	Description
	ReasoningSymbolTableNotInternalize(ReasoningSymbolTable symbols)

Uses of ReasoningSymbolTable in com.semedy.reasoner.symboltable

Classes in com.semedy.reasoner.symboltable that implement ReasoningSymbolTable

Modifier and Type	Class	Description
class	AbstractSymbolTable	provides all functionality for handling a symbol table in main memory
class	MultiSymbolTable
class	ReasoningSymbolTableRAM	Provides all functionality for handling a symbol table in main memory for reasoning.
class	SymbolTableBplus	Implements a persistent symbol table based on b+ trees
class	SymbolTableRAM	provides all functionality for handling a symbol table in main memory