at.jku.risc.stout.tgau.data.atom

Class FunctionApplication

java.lang.Object

at.jku.risc.stout.tgau.util.PrintableX

at.jku.risc.stout.tgau.data.atom.FunctionApplication

All Implemented Interfaces:

Term, Printable, java.lang.Comparable<Term>

public class FunctionApplication
extends PrintableX
implements Term

A function application consists of a FunctionSymbol and a List of variables.

Author:

Alexander Baumgartner

Constructor Summary

Constructors

Constructor and Description
FunctionApplication(FunctionSymbol symbol, java.util.List<Variable> args) Instantiates a new term node.

Method Summary

Modifier and Type	Method and Description
int	compareTo(Term o)
boolean	equals(java.lang.Object other)
java.util.List<Variable>	getArgs()
FunctionSymbol	getAtom()
FunctionSymbol	getSymbol()
int	hashCode()
void	print(java.io.Writer out)
void	setArgs(java.util.List<Variable> args) Null values are transformed to unique objects which represent the null value.
void	setSymbol(FunctionSymbol atom)

Methods inherited from class at.jku.risc.stout.tgau.util.PrintableX

toString

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

FunctionApplication

public FunctionApplication(FunctionSymbol symbol,
                           java.util.List<Variable> args)

Instantiates a new term node. If args is null it will be set to the empty list. So that no NullPointerException can occur.

Method Detail

compareTo

public int compareTo(Term o)

Specified by:

compareTo in interface java.lang.Comparable<Term>

equals

public boolean equals(java.lang.Object other)

Overrides:

equals in class java.lang.Object

getArgs

public java.util.List<Variable> getArgs()

getAtom

public FunctionSymbol getAtom()

Specified by:

getAtom in interface Term

getSymbol

public FunctionSymbol getSymbol()

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

print

public void print(java.io.Writer out)
           throws java.io.IOException

Specified by:

print in interface Printable

Throws:

java.io.IOException

setArgs

public void setArgs(java.util.List<Variable> args)

Null values are transformed to unique objects which represent the null value.

setSymbol

public void setSymbol(FunctionSymbol atom)