at.jku.risc.stout.urau.data.atom

Class Function

java.lang.Object

at.jku.risc.stout.urau.util.Printable

at.jku.risc.stout.urau.data.atom.TermAtom

at.jku.risc.stout.urau.data.atom.Function

All Implemented Interfaces:

Cloneable, Comparable<TermAtom>

public class Function
extends TermAtom

A TermAtom which represents a function symbol. Function symbols can be typed.

Author:

Alexander Baumgartner

Constructor Summary

Constructors

Constructor and Description
Function(String name)

Method Summary

Methods inherited from class at.jku.risc.stout.urau.data.atom.TermAtom

apply, clone, compareTo, equals, getName, hashCode, print, substitute

Methods inherited from class at.jku.risc.stout.urau.util.Printable

toString

Methods inherited from class java.lang.Object

equals, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

Function

public Function(String name)