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

Fields

Modifier and Type	Field and Description
Preorder.Relation	morphism

Constructor Summary

Constructors

Constructor and Description
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)