JSci.maths.categories
Class Preorder.RelationSet

java.lang.Object
  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)