diff options
author | Jed Barber <jjbarber@y7mail.com> | 2012-09-14 10:19:55 +1000 |
---|---|---|
committer | Jed Barber <jjbarber@y7mail.com> | 2012-09-14 10:19:55 +1000 |
commit | c7d3f7662fb9c7bb86ab1270e9f74de6d08876fa (patch) | |
tree | 8b4e8c7c26d36cc8ac3709daec3faed231ced5dd /TermNetTest.hs | |
parent | bd9772daf2fe36de53fdc358ba3bb52bc416d562 (diff) |
Misc test files
Diffstat (limited to 'TermNetTest.hs')
-rw-r--r-- | TermNetTest.hs | 25 |
1 files changed, 25 insertions, 0 deletions
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) |