The main entrypoint to the parser. Expects an evaluator for the specific grammar and an input path. Returns the combined semiring value of all full derivations.

Parse a piece using the logSize logging function.

Parse a piece without logging.

A logging function that logs the sice of the charts at each level.

A logging function that emits the state of the chart in TikZ code at every level.

A slice during chart parsing. Besides the slice content (e.g., notes), it maintains indices to the first and last surface slice covered, as well as an ID that is used for matching compatible parents of a spread.

A transition during chart parsing. Has pointers to the two slices it connects, a content (e.g., protovoice connections), and a flag indicating whether it is the second (right) parent of a spread.

Returns the "length" of the transition in terms of surface slices covered.

A parsing item. Combines an intermediate value (e.g. a transition) with a semiring score.

A transition item.

The contents of a transition chart (under a particular index). A mapping from transitions (with score ID constraints left and right) to (partial) semiring scores. This mapping usually contains all transition items that satisfy a certain criterion, irrespective of their position in the chart (which is encoded in the transitions themselves).

When new transition items are added, if the transition already exists in the chart (as the result of a different partial parse), the scores of the new and existing items are "added" (this also requires the score IDs to match).

A transition chart. Stores intermediate transition items redundantly under several indices:

• by surface length
• by left slice
• by right slice

Returns all transition items with the same length.

Represents the middle part of an incomplete unspread ("verticalization"). Expresses how the middle transition and the two child slices (vMiddle) are derived from the parent slice (vTop) using a spread operation (vOp).

Vert objects are stored in the VChart to record the intermediate steps of an unspread, which is found by first parsing the middle transition into the parent slice (generating a Vert) and then combining the Vert with the left and right child transitions to generate the left and right parent transitions, respectively.

A verticalization chart. Stores Vert objects at certain chart positions. To support efficient lookup of Vert objects from different indices, each Vert is redundantly stored in several hash maps, one for each index:

• by surface length
• by surface length (only left border of a Vert)
• by left child slice ID and mid transition length
• by right child ID

In addition, the VChart maintains IDs of new slices. (Every new slice is the parent of an unspread.)

Returns all Vert objects in the VChart with the same length.

A summary constraint for transitions, slices, and semiring values

An alias for common constraints on slices and transitions

An alias for common constraints on semiring values