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)

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)