at.jku.risc.stout.urmc.data.atom

Class FunctionVar

java.lang.Object

at.jku.risc.stout.urmc.util.Printable

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

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

at.jku.risc.stout.urmc.data.atom.FunctionVar

public class FunctionVar
extends Variable

A function variable can be substituted by a function symbol or function variable.

Author:

Alexander Baumgartner

Field Summary

Fields inherited from class at.jku.risc.stout.urmc.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.urmc.data.atom.TermAtom

copy, getName, print

Methods inherited from class at.jku.risc.stout.urmc.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 Variable

substitute

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

Overrides:

substitute in class Variable