org.jscience.mathematics.algebraic.categories
Class FinSet.Function

java.lang.Object
  extended by org.jscience.mathematics.algebraic.categories.FinSet.Function
All Implemented Interfaces:
Category.Morphism
Enclosing class:
FinSet

public class FinSet.Function
extends java.lang.Object
implements Category.Morphism

DOCUMENT ME!


Constructor Summary
FinSet.Function(Set a, Set b, java.lang.Object[] inObjs, java.lang.Object[] outObjs)
          Creates a new Function 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

FinSet.Function

public FinSet.Function(Set a,
                       Set b,
                       java.lang.Object[] inObjs,
                       java.lang.Object[] outObjs)
Creates a new Function object.

Parameters:
a - DOCUMENT ME!
b - DOCUMENT ME!
inObjs - DOCUMENT ME!
outObjs - 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!