at.jku.risc.stout.urauc.data.atom

Class ContextVar

java.lang.Object

at.jku.risc.stout.urauc.util.Printable

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

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

at.jku.risc.stout.urauc.data.atom.ContextVar

All Implemented Interfaces:

Cloneable, Comparable<TermAtom>

public class ContextVar
extends Variable

A context variable can be substituted by a context. A context is a special term or hedge with a Hole in it. The Hole appears exactly once. When a context is applied to a hedge, then this hedge will replace the Hole.

Author:

Alexander Baumgartner

Field Summary

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

DEBUG_POSITION, nullAtom

Constructor Summary

Constructors

Constructor and Description
ContextVar(String name)

Method Summary

Methods

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

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

clone, commonAncestor, compareTo, equals, getName, getPositionIndex, getPositionString, hashCode, isAncestor, isCommutative, print, setCommutative, setPositionIndex

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

toString

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

ContextVar

public ContextVar(String name)

Method Detail

apply

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

Overrides:

apply in class Variable

normalizeVarNames

public void normalizeVarNames(Map<String,String> renaming)

Overrides:

normalizeVarNames in class TermAtom

substitute

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

Overrides:

substitute in class Variable