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

Class Variable

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

Direct Known Subclasses:

HedgeVar, TermVar

public abstract class Variable
extends TermAtom

This is the base class for different types of variables.

Author:

Alexander Baumgartner

Field Summary

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

nullAtom

Method Summary

Methods

Modifier and Type	Method and Description
TermNode	apply(Map<Variable,TermNode> sigma, TermNode thisNode)
TermNode	substitute(Variable from, TermNode to, TermNode thisNode)

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

Method Detail

apply

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

Overrides:

apply in class TermAtom

substitute

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

Overrides:

substitute in class TermAtom