graph-rewriting-gl 0.7 → 0.7.1

raw patch · 2 files changed

+2/−14 lines, 2 files

Files

• GraphRewriting/GL/UI.hs +1/−13
• graph-rewriting-gl.cabal +1/−1

@@ -16,7 +16,7 @@ -- - Press space to pause/resume layouting. Currently layouting is automatically resumed when the graph is rewritten by right-clicking on an individual node and not when right-clicking on a menu entry. This also requires the mouse cursor to be positioned in the canvas area. -- -- Please have a look the graph-rewriting-ski package for an example application that makes use of this library.-module GraphRewriting.GL.UI (module GraphRewriting.GL.UI, LabelledTree (..)) where+module GraphRewriting.GL.UI (module GraphRewriting.GL.UI, LabelledTree (..), showLabelledTree) where  import qualified Graphics.UI.GLUT as GL import Graphics.UI.GLUT (($=), get)@@ -80,15 +80,3 @@ 	GL.mainLoop 	GL.exit 	return ()----reduceAll :: IORef (GlobalVars n) -> Graph n -> RuleTree n -> IO (RuleTree n)---reduceAll globalVars g ruleTree = do---	let ns = evalGraph readNodeList g---	applyLeafRules 0 globalVars---	gvs <- readIORef globalVars---	let g' = graph gvs---	    ruleTree' = getRules gvs---	    ns' = evalGraph readNodeList g'---	if ruleTree == ruleTree'---		then return ruleTree'---		else reduceAll globalVars g' ruleTree'

@@ -1,5 +1,5 @@ Name:           graph-rewriting-gl-Version:        0.7+Version:        0.7.1 Copyright:      (c) 2010, Jan Rochel License:        BSD3 License-File:   LICENSE