(* Module Version V#007, Gdos /1.3l/, Begonnen: 19.01.86, Stand: 12.04.86 *)
(*                                                              Alex Wyss *)
(* Anpassung Miele-M2 / OS-9  19-12-88                        W. Stehling *)

DEFINITION MODULE BigSet ;

EXPORT QUALIFIED
(* typ *)       bigset ,
(* proc *)      define , destroy , nullset , fullset , assign ,
                include , exclude , union , intersection , diff , symdiff ,
                complement , inset , subset , superset , equalset
;

TYPE bigset ;

PROCEDURE define ( setsize : CARDINAL ) : bigset ;
PROCEDURE destroy ( forget : bigset ) ;
PROCEDURE nullset ( VAR bs : bigset ) ;
PROCEDURE fullset ( VAR bs : bigset ) ;
PROCEDURE assign ( fromset : bigset; VAR toset : bigset ) ;

PROCEDURE include ( VAR bs : bigset ; nr : CARDINAL ) ;
PROCEDURE exclude ( VAR bs : bigset ; nr : CARDINAL ) ;
PROCEDURE union ( aset , bset : bigset; VAR cset : bigset ) ;
PROCEDURE intersection ( aset , bset : bigset; VAR cset : bigset ) ;
PROCEDURE diff ( aset , bset : bigset; VAR cset : bigset ) ;
PROCEDURE symdiff ( aset , bset : bigset; VAR cset : bigset ) ;
PROCEDURE complement ( VAR bs : bigset ) ;

PROCEDURE inset ( bs : bigset ; nr : CARDINAL ) : BOOLEAN ;
PROCEDURE subset ( subs , bs : bigset ) : BOOLEAN ;
PROCEDURE superset ( sups , bs : bigset ) : BOOLEAN ;
PROCEDURE equalset ( equs , bs : bigset ) : BOOLEAN ;

END BigSet .
