From 46439007cf417cbd9ac8049bb4122c890097a0fa Mon Sep 17 00:00:00 2001 From: "Charles.Forsyth" Date: Fri, 22 Dec 2006 20:52:35 +0000 Subject: 20060303-partial --- module/sets.m | 34 ++++++++++++++++++++++++++++++++++ 1 file changed, 34 insertions(+) create mode 100644 module/sets.m (limited to 'module/sets.m') diff --git a/module/sets.m b/module/sets.m new file mode 100644 index 00000000..aae67150 --- /dev/null +++ b/module/sets.m @@ -0,0 +1,34 @@ +Sets: module { + A: con 2r1010; + B: con 2r1100; + + PATH: con "/dis/lib/sets.dis"; + + init: fn(); + set: fn(): Set; + str2set: fn(str: string): Set; + bytes2set: fn(d: array of byte): Set; + Set: adt { + m: int; + a: array of int; + + X: fn(s1: self Set, o: int, s2: Set): Set; + add: fn(s: self Set, n: int): Set; + addlist: fn(s: self Set, ns: list of int): Set; + # dellist: fn(s: self Set, ns: list of int): Set; + del: fn(s: self Set, n: int): Set; + invert: fn(s: self Set): Set; + + eq: fn(s1: self Set, s2: Set): int; + holds: fn(s: self Set, n: int): int; + isempty: fn(s: self Set): int; + msb: fn(s: self Set): int; + limit: fn(s: self Set): int; + + str: fn(s: self Set): string; + bytes: fn(s: self Set, n: int): array of byte; + debugstr: fn(s: self Set): string; + }; + All: con Set(~0, nil); + None: con Set(0, nil); +}; -- cgit v1.2.3