| 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 #
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 #