src/main/java/eu/digitisation/distance/EditSequence.java
public final void append(EditSequence other) {
        for (EdOp op : other.ops) {
            this.add(op);
        }
    }
/**
     * Add an operation to the sequence
     *
     * @param other another sequence of edit operations
     */
Add an operation to the sequence
@param other another sequence of edit operations
Add an operation to the sequence @param other another sequence of edit operations
public final void append(EditSequence other) {
        for (EdOp op : other.ops) {
            this.add(op);
        }
    }
public final void append ( EditSequence other ) { for ( EdOp op : other . ops ) { this . add ( op ) ; } }
Add an operation to the sequence
 @param other another sequence of edit operations
Add an operation to the sequence @param other another sequence of edit operations