Develop and Download Open Source Software

Download

Simple java classes implementing basic concepts of relations as defined in set theory. A relation is a set of ordered pairs. A relation can have properties, including that it is reflexive, symmetric, or transitive. The classes enable some ordered pairs to be stated, and will deduce all the other related ordered pairs implied by the relation's properties. There are implementations of transitive, reflexive-and-transitive, and symmetric-reflexive-and-transitive (equivalence) relations using hash sets and tree sets.

The current version (0.1) has been tested but not substantially used. Feedback from use in the field will be welcomed, as will offers of collaboration to improve the deduction algorithms.

You can download file releases of Set Theory Relations in Java project from List of release files

List of release files

File/Folder Name	File Type	Size	Date	Download Count
Latest 5 files
doc.zip	application/zip; charset=binary	130.9 KB	2012-02-19 19:34	5
readme.txt	text/plain; charset=us-ascii	0.1 KB	2012-02-19 19:02	2
HashSetRelation.java	text/x-c; charset=us-ascii	4.7 KB	2012-02-19 19:00	3
FollowerTreeSetRelation.java	text/x-c; charset=us-ascii	4.9 KB	2012-02-19 18:58	2
TransitiveFollowerTreeSetRelation.java	text/x-c; charset=us-ascii	3.3 KB	2012-02-19 18:58	2
All Files
release0.1
doc.zip	application/zip; charset=binary	130.9 KB	2012-02-19 19:34	5
readme.txt	text/plain; charset=us-ascii	0.1 KB	2012-02-19 19:02	2
HashSetRelation.java	text/x-c; charset=us-ascii	4.7 KB	2012-02-19 19:00	3
FollowerTreeSetRelation.java	text/x-c; charset=us-ascii	4.9 KB	2012-02-19 18:58	2
TransitiveFollowerTreeSetRelation.java	text/x-c; charset=us-ascii	3.3 KB	2012-02-19 18:58	2
ReflexiveTransitiveFollowerTreeSetRelation.java	text/x-c; charset=us-ascii	2.3 KB	2012-02-19 18:57	6
TransitiveHashSetRelation.java	text/x-c; charset=us-ascii	4.9 KB	2012-02-19 18:55	2
settheoryrels_0_1.jar	application/zip; charset=binary	14.2 KB	2012-02-19 18:47	0
Relation.java	text/x-c; charset=us-ascii	6.1 KB	2012-02-19 18:41	1
OrderedPair.java	text/x-c; charset=us-ascii	2.4 KB	2012-02-19 18:41	1
ReflexiveTransitiveHashSetRelation.java	text/x-c; charset=us-ascii	3.0 KB	2012-02-19 18:41	2
EquivalenceHashSetRelation.java	text/x-c; charset=us-ascii	3.1 KB	2012-02-19 18:38	1
EquivalenceFollowerTreeSetRelation.java	text/x-c; charset=us-ascii	2.4 KB	2012-02-19 18:38	1
tests0.1
Tester.java	text/x-c; charset=us-ascii	9.7 KB	2012-02-19 18:51	0
TestTransitiveHashSetRelation.java	text/x-c; charset=us-ascii	2.9 KB	2012-02-19 18:50	0
TestElement.java	text/x-c; charset=us-ascii	1.8 KB	2012-02-19 18:50	0
TestReflexiveTransitiveHashSetRelation.java	text/x-c; charset=us-ascii	3.0 KB	2012-02-19 18:48	0
TestEquivalenceHashSetRelation.java	text/x-c; charset=us-ascii	3.0 KB	2012-02-19 18:48	0
release0.0
readme.txt	text/plain; charset=us-ascii	49 B	2012-02-13 13:47	2
EquivalenceHashSetRelation.java	text/x-java; charset=us-ascii	1.4 KB	2012-02-13 13:46	0
HashSetRelation.java	text/x-java; charset=us-ascii	2.4 KB	2012-02-13 13:46	0
TransitiveHashSetRelation.java	text/x-java; charset=us-ascii	1.7 KB	2012-02-13 13:45	0
ReflexiveTransitiveHashSetRelation.java	text/x-java; charset=us-ascii	1.3 KB	2012-02-13 13:42	0
DeducingRelation.java	text/x-java; charset=us-ascii	3.8 KB	2012-02-13 13:38	0
OrderedPair.java	text/x-c++; charset=us-ascii	0.6 KB	2012-02-13 12:08	0
Relation.java	text/x-java; charset=us-ascii	1.6 KB	2012-02-13 12:08	1