Introduction

This program aims to help the students in the relation's properites topic, it allows to test multiple properties easily.

Properties of Relations

A (binary) relation R between sets X and Y is a subset of X×Y. (X×Y is a Cartesian product.)

The program cover the following properties:

Reflexivity
Irreflexivity
Symmetry
Antisymmetry
Asymmetry
Transitivity
Equivalency

More details about Properties of Relations HERE

How to use

There are four Folders:

Relation_of_properties_GUI Folder
- It has the program in jar, and it also has the source code of the GUI
Relation_of_properties_TestBench Folder
- It has the java code only with a testbench, can be tested using eclipse
FlowChart Folder
- It has a simple flowchrt of the algorithm
AlternativesMethods Folder
- It is just an alternative algorithm on some of the code to test the efficiency (it might has some errors)

A snapshot of the GUI program

A snapshot of the TestBench in Eclipse

License & Copyrights

© Abdulaziz Hamid Ebrahim, King Abdulaziz University License Under the MIT License