From ef7e606696bd307c03e3e46f2245b8b56b307f9f Mon Sep 17 00:00:00 2001
From: Mart Lubbers
Date: Tue, 28 Apr 2015 13:24:26 +0200
Subject: week3 jow

---
 fp2/week3/mart/StdDynSet.dcl | 24 ++++++++++++++++++++++++
 1 file changed, 24 insertions(+)
 create mode 100644 fp2/week3/mart/StdDynSet.dcl

(limited to 'fp2/week3/mart/StdDynSet.dcl')

diff --git a/fp2/week3/mart/StdDynSet.dcl b/fp2/week3/mart/StdDynSet.dcl
new file mode 100644
index 0000000..de9a9b7
--- /dev/null
+++ b/fp2/week3/mart/StdDynSet.dcl
@@ -0,0 +1,24 @@
+definition module StdDynSet
+
+import StdOverloaded
+
+class Set a | TC, ==, toString a
+
+:: Set
+
+instance zero     Set
+instance toString Set
+instance ==       Set
+
+toSet			:: a       -> Set  | Set a
+
+nrOfElts		::     Set -> Int
+isEmptySet		::     Set -> Bool
+
+memberOfSet		:: a   Set -> Bool | Set a
+isSubset		:: Set Set -> Bool
+isStrictSubset	:: Set Set -> Bool
+
+union			:: Set Set -> Set
+intersection	:: Set Set -> Set
+without			:: Set Set -> Set
-- 
cgit v1.2.3