Advertisement
BladeMechanics

2jn

Feb 26th, 2018
132
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.92 KB | None | 0 0
  1. int isSymmetric(POINT *data, int count)
  2. {
  3. int i, j, propertypoints=0;
  4. for (i = 0; i < count + 1; i++)
  5. {
  6. for (j = 0; j < count + 1; j++)
  7. if ((data[i].x == data[j].y) && (data[i].y == data[j].x)) propertypoints++;
  8. }
  9. if (propertypoints == count + 1) return 1;
  10. else return 0;
  11. }
  12.  
  13. int isTransitive(POINT *data, int *domain, int *range, int count)
  14. {
  15. if (isReflexive(data, domain, range, count) && isSymmetric(data, count)) return 1;
  16. else return 0;
  17. }
  18.  
  19. void isEq(POINT *data, int *domain, int *range, int count)
  20. {
  21. printf("Reflexive = %s\n", isReflexive(data, domain, range, count) ? "TRUE" : "FALSE");
  22. printf("Symmetric = %s\n", isSymmetric(data, count) ? "TRUE" : "FALSE");
  23. printf("Transitive = %s\n",isTransitive(data, domain, range, count) ? "TRUE" : "FALSE");
  24. if (isReflexive(data, domain, range, count) && isSymmetric(data, count))
  25. printf("Equivalence = TRUE");
  26. else
  27. printf("Equivalence = FALSE");
  28. }
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement