Package com.semedy.reasoner.api.logic

Class Function

java.lang.Object

com.semedy.reasoner.api.logic.Compound

com.semedy.reasoner.api.logic.Function

All Implemented Interfaces:

Serializable, Cloneable

public class Function
extends Compound
implements Cloneable, Serializable

object for a functional term

Author:

angele

See Also:

• Serialized Form

Constructor Summary

Constructors

Constructor	Description
Function(long symbol)
Function(long symbol, Object[] arguments)
Function(String s, long symbol, Object[] arguments)
Function(String s, Object[] arguments)

Method Summary

Modifier and Type	Method	Description
Function	clone()	clone the function
String	getFunctionSymbol()	return the full qualified symbol with name and arity like add|2
Function	getNormalized()	return a normalized version (all variables are renamed to Xi)
int	maxDepth()	max depth of function
void	setSymbol(long code)	set the code for the function symbol

Methods inherited from class com.semedy.reasoner.api.logic.Compound

boundArguments, clearInternalBuffer, equals, getArgument, getArguments, getArity, getInternalBuffer, getSubstitutedArgument, getSymbol, getSymbolAsString, getVariableOccurrences, getVariables, getVariablesAsBits, hashCode, isArgumentGround, isGround, toString

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Constructor Details

Function

public Function(String s,
 long symbol,
 Object[] arguments)

Function

public Function(String s,
 Object[] arguments)

Function

public Function(long symbol,
 Object[] arguments)

Function

public Function(long symbol)

Method Details

setSymbol

public void setSymbol(long code)

set the code for the function symbol

Parameters:

code -

getNormalized

public Function getNormalized()

return a normalized version (all variables are renamed to Xi)

Overrides:

getNormalized in class Compound

Returns:

clone

public Function clone()

clone the function

Overrides:

clone in class Compound

Returns:

clone of the compound

getFunctionSymbol

public String getFunctionSymbol()

return the full qualified symbol with name and arity like add|2

Returns:

maxDepth

public int maxDepth()

max depth of function

Returns: