org.jscience.mathematics.algebraic.categories
Class Preorder.Relation

java.lang.Object
  org.jscience.mathematics.algebraic.categories.Preorder.Relation

All Implemented Interfaces:

Category.Morphism

Enclosing class:

Preorder

public class Preorder.Relation
extends java.lang.Object
implements Category.Morphism

DOCUMENT ME!

Constructor Summary

Preorder.Relation(java.lang.Integer a, java.lang.Integer b)
Creates a new Relation object.

Method Summary

java.lang.Object	codomain() DOCUMENT ME!
Category.Morphism	compose(Category.Morphism m) DOCUMENT ME!
java.lang.Object	domain() DOCUMENT ME!
java.lang.Object	map(java.lang.Object o) DOCUMENT ME!

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

Preorder.Relation

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

Creates a new Relation object.

Parameters:

a - DOCUMENT ME!

b - DOCUMENT ME!

Method Detail

domain

public java.lang.Object domain()

DOCUMENT ME!

Specified by:

domain in interface Category.Morphism

Returns:

DOCUMENT ME!

codomain

public java.lang.Object codomain()

DOCUMENT ME!

Specified by:

codomain in interface Category.Morphism

Returns:

DOCUMENT ME!

map

public java.lang.Object map(java.lang.Object o)

DOCUMENT ME!

Specified by:

map in interface Category.Morphism

Parameters:

o - DOCUMENT ME!

Returns:

DOCUMENT ME!

compose

public Category.Morphism compose(Category.Morphism m)

DOCUMENT ME!

Specified by:

compose in interface Category.Morphism

Parameters:

m - DOCUMENT ME!

Returns:

DOCUMENT ME!

Throws:

UndefinedCompositionException - DOCUMENT ME!

java.lang.IllegalArgumentException - DOCUMENT ME!