| Copyright | (c) Fontaine 2009 |
|---|---|
| License | BSD |
| Maintainer | Fontaine@cs.uni-duesseldorf.de |
| Stability | experimental |
| Portability | GHC-only |
| Safe Haskell | None |
| Language | Haskell2010 |
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
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