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

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