Uses of Class
com.semedy.reasoner.api.logic.Function

Packages that use Function

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

Uses of Function in com.semedy.reasoner.api.logic

Methods in com.semedy.reasoner.api.logic that return Function

Modifier and Type	Method	Description
Function	Function.clone()	clone the function
Function	Function.getNormalized()	return a normalized version (all variables are renamed to Xi)

Uses of Function in com.semedy.reasoner.api.symboltable

Methods in com.semedy.reasoner.api.symboltable that return Function

Modifier and Type	Method	Description
Function	SymbolTable.createNonGroundFunction(Function t)	Compile a non-ground function into a non-ground internalized function.
Function	SymbolTable.decodeNonGroundFunction(Function t)	decompiles a ground internal function into an external function
Function	SymbolTable.getValueFunction(long code)	Produces a value from the code of an internal function.

Methods in com.semedy.reasoner.api.symboltable with parameters of type Function

Modifier and Type	Method	Description
long	SymbolTable.createFunctionCode(long[] t, Function f)	create function code
Function	SymbolTable.createNonGroundFunction(Function t)	Compile a non-ground function into a non-ground internalized function.
Function	SymbolTable.decodeNonGroundFunction(Function t)	decompiles a ground internal function into an external function

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

Methods in com.semedy.reasoner.reasoning.processes that return Function

Modifier and Type	Method	Description
Function	ReasoningSymbolTableNotInternalize.createNonGroundFunction(Function t)
Function	ReasoningSymbolTableNotInternalize.decodeNonGroundFunction(Function t)
Function	ReasoningSymbolTableNotInternalize.getValueFunction(long code)

Methods in com.semedy.reasoner.reasoning.processes with parameters of type Function

Modifier and Type	Method	Description
long	ReasoningSymbolTableNotInternalize.createFunctionCode(long[] t, Function f)
Function	ReasoningSymbolTableNotInternalize.createNonGroundFunction(Function t)
Function	ReasoningSymbolTableNotInternalize.decodeNonGroundFunction(Function t)

Uses of Function in com.semedy.reasoner.symboltable

Methods in com.semedy.reasoner.symboltable that return Function

Modifier and Type	Method	Description
Function	AbstractSymbolTable.createNonGroundFunction(Function f)	Compile a non-ground user term into a non-ground internal term.
Function	ReasoningSymbolTable.createNonGroundFunction(Function t)	Compile a non-ground user term into a non-ground internal term.
Function	AbstractSymbolTable.decodeNonGroundFunction(Function t)
abstract Function	AbstractSymbolTable.getValueFunction(long code)	get function for symbol code
Function	MultiSymbolTable.getValueFunction(long code)
Function	ReasoningSymbolTableRAM.getValueFunction(long code)
Function	ReasoningSymbolTableRAM.getValueFunction(long code, boolean decodeSets)	Produce a value from the code.
Function	SymbolTableBplus.getValueFunction(long code)
final Function	SymbolTableRAM.getValueFunction(long code)	Produce a value from the code of an internal constant.

Methods in com.semedy.reasoner.symboltable with parameters of type Function

Modifier and Type	Method	Description
abstract long	AbstractSymbolTable.createFunctionCode(long[] t, Function f)	create function code
long	MultiSymbolTable.createFunctionCode(long[] t, Function f)
long	ReasoningSymbolTableRAM.createFunctionCode(long[] t, Function f)
final long	SymbolTableBplus.createFunctionCode(long[] buffer, Function f)
final long	SymbolTableRAM.createFunctionCode(long[] buffer, Function f)
final long	SymbolTableBplus.createFunctionCodeNotInternalize(long[] buffer, Function f)	create function code not internalized
Function	AbstractSymbolTable.createNonGroundFunction(Function f)	Compile a non-ground user term into a non-ground internal term.
Function	ReasoningSymbolTable.createNonGroundFunction(Function t)	Compile a non-ground user term into a non-ground internal term.
Function	AbstractSymbolTable.decodeNonGroundFunction(Function t)
Object	AbstractSymbolTable.substituteFunction(Function f, Map<Variable,Object> subs)