Mathc initiation/Fichiers h : x 17c01


Sommaire


Installer et compiler ces fichiers dans votre répertoire de travail.


c01.c
/* ---------------------------------- */
/*  Save as :   c01.c                 */
/* ---------------------------------- */
#include "x_ahfile.h"
/* ---------------------------------- */
int main(void)
{
Set A,B,C,
    B_union_C,
    Ainter_BunionC,
    A_inter_B,
    A_inter_C,
    AinterB_union_AinterC;
int i;
 
  create_SetI(&A);  create_SetI(&B);  create_SetI(&C);
  create_SetI(&B_union_C);  
  create_SetI(&Ainter_BunionC);
  create_SetI(&A_inter_B);  
  create_SetI(&A_inter_C);  
  create_SetI(&AinterB_union_AinterC);

  for(i=1; i<=7;  i++) insert_EI(&A,i);
  for(i=4; i<=10; i++) insert_EI(&B,i);
  
  insert_EI(&C,1);
  insert_EI(&C,5);
  insert_EI(&C,9);
  insert_EI(&C,12);

  clrscrn();
  
  p_SetI(&A,"A");
  p_SetI(&B,"B");
  p_SetI(&C,"C");

  union_SI(&B,&C,&B_union_C); 
  p_SetI(&B_union_C,"B union C");

  inter_SI(&A,&B_union_C,&Ainter_BunionC);  
  p_SetI(&Ainter_BunionC,"Ainter_BunionC");
  stop();

  clrscrn();
  
  p_SetI(&A,"A");
  p_SetI(&B,"B");
  p_SetI(&C,"C");

  inter_SI(&A,&B,&A_inter_B);
  p_SetI(&A_inter_B,"A_inter_B");

  inter_SI(&A,&C,&A_inter_C);
  p_SetI(&A_inter_C,"A_inter_C");

  union_SI(&A_inter_B,&A_inter_C,&AinterB_union_AinterC);
  p_SetI(&AinterB_union_AinterC,"AinterB_union_AinterC");
  stop();

  clrscrn();
  printf("  A inter (B union C) = (A inter B) union (A inter C)\n\n\n");
  p_SetI(&Ainter_BunionC,"Ainter_BunionC");
  p_SetI(&AinterB_union_AinterC,"AinterB_union_AinterC");

  erase_SetI(&AinterB_union_AinterC);
  erase_SetI(&A_inter_C);
  erase_SetI(&A_inter_B);
  erase_SetI(&Ainter_BunionC);
  erase_SetI(&B_union_C);
  erase_SetI(&C);erase_SetI(&B);erase_SetI(&A);

  stop();

  return 0;
}


Nous allons vérifier que :

 A inter (B union C) = (A inter B) union (A inter C)


Exemple de sortie écran :

  A inter (B union C) = (A inter B) union (A inter C)


 Ainter_BunionC = {1,4,5,6,7}

 AinterB_union_AinterC = {1,7,6,5,4}

 Press return to continue.