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

Class ContextVar

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.ContextVar

public class ContextVar
extends Variable

A context variable can be substituted by a context.

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