org.dllearner.prolog
Class Function

java.lang.Object
  org.dllearner.prolog.Term
      org.dllearner.prolog.Function

All Implemented Interfaces:

Cloneable

public class Function
extends Term

Author:

Sebastian Bader

Constructor Summary

Function(Function source)

Function(FunctionDefinition functionDefinition, ArrayList<Term> arguments)

Function(String name, ArrayList<Term> arguments)

Function(String name, Term term2)

Function(Term term1, String name)

Function(Term term1, String name, Term term2)

Method Summary

Object	clone()
boolean	equals(Object obj)
Term	getArgument(int index)
int	getArity()
Term	getInstance(Variable variable, Term term)
String	getName()
int	getType()
int	hashCode()
boolean	isGround()
void	setArgument(int index, Term term)
String	toPLString()
String	toString()

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

Function

public Function(Function source)

Function

public Function(String name,
                ArrayList<Term> arguments)

Function

public Function(String name,
                Term term2)

Function

public Function(Term term1,
                String name)

Function

public Function(Term term1,
                String name,
                Term term2)

Function

public Function(FunctionDefinition functionDefinition,
                ArrayList<Term> arguments)

Method Detail

clone

public Object clone()

Specified by:

clone in class Term

getName

public String getName()

getArity

public int getArity()

getType

public int getType()

getArgument

public Term getArgument(int index)

setArgument

public void setArgument(int index,
                        Term term)

isGround

public boolean isGround()

Specified by:

isGround in class Term

Returns:

Returns true iff this term is ground

toString

public String toString()

Specified by:

toString in class Term

toPLString

public String toPLString()

Specified by:

toPLString in class Term

getInstance

public Term getInstance(Variable variable,
                        Term term)

Specified by:

getInstance in class Term

Parameters:

variable - Substitution variable.

term - A term.

Returns:

Returns a new instance of this term, where the variable is replaced by the term.

equals

public boolean equals(Object obj)

Specified by:

equals in class Term

hashCode

public int hashCode()

Specified by:

hashCode in class Term