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

java.lang.Object
  extended by 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!