src/main/java/eu/digitisation/distance/EditSequence.java
public EditSequence head(int len) {
        EditSequence path = new EditSequence();
        for (int n = 0; n < len; ++n) {
            path.add(ops.get(n));
        }
        return path;
    }
/**
     * Build a new path containing only a prefix of the sequence
     *
     * @param len the length of the new sequence
     * @return the path truncated to the required length
     */
Build a new path containing only a prefix of the sequence
@param len the length of the new sequence
@return the path truncated to the required length
Build a new path containing only a prefix of the sequence @param len the length of the new sequence @return the path truncated to the required length
public EditSequence head(int len) {
        EditSequence path = new EditSequence();
        for (int n = 0; n < len; ++n) {
            path.add(ops.get(n));
        }
        return path;
    }
public EditSequence head ( int len ) { EditSequence path = new EditSequence ( ) ; for ( int n = 0 ; n < len ; ++ n ) { path . add ( ops . get ( n ) ) ; } return path ; }
Build a new path containing only a prefix of the sequence
 @param len the length of the new sequence
 @return the path truncated to the required length
Build a new path containing only a prefix of the sequence @param len the length of the new sequence @return the path truncated to the required length