| |
|
| java.lang.Object JSci.maths.categories.Preorder
Preorder | final public class Preorder extends Object implements Category(Code) | | The Preorder class encapsulates preorders as categories.
version: 1.0 author: Mark Hale |
Constructor Summary | |
public | Preorder(int n) Constructs a preorder category. |
Preorder | public Preorder(int n)(Code) | | Constructs a preorder category.
|
cardinality | public Object cardinality(Object a)(Code) | | Returns the cardinality of an object.
Parameters: a - an Integer. an Integer. |
ordinal | public int ordinal()(Code) | | Returns the ordinal that this category represents.
|
|
|
|