at.jku.risc.stout.urau.algo

Class AlignmentList.Alignment.AlignmentAtom

java.lang.Object

at.jku.risc.stout.urau.algo.AlignmentList.Alignment.AlignmentAtom

Enclosing class:

AlignmentList.Alignment

public class AlignmentList.Alignment.AlignmentAtom
extends Object

An AlignmentList.Alignment.AlignmentAtom consists of an TermAtom and two indexes for the positions of the atom inside the two hedges of an Equation.

Author:

Alexander Baumgartner

Field Summary

Fields

Modifier and Type	Field and Description
TermAtom	atom
int	idxLeft
int	idxRight

Method Summary

Methods

Modifier and Type	Method and Description
void	set(TermAtom atom, int idxLeft, int idxRight)
String	toString()

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

atom

public TermAtom atom

idxLeft

public int idxLeft

idxRight

public int idxRight

Method Detail

set

public void set(TermAtom atom,
       int idxLeft,
       int idxRight)

toString

public String toString()

Overrides:

toString in class Object