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

Class BoundVariable

java.lang.Object

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

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

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

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

All Implemented Interfaces:

Cloneable, Comparable<TermAtom>

public class BoundVariable
extends Variable

A bound variable is special type of Variable which stores it's origin name because it may be renamed by alpha conversion.

Author:

Alexander Baumgartner

Field Summary

Fields

Modifier and Type	Field and Description
static boolean	PRINT_ORIGIN_NAME

Constructor Summary

Constructors

Constructor and Description
BoundVariable(String name, String originName, String type)

Method Summary

Methods

Modifier and Type	Method and Description
String	getOriginName()
void	print(Writer out)

Methods inherited from class at.jku.risc.stout.hoau.data.atom.Variable

equals, getType, isBasicType

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

appendType, clone, compareTo, getName, hashCode

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

toString

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Field Detail

PRINT_ORIGIN_NAME

public static boolean PRINT_ORIGIN_NAME

Constructor Detail

BoundVariable

public BoundVariable(String name,
             String originName,
             String type)

Method Detail

getOriginName

public String getOriginName()

Overrides:

getOriginName in class TermAtom

print

public void print(Writer out)
           throws IOException

Overrides:

print in class Variable

Throws:

IOException