Module ICurry.Graph

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