at.jku.risc.stout.urau.data.atom

Class Variable

java.lang.Object

at.jku.risc.stout.urau.util.Printable

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

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

All Implemented Interfaces:

Cloneable, Comparable<TermAtom>

Direct Known Subclasses:

HedgeVar, TermVar

public abstract class Variable
extends TermAtom

This is the base class for different types of variables.

Author:

Alexander Baumgartner

Constructor Summary

Constructors

Constructor and Description
Variable(String name)

Method Summary

Methods

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

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

compareTo, equals, getName, hashCode, print

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

toString

Methods inherited from class java.lang.Object

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

Constructor Detail

Variable

public Variable(String name)

Method Detail

apply

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

Overrides:

apply in class TermAtom

clone

public Variable clone()

Overrides:

clone in class TermAtom

substitute

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

Overrides:

substitute in class TermAtom