CSPM-Interpreter-0.1.0.0: An interpreter for CSPM
Source code
Contents
Index
CSPM.Interpreter.ClosureSet
Portability
GHC-only
Stability
experimental
Maintainer
Fontaine@cs.uni-duesseldorf.de
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
Produced by
Haddock
version 2.6.1