All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class kl1.lang.GTermarray 

java.lang.Object
   |
   +----kl1.lang.KL1Object
           |
           +----kl1.lang.GDObj
                   |
                   +----kl1.lang.GTermarray
public final class GTermarray
extends GDObj
This class represents a term array object.

Author:
Satoshi KURAMOCHI

Variable Index

o terms
KL1 terms

Constructor Index

o GTermarray(KL1Object[])
Constructs a term array object.

Method Index

o ()
o _new(KL1Machine, KL1Object[])
Creates generic objects.
o gunify(GDObj)
o unify(KL1Machine, GDObj)

Variables

o terms 
 public KL1Object terms[]
KL1 terms

Constructors

o GTermarray 
 public GTermarray(KL1Object argv[])
Constructs a term array object.

Parameters:
argv - KL1 terms.

Methods

o 
 static void ()
o gunify 
 public KL1Object gunify(GDObj that)
o unify 
 public void unify(KL1Machine mach,
                   GDObj that)
o _new 
 public static KL1Object _new(KL1Machine mach,
                              KL1Object argv[])
Creates generic objects. 

All Packages  Class Hierarchy  This Package  Previous  Next  Index