at.jku.risc.stout.urauc.data.atom

Class FunctionSymbol

java.lang.Object

at.jku.risc.stout.urauc.util.Printable

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

at.jku.risc.stout.urauc.data.atom.FunctionSymbol

All Implemented Interfaces:

Cloneable, Comparable<TermAtom>

public class FunctionSymbol
extends TermAtom

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

Author:

Alexander Baumgartner

Field Summary

Fields inherited from class at.jku.risc.stout.urauc.data.atom.TermAtom

DEBUG_POSITION, nullAtom

Constructor Summary

Constructors

Constructor and Description
FunctionSymbol(String name)

Method Summary

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

apply, clone, commonAncestor, compareTo, equals, getName, getPositionIndex, getPositionString, hashCode, isAncestor, isCommutative, normalizeVarNames, print, setCommutative, setPositionIndex, substitute

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

toString

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

FunctionSymbol

public FunctionSymbol(String name)