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

Class HedgeVar

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

All Implemented Interfaces:

Cloneable, Comparable<TermAtom>

public class HedgeVar
extends Variable

A hedge variable can be substituted by a single TermNode or a hedge which is represented by a TermNode with a null-atom TermNode.isNullAtom().

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
HedgeVar(String name)

Method Summary

Methods

Modifier and Type	Method and Description
void	normalizeVarNames(Map<String,String> renaming)

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

apply, substitute

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

HedgeVar

public HedgeVar(String name)

Method Detail

normalizeVarNames

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

Overrides:

normalizeVarNames in class TermAtom