Package jline.api.mam

Class Mmap_shorten

java.lang.Object

jline.api.mam.Mmap_shorten

public final class Mmap_shorten
extends Object

Method Summary

Modifier and Type	Method	Description
static MatrixCell	mmap_shorten(MatrixCell mmap)	Converts an MMAP representation from M3A format to BUTools format.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Details

mmap_shorten

public static MatrixCell mmap_shorten(MatrixCell mmap)

Converts an MMAP representation from M3A format to BUTools format.

In the M3A format, an MMAP is represented as a MAP followed by multiple D1 matrices for different markings (D0, D1, D1a, D1b, ...). In the BUTools format, the MMAP representation skips the initial D1 matrix, directly listing the marking matrices (D0, D1a, D1b, ...). This method reorders the matrices accordingly.

Parameters:

mmap - the MatrixCell containing the MMAP representation in M3A format

Returns:

a MatrixCell representing the MMAP in BUTools format