6.3

[fp1415.git] / files / practicum / StdSet.icl

diff --git a/files/practicum/StdSet.icl b/files/practicum/StdSet.icl
index b152f37..6cad7f1 100644 (file)
--- a/files/practicum/StdSet.icl
+++ b/files/practicum/StdSet.icl
@@ -1,5 +1,25 @@
-implementation module StdSet\r
+definition module StdSet\r
 \r
-import StdEnv\r
+import StdClass\r
 \r
 ::     Set a\r
+\r
+toSet                  :: [a]             -> Set a | Eq a\r
+fromSet                        :: (Set a)         -> [a]\r
+\r
+isEmptySet             :: (Set a)         -> Bool\r
+isDisjoint             :: (Set a) (Set a) -> Bool  | Eq a\r
+isSubset               :: (Set a) (Set a) -> Bool  | Eq a\r
+isStrictSubset :: (Set a) (Set a) -> Bool  | Eq a\r
+memberOfSet            :: a       (Set a) -> Bool  | Eq a\r
+union           :: (Set a) (Set a) -> Set a | Eq a\r
+intersection   :: (Set a) (Set a) -> Set a | Eq a\r
+nrOfElements   :: (Set a) -> Int\r
+without                        :: (Set a) (Set a) -> Set a | Eq a\r
+\r
+product                        :: (Set a) (Set b) -> Set (a,b)\r
+\r
+instance zero (Set a)\r
+instance ==   (Set a) | Eq a\r
+\r
+powerSet               :: (Set a)         -> Set (Set a)\r