Operations to transform ICurry graphs into XML representation.
Author: Sascha Ecks
Version: September 2022
generateTextgraph
:: State -> String |
compose4
:: (a -> b) -> (c -> d -> e -> f -> a) -> c -> d -> e -> f -> b |
states2XmlGraphs
:: [State] -> XmlExp |
generateXmlgraph
:: State -> XmlExp |
generateXmlNode
:: Int -> [Int] -> (Int,Node) -> XmlExp |
xmlChoiceMappings
:: [(Int,Int)] -> [XmlExp] |
xmlChoiceMapping
:: (Int,Int) -> XmlExp |
replaceChoiceIDs
:: [(Int,Node)] -> [(Int,Int)] -> [(Int,Int)] |
lookupChoiceNodeIds
:: [(Int,Node)] -> Int -> [Int] |
choiceReachableFrom
:: [(Int,Node)] -> [(Int,Int)] -> [Int] -> Int -> Int -> Bool |
xmlEntry
:: String -> String -> XmlExp |
Type synonym: FingerPrint = [(ChoiceID,Int)]
Constructors:
State
:: Graph -> NodeID -> [NodeID] -> FingerPrint -> State
Fields:
graph
:: Graph
activeNode
:: NodeID
results
:: [NodeID]
fingerprint
:: FingerPrint
|
|
|
|
|
|
|
|
|
|