public static class AlignmentList.Alignment
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static 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
TermAUP.
|
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) |
boolean |
isEmpty() |
AlignmentList |
makeCommutative(java.util.List<Variable> leftArgs,
java.util.List<Variable> rightArgs) |
void |
removeLast() |
void |
reset()
Resets the alignment to the initial state.
|
int |
size() |
void |
swapAll(AlignmentList al,
int swapStart,
java.util.List<Variable> leftArgs,
java.util.List<Variable> rightArgs) |
void |
swapRec(int swapIdx1,
int swapIdx2,
AlignmentList al,
java.util.List<Variable> leftArgs,
java.util.List<Variable> rightArgs) |
java.lang.String |
toString() |
public void addAtom(TermAtom atom, int idxLeft, int idxRight)
public AlignmentList.Alignment.AlignmentAtom get(int i)
public boolean isEmpty()
public AlignmentList makeCommutative(java.util.List<Variable> leftArgs, java.util.List<Variable> rightArgs)
public void removeLast()
public void reset()
public int size()
public void swapAll(AlignmentList al, int swapStart, java.util.List<Variable> leftArgs, java.util.List<Variable> rightArgs)
public void swapRec(int swapIdx1, int swapIdx2, AlignmentList al, java.util.List<Variable> leftArgs, java.util.List<Variable> rightArgs)
public java.lang.String toString()
toString
in class java.lang.Object