adp-multi-0.2.3: ADP for multiple context-free languages

Safe HaskellSafe-Inferred

ADP.Multi.Rewriting.YieldSize

Description

Calculates yield sizes using rewriting functions.

Synopsis

Documentation

type YieldAnalysisAlgorithm a = a -> [ParserInfo] -> ParserInfoSource

determineYieldSize1 :: YieldAnalysisAlgorithm Dim1Source

determineYieldSize2 :: YieldAnalysisAlgorithm Dim2Source

combineYields :: [YieldSize] -> YieldSizeSource

type YieldSize = (Int, Maybe Int)Source

min and max yield size

type YieldSizeMap = Map (Int, Int) YieldSizeSource

Maps each parser symbol to its yield size (remember: a 2-dim parser has 2 symbols in a rewriting function)

buildYieldSizeMap :: [ParserInfo] -> YieldSizeMapSource