From 96ea9a7548e4bf418c1936e9350e1b1752688968 Mon Sep 17 00:00:00 2001
From: Hans-Peter Deifel <hpd@hpdeifel.de>
Date: Wed, 1 Feb 2017 11:30:42 +0100
Subject: [PATCH] Add Compare.Types module
---
osek-verification.cabal | 2 ++
src/Compare/Types.hs | 11 +++++++++++
2 files changed, 13 insertions(+)
create mode 100644 src/Compare/Types.hs
diff --git a/osek-verification.cabal b/osek-verification.cabal
index f18238d..0104064 100644
--- a/osek-verification.cabal
+++ b/osek-verification.cabal
@@ -25,6 +25,7 @@ library
, Search.Types
, Search.EpsilonElimination
, Protocol
+ , Compare.Types
, Compare.Matching
hs-source-dirs: src
build-depends: base >=4.9 && <4.10
@@ -37,6 +38,7 @@ library
, bytestring >= 0.10 && <0.11
, mtl >= 2.2 && <2.3
, process >= 1.4 && <1.5
+ , fgl >= 5.5 && < 5.6
default-language: Haskell2010
ghc-options: -Wall -fdefer-typed-holes -fno-warn-name-shadowing
diff --git a/src/Compare/Types.hs b/src/Compare/Types.hs
new file mode 100644
index 0000000..20d9c94
--- /dev/null
+++ b/src/Compare/Types.hs
@@ -0,0 +1,11 @@
+module Compare.Types
+ ( Graph(..)
+ ) where
+
+import qualified Data.Graph.Inductive as G
+
+-- | Pointed graph
+data Graph node edge = Graph
+ { graph :: G.Gr node edge
+ , point :: G.Node
+ }
--
GitLab