[all packages]
[package ]
[class hierarchy]
[index]
public class ObjI
(source file: ObjI.java)
java.lang.Object
|
+----Printable
|
+----Obj
|
+----ObjI
The pure class interface.
public class ObjI
extends Obj
-
The unit object I.
- Author:
- Alan Jeffrey
- Version: v1.0 1998/06/11

ObjI()
-
Create a new unit object.

id()
-
print(Printer)
-
tensor(Obj)
-

ObjI
public ObjI();
-
Create a new unit object.

print
public void print(Printer p);
tensor
public Obj tensor(Obj X);
id
public Mor id();
[all packages]
[package ]
[class hierarchy]
[index]
ObjI.html