at.jku.risc.stout.uru.data.atom

Class TermVar

java.lang.Object

at.jku.risc.stout.uru.util.Printable

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

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

at.jku.risc.stout.uru.data.atom.TermVar

public class TermVar
extends Variable

A simple term variable can be substituted by a single TermNode.

Author:

Alexander Baumgartner

Field Summary

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

nullAtom

Method Summary

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

apply, substitute

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

copy, getName, print

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

toString

Methods inherited from class java.lang.Object

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