public class AlignmentPiece
extends java.lang.Object
| Constructor and Description |
|---|
AlignmentPiece(int modelMove,
int logMove,
byte[] marking) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
equals(java.lang.Object o) |
int |
getLogMove()
encodes a log move according to the alignment
|
byte[] |
getMarking() |
int |
getModelMove()
encodes a leaf in the model according to the alignment
|
int |
hashCode() |
java.lang.String |
toString() |
public int getModelMove()
public int getLogMove()
public boolean equals(java.lang.Object o)
equals in class java.lang.Objectpublic byte[] getMarking()
public int hashCode()
hashCode in class java.lang.Objectpublic java.lang.String toString()
toString in class java.lang.Object