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