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

Class TermAtom

java.lang.Object

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

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

Direct Known Subclasses:

Function, Variable

public abstract class TermAtom
extends Printable

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

Author:

Alexander Baumgartner

Field Summary

Fields

Modifier and Type	Field and Description
static TermAtom	nullAtom

Method Summary

Methods

Modifier and Type	Method and Description
TermNode	apply(Map<Variable,TermNode> sigma, TermNode thisNode)
TermAtom	copy()
String	getName()
void	print(Writer out)
TermNode	substitute(Variable from, TermNode to, TermNode thisNode)

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

Field Detail

nullAtom

public static final TermAtom nullAtom

Method Detail

apply

public TermNode apply(Map<Variable,TermNode> sigma,
             TermNode thisNode)

copy

public TermAtom copy()

getName

public String getName()

print

public void print(Writer out)
           throws IOException

Specified by:

print in class Printable

Throws:

IOException

substitute

public TermNode substitute(Variable from,
                  TermNode to,
                  TermNode thisNode)