All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class kl1.lang.Goalrec 

java.lang.Object
   |
   +----kl1.lang.KL1Object
           |
           +----kl1.lang.Goalrec
public class Goalrec
extends KL1Object
This class represents a goal record.

Author:
Satoshi KURAMOCHI

Variable Index

o args
arguments
o next
pointer to next goal
o pred
predicate descriptor of the goal
o prio
priority (while suspending)

Constructor Index

o Goalrec(Goalrec, Predicate, KL1Object[])
Constructs a goal record.
o Goalrec(int, Predicate, KL1Object[])
Constructs a goal record.

Method Index

o print()
Prints the information of the object.
o toString()

Variables

o next 
 public Goalrec next
pointer to next goal

o prio 
 public int prio
priority (while suspending)

o pred 
 public Predicate pred
predicate descriptor of the goal

o args 
 public KL1Object args[]
arguments

Constructors

o Goalrec 
 public Goalrec(Goalrec next,
                Predicate pred,
                KL1Object args[])
Constructs a goal record.

Parameters:
next - the pointer to the next goal.
pred - the predicate descriptor of the goal.
args - arguments.
o Goalrec 
 public Goalrec(int prio,
                Predicate pred,
                KL1Object args[])
Constructs a goal record.

Parameters:
prio - the priority of the goal.
pred - the predicate descriptor of the goal.
args - arguments.

Methods

o toString 
 public String toString()
Overrides:
toString in class KL1Object
o print 
 public String print()
Prints the information of the object.

Overrides:
print in class KL1Object 
All Packages  Class Hierarchy  This Package  Previous  Next  Index