#include "set.h"
#include <stdio.h>

Set_t Empty_set()                { return( 0 ); }
Set_t Union_set(Set_t A, Set_t B){ return( A | B ); }
Set_t Inter_set(Set_t A, Set_t B){ return( A & B ); }
Set_t Diff_set(Set_t A, Set_t B) { return( A & (~B) ); }
Set_t Comp_set(Set_t A)          { return( ~A ); }

boolean Is_elem_out_of_range (Elem_t x) {
  return( (x<0) || (x >= 8*sizeof(Set_t)) );
}

boolean Is_elem_in_set (Elem_t x , Set_t A) {
  return( (A & Singleton_set(x)) != 0 );
}

boolean Is_empty_set (Set_t A){
  return( A==0 );
}

Set_t Singleton_set(Elem_t x){
  if (Is_elem_out_of_range(x)) {
    fprintf(printout, "ERROR : out of range element (%d) ignored\n",x); 
    return(Empty_set());
  }
  else return((Set_t)1<<x);
}

Set_t Add_elem_set (Elem_t x, Set_t A){
  return(A|Singleton_set(x));
}

void Print_set(Set_t A){
  int i, first=0;
  fprintf(printout,"{ ");
  for(i=0; i<8*sizeof(Set_t); i++)
    if (Is_elem_in_set(i,A)) {
      if (first++) fprintf(printout,", %d",i);
      else fprintf(printout,"%d",i);
    }
  fprintf(printout," }");
}

void Println_set(Set_t A){
  Print_set(A);
  fprintf(printout,"\n");
}

void Test(){
  Set_t A,B;
  A=Add_elem_set(20, Empty_set()); A=Add_elem_set(222, A); Println_set(A);
  B=Singleton_set(21); B=Add_elem_set(22, B); Println_set(B);
  Println_set(Union_set(A,B));
  Println_set(Inter_set(Singleton_set(21),B));
  Println_set(Comp_set(B));
  Println_set(Inter_set(B,Comp_set(B)));
}

// int main(){ Test(); return(0); }