From c7d3f7662fb9c7bb86ab1270e9f74de6d08876fa Mon Sep 17 00:00:00 2001
From: Jed Barber <jjbarber@y7mail.com>
Date: Fri, 14 Sep 2012 10:19:55 +1000
Subject: Misc test files

---
 TermNetTest.hs | 25 +++++++++++++++++++++++++
 1 file changed, 25 insertions(+)
 create mode 100644 TermNetTest.hs

(limited to 'TermNetTest.hs')

diff --git a/TermNetTest.hs b/TermNetTest.hs
new file mode 100644
index 0000000..6588a93
--- /dev/null
+++ b/TermNetTest.hs
@@ -0,0 +1,25 @@
+import Library.Theorem
+import Library.Term
+import qualified Library.TermNet as Net
+import Test.DataTypes
+import qualified Data.Set as Set
+import Data.List
+
+
+
+main = do
+    let thm1 = Theorem (Set.empty) stdConstTerm
+        thm2 = Theorem (Set.empty) (stdVarTerm "b")
+        thm3 = Theorem (Set.empty) (stdVarTerm "c")
+
+        (net1, matches1) = Net.addThm Net.empty thm1 0
+        (net2, matches2) = Net.addThm net1 thm2 1
+        (net3, matches3) = Net.addThm net2 thm3 2
+
+
+    putStrLn (show net3)
+    putStrLn ""
+    putStrLn (show matches3)
+    putStrLn (intercalate " " . Net.thmToTermString $ thm1)
+    putStrLn (intercalate " " . Net.thmToTermString $ thm2)
+    putStrLn (intercalate " " . Net.thmToTermString $ thm3)
-- 
cgit