Name: graph-rewriting-gl Version: 0.7 Copyright: (c) 2010, Jan Rochel License: BSD3 License-File: LICENSE Author: Jan Rochel Maintainer: jan@rochel.info Homepage: http://rochel.info/#graph-rewriting Stability: beta Build-Type: Simple Synopsis: OpenGL interface for interactive port graph rewriting Description: Once a graph rewriting system has been specified using the @graph-rewriting@ library this package can be used to create an application that allows to experiment with this system by interactively applying the rewrite rules. The usage of the interface is the same for all applications. In the center you will see the graph. It might be moving around which is due the force-directed layouting. On the top-left corner you will find a menu with the individual rewriting rules of the rewriting system. The controls are described in the "GraphRewriting.GL.UI" module. Category: Graphs, Graphics Cabal-Version: >= 1.6 Library Build-Depends: base >= 4 && < 4.6, base-unicode-symbols >= 0.2 && < 0.3, graph-rewriting >= 0.7 && < 0.8, graph-rewriting-layout >= 0.4 && < 0.6, GLUT >= 2.2 && < 2.3, OpenGL >= 2.4 && < 2.5, containers >= 0.3 && < 0.5, AC-Vector >= 2.3 && < 2.4 Exposed-Modules: GraphRewriting.GL.UI GraphRewriting.GL.Render Other-Modules: GraphRewriting.GL.Global GraphRewriting.GL.Menu GraphRewriting.GL.Canvas GraphRewriting.GL.HyperEdge Extensions: UnicodeSyntax FlexibleInstances FlexibleContexts MultiParamTypeClasses TypeSynonymInstances OverlappingInstances GHC-Options: -fno-warn-duplicate-exports -fwarn-unused-binds -fwarn-unused-imports -fwarn-unused-do-bind -fwarn-wrong-do-bind -fwarn-unrecognised-pragmas