CSPM-Interpreter-0.6.0.3: An interpreter for CSPM

Portability	GHC-only
Stability	experimental
Maintainer	Fontaine@cs.uni-duesseldorf.de
Safe Haskell	Safe-Infered

CSPM.Interpreter.ClosureSet

Description

Utility functions dealing with closure sets.

Documentation

memberPrefixTrie :: [Field] -> PrefixTrie -> Bool Source

prefixTrieNext :: PrefixTrie -> Field -> Maybe PrefixTrie Source

closureStateNext :: ClosureState -> Field -> ClosureState Source

setToClosure :: Set Value -> ClosureSet Source

mkClosureSet :: PrefixTrie -> ClosureSet Source

setToPrefixTrie :: Set Value -> PrefixTrie Source

closureToSet :: ClosureSet -> Set Value Source

hackValueToEvent :: Value -> Event Source

prefixTrieToSet :: PrefixTrie -> Set Value Source

mkEventClosure :: [Value] -> EM ClosureSet Source

valueToPT :: Value -> PrefixTrie Source

fieldsToPT :: [Value] -> [FieldSet] -> PrefixTrie Source

ptUnions :: [PrefixTrie] -> PrefixTrie Source

singleEventToClosureSet :: Event -> ClosureSet Source