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

Class TermAtom

java.lang.Object

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

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

All Implemented Interfaces:

Cloneable, Comparable<TermAtom>

Direct Known Subclasses:

FunctionSymbol, Hole, Variable

public abstract class TermAtom
extends Printable
implements Comparable<TermAtom>, Cloneable

Base class for all the atomic types like function symbols and variables.

Author:

Alexander Baumgartner

Field Summary

Fields

Modifier and Type	Field and Description
static boolean	DEBUG_POSITION
static TermAtom	nullAtom

Constructor Summary

Constructors

Constructor and Description
TermAtom(String name)
TermAtom(String name, int[] positionIndex)

Method Summary

Methods

Modifier and Type	Method and Description
TermNode	apply(Map<Variable,TermNode> sigma, TermNode thisNode)
TermAtom	clone()
int	commonAncestor(TermAtom other)
int	compareTo(TermAtom o)
boolean	equals(Object obj)
String	getName()
int[]	getPositionIndex()
String	getPositionString(int idxStart, int idx1Add)
int	hashCode()
boolean	isAncestor(TermAtom other)
boolean	isCommutative()
void	normalizeVarNames(Map<String,String> renaming)
void	print(Writer out)
void	setCommutative(boolean commutative)
void	setPositionIndex(int[] positionIndex)
TermNode	substitute(Variable from, TermNode to, TermNode thisNode)

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

Field Detail

DEBUG_POSITION

public static boolean DEBUG_POSITION

nullAtom

public static final TermAtom nullAtom

Constructor Detail

TermAtom

public TermAtom(String name)

TermAtom

public TermAtom(String name,
        int[] positionIndex)

Method Detail

apply

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

clone

public TermAtom clone()

Overrides:

clone in class Object

commonAncestor

public int commonAncestor(TermAtom other)

compareTo

public int compareTo(TermAtom o)

Specified by:

compareTo in interface Comparable<TermAtom>

equals

public boolean equals(Object obj)

Overrides:

equals in class Object

getName

public String getName()

getPositionIndex

public int[] getPositionIndex()

getPositionString

public String getPositionString(int idxStart,
                       int idx1Add)

hashCode

public int hashCode()

Overrides:

hashCode in class Object

isAncestor

public boolean isAncestor(TermAtom other)

isCommutative

public boolean isCommutative()

normalizeVarNames

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

print

public void print(Writer out)
           throws IOException

Specified by:

print in class Printable

Throws:

IOException

setCommutative

public void setCommutative(boolean commutative)

setPositionIndex

public void setPositionIndex(int[] positionIndex)

substitute

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