at.jku.risc.stout.hoau.data.atom

Class TermAtom

java.lang.Object

at.jku.risc.stout.hoau.util.Printable

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

All Implemented Interfaces:

Cloneable, Comparable<TermAtom>

Direct Known Subclasses:

Function, Lambda, Variable

public abstract class TermAtom
extends Printable
implements Comparable<TermAtom>, Cloneable

Base class for all the atomic types like function symbols and variables.

Author:

Alexander Baumgartner

Constructor Summary

Constructors

Constructor and Description
TermAtom(String name)

Method Summary

Methods

Modifier and Type	Method and Description
String	appendType(String type, char typeConstructor)
TermAtom	clone()
int	compareTo(TermAtom o)
boolean	equals(Object obj)
String	getName()
String	getOriginName()
abstract String	getType()
int	hashCode()
abstract boolean	isBasicType()

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

print, toString

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

TermAtom

public TermAtom(String name)

Method Detail

appendType

public String appendType(String type,
                char typeConstructor)

clone

public TermAtom clone()

Overrides:

clone in class Object

compareTo

public int compareTo(TermAtom o)

Specified by:

compareTo in interface Comparable<TermAtom>

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

getName

public String getName()

getOriginName

public String getOriginName()

getType

public abstract String getType()

hashCode

public int hashCode()

Overrides:

hashCode in class Object

isBasicType

public abstract boolean isBasicType()