at.jku.risc.stout.urau.algo
public class AlignmentList.Alignment extends
Modifier and Type | Class and Description |
---|---|
class |
AlignmentList.Alignment.AlignmentAtom
An AlignmentList.Alignment.AlignmentAtom consists of an TermAtom
and two indexes for the positions of the atom inside the two hedges
of an Equation.
|
Modifier and Type | Method and Description |
---|---|
void |
addAtom(TermAtom atom,
int idxLeft,
int idxRight)
Adds a new AlignmentList.Alignment.AlignmentAtom to this AlignmentList.Alignment.
|
AlignmentList.Alignment.AlignmentAtom |
get(int i) |
void |
removeLast() |
void |
reset()
Resets the alignment to the initial state.
|
int |
size() |
public void addAtom(TermAtom atom, int idxLeft, int idxRight)
public AlignmentList.Alignment.AlignmentAtom get(int i)
public void removeLast()
public void reset()
public int size()