Module ICurry.Graph

Exported Datatypes

Constructors:

• PartFuncCall :: Int -> PartCall
• PartConsCall :: Int -> PartCall

Known instances:

• Show PartCall
• Eq PartCall

Constructors:

• FuncNode :: String -> [NodeID] -> Node
• ConsNode :: String -> [NodeID] -> Node
• PartNode :: String -> PartCall -> [NodeID] -> Node
• ChoiceNode :: ChoiceID -> NodeID -> NodeID -> Node
• FreeNode :: Node

Known instances:

• Show Node
• Eq Node

Constructors:

• Graph :: [(NodeID, Node)] -> NodeID -> NodeID -> Graph

Known instances:

• Show Graph
• Eq Graph

Exported Functions

viewDot :: Maybe String -> Int -> DotGraph -> IO ()   

Views a dot graph as PDF. If the first argument is (Just c), the command c (e.g., "evince" or "okular --noraise") to view the generated PDF is started in background, otherwise the viewer is not invoked. The second argument is the step number and used to index the output files if it is positive.

nodeLabel :: Node -> String   

nodeChildren :: Node -> [Int]   

Further infos:

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

addPartialArg :: Node -> Int -> Node   

emptyGraph :: Graph   

Further infos:

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

lookupNode :: Int -> Graph -> Node   

graphRoot :: Graph -> Int   

Further infos:

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

maxNodeID :: Graph -> Int   

Further infos:

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

addNode :: Node -> Graph -> (Graph, Int)   

updateNode :: Graph -> Int -> Node -> Graph   

replaceNode :: Graph -> Int -> Int -> Graph   

showGraphExp :: Graph -> Int -> String   

graphToDot :: Graph -> [(Int, [(String, String)])] -> Bool -> Bool -> DotGraph   

fullGraphToDot :: Graph -> [(Int, [(String, String)])] -> Bool -> DotGraph   

reachableGraph :: Graph -> [Int] -> Graph