ubc.cs.JLog.Foundation
Class jDebugProvedGoalStack.jDebugGoalItem

java.lang.Object
  extended by ubc.cs.JLog.Foundation.jDebugProvedGoalStack.jDebugGoalItem
Enclosing class:
jDebugProvedGoalStack

public class jDebugProvedGoalStack.jDebugGoalItem
extends java.lang.Object


Field Summary
protected  jGoal goal
           
protected  jGoal next
           
protected  java.util.Vector sub_goals
           
 
Constructor Summary
jDebugProvedGoalStack.jDebugGoalItem(jGoal g)
           
 
Method Summary
 jGoal getGoal()
           
 jGoal getNextGoal()
           
 java.util.Vector getSubGoals()
           
 void setNextGoal(jGoal n)
           
 void setSubGoals(java.util.Vector v)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

goal

protected jGoal goal

next

protected jGoal next

sub_goals

protected java.util.Vector sub_goals
Constructor Detail

jDebugProvedGoalStack.jDebugGoalItem

public jDebugProvedGoalStack.jDebugGoalItem(jGoal g)
Method Detail

setSubGoals

public void setSubGoals(java.util.Vector v)

getSubGoals

public java.util.Vector getSubGoals()

getGoal

public jGoal getGoal()

setNextGoal

public void setNextGoal(jGoal n)

getNextGoal

public jGoal getNextGoal()