Module TermGraph.XML

Operations to transform ICurry graphs into XML representation.

Author: Sascha Ecks

Version: September 2022

Summary of exported operations:

generateTextgraph :: State -> String  Deterministic 
compose4 :: (a -> b) -> (c -> d -> e -> f -> a) -> c -> d -> e -> f -> b  Deterministic 
states2XmlGraphs :: [State] -> XmlExp  Deterministic 
generateXmlgraph :: State -> XmlExp  Deterministic 
generateXmlNode :: Int -> [Int] -> (Int,Node) -> XmlExp  Deterministic 
xmlChoiceMappings :: [(Int,Int)] -> [XmlExp]  Deterministic 
xmlChoiceMapping :: (Int,Int) -> XmlExp  Deterministic 
replaceChoiceIDs :: [(Int,Node)] -> [(Int,Int)] -> [(Int,Int)]  Deterministic 
lookupChoiceNodeIds :: [(Int,Node)] -> Int -> [Int]  Deterministic 
choiceReachableFrom :: [(Int,Node)] -> [(Int,Int)] -> [Int] -> Int -> Int -> Bool  Deterministic 
xmlEntry :: String -> String -> XmlExp  Deterministic 

Exported datatypes:

FingerPrint

Type synonym: FingerPrint = [(ChoiceID,Int)]

State

Constructors:

Exported operations:

generateTextgraph :: State -> String  Deterministic 

compose4 :: (a -> b) -> (c -> d -> e -> f -> a) -> c -> d -> e -> f -> b  Deterministic 

states2XmlGraphs :: [State] -> XmlExp  Deterministic 

generateXmlNode :: Int -> [Int] -> (Int,Node) -> XmlExp  Deterministic 

xmlChoiceMappings :: [(Int,Int)] -> [XmlExp]  Deterministic 

xmlChoiceMapping :: (Int,Int) -> XmlExp  Deterministic 

replaceChoiceIDs :: [(Int,Node)] -> [(Int,Int)] -> [(Int,Int)]  Deterministic 

lookupChoiceNodeIds :: [(Int,Node)] -> Int -> [Int]  Deterministic 

choiceReachableFrom :: [(Int,Node)] -> [(Int,Int)] -> [Int] -> Int -> Int -> Bool  Deterministic 

xmlEntry :: String -> String -> XmlExp  Deterministic 

Further infos:
  • solution complete, i.e., able to compute all solutions