GLL.Types.BSR

Documentation

type Input t = Array Int t

type SlotL t = (Slot t, Int)

type PrL t = (Prod t, Int)

type NtL = (Nt, Int)

type BSRs t = IntMap (IntMap (IntMap (Map (Prod t) IntSet)))

Stores packed nodes using nested Data.IntMaps, nesting is as follows:

• left extent
• right extent
• dot position (from left to right)
• mapping from productions to set of pivots

type BSR t = (Slot t, Int, Int, Int)

emptyBSRs :: Ord t => BSRs t

pNodeLookup :: Ord t => BSRs t -> (Slot t, Int, Int) -> Maybe [Int]

pNodeLookup' :: Ord t => BSRs t -> ((Prod t, Int), Int, Int) -> Maybe [Int]

addBSR :: Ord t => BSR t -> BSRs t -> BSRs t

pMapInsert :: Ord t => BSR t -> BSRs t -> BSRs t

showBSRs :: (Show a1, Show a2) => IntMap (IntMap (IntMap (Map a1 a2))) -> String

mkInput :: Parseable t => [t] -> Input t