GLL.Types.DataSets

Documentation

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

type Comm t = (Nt, Int)

data Cont t c

Constructors

Cont (Slot t, Int) c

Instances

Eq t => Eq (Cont t c)

Defined in GLL.Types.DataSets

Methods

(==) :: Cont t c -> Cont t c -> Bool

(/=) :: Cont t c -> Cont t c -> Bool

Ord t => Ord (Cont t c)

Defined in GLL.Types.DataSets

Methods

compare :: Cont t c -> Cont t c -> Ordering

(<) :: Cont t c -> Cont t c -> Bool

(<=) :: Cont t c -> Cont t c -> Bool

(>) :: Cont t c -> Cont t c -> Bool

(>=) :: Cont t c -> Cont t c -> Bool

max :: Cont t c -> Cont t c -> Cont t c

min :: Cont t c -> Cont t c -> Cont t c

data State t c

Constructors

State

Fields

• uset :: USet t
• grel :: GRel t c
• prel :: PRel t
• bsrs :: BSRs t
• successes :: Int

emptyUSet :: USet t

addDescr :: Ord t => Descr t -> USet t -> USet t

hasDescr :: Ord t => Descr t -> USet t -> Bool

emptyG :: GRel t c

addCont :: Ord t => Comm t -> (Slot t, Int, c) -> GRel t c -> GRel t c

conts :: Comm t -> GRel t c -> [(Slot t, Int, c)]

emptyP :: PRel t

addExtent :: Comm t -> Int -> PRel t -> PRel t

extents :: Comm t -> PRel t -> [Int]

emptyState :: Ord t => State t c

type RList t = [Descr t]

type USet t = IntMap (IntMap (Set (Slot t)))

type GRel t c = IntMap (Map Nt (Set (Cont t c)))

type PRel t = IntMap (Map Nt [Int])

descrs2list :: USet t -> [(Slot t, Int, Int)]

printDescrs :: Show t => USet t -> IO ()

emptyRList :: [a]

popRList :: [a] -> (a, [a])

unionRList :: [a] -> [a] -> [a]

singletonRList :: a -> [a]

fromListRList :: Ord t => [Descr t] -> USet t -> RList t

singleCG :: Ord t => Comm t -> (Slot t, Int, c) -> GRel t c