JSci.maths.categories
Class Preorder.RelationSet

java.lang.Object
  extended by JSci.maths.categories.Preorder.RelationSet
All Implemented Interfaces:
Category.HomSet
Enclosing class:
Preorder

public class Preorder.RelationSet
extends java.lang.Object
implements Category.HomSet


Field Summary
 Preorder.Relation morphism
           
 
Constructor Summary
Preorder.RelationSet()
           
Preorder.RelationSet(java.lang.Integer a, java.lang.Integer b)
           
 
Method Summary
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

morphism

public final Preorder.Relation morphism
Constructor Detail

Preorder.RelationSet

public Preorder.RelationSet()

Preorder.RelationSet

public Preorder.RelationSet(java.lang.Integer a,
                            java.lang.Integer b)