Module TermGraph.XML

Exported Datatypes

Constructors:

• State :: Graph -> NodeID -> [NodeID] -> FingerPrint -> State

  Fields:

  • graph :: Graph
  • activeNode :: NodeID
  • results :: [NodeID]
  • fingerprint :: FingerPrint

Known instances:

• Show State
• Eq State

Exported Functions

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   

Further infos:

• partially defined

xmlEntry :: String -> String -> XmlExp   

Further infos:

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