at.jku.risc.stout.nau.data.atom

Class Variable

java.lang.Object

at.jku.risc.stout.nau.data.atom.Variable

All Implemented Interfaces:

HasSort<Sort>

public class Variable
extends Object
implements HasSort<Sort>

A variable has a unique name and may be of sort data or sort atom.

Author:

Alexander Baumgartner

Constructor Summary

Constructors

Constructor and Description
Variable(String name) Instantiates a variable of the specified name.

Method Summary

Methods

Modifier and Type	Method and Description
String	getName()
Sort	getSort()
void	setName(String name)
void	setSort(Sort sort)
String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

Variable

public Variable(String name)

Instantiates a variable of the specified name. Use the NodeFactory to create new Variables! The use of NodeFactory guarantees the uniqueness of equal Variables. This uniqueness enables very fast equality testing, hash-code generation, comparison of variables,... and it keeps the memory overhead as small as possible.

Method Detail

getName

public String getName()

getSort

public Sort getSort()

Specified by:

getSort in interface HasSort<Sort>

setName

public void setName(String name)

setSort

public void setSort(Sort sort)

Specified by:

setSort in interface HasSort<Sort>

toString

public String toString()

Overrides:

toString in class Object