ubc.cs.JLog.Foundation
Class jDebugProvedGoalStack.jDebugGoalItem

java.lang.Object
  ubc.cs.JLog.Foundation.jDebugProvedGoalStack.jDebugGoalItem

Enclosing class:

jDebugProvedGoalStack

public class jDebugProvedGoalStack.jDebugGoalItem
extends Object

Field Summary

protected jGoal	goal
protected jGoal	next
protected Vector	sub_goals

Constructor Summary

jDebugProvedGoalStack.jDebugGoalItem(jGoal g)

Method Summary

jGoal	getGoal()
jGoal	getNextGoal()
Vector	getSubGoals()
void	setNextGoal(jGoal n)
void	setSubGoals(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 Vector sub_goals

Constructor Detail

jDebugProvedGoalStack.jDebugGoalItem

public jDebugProvedGoalStack.jDebugGoalItem(jGoal g)

Method Detail

setSubGoals

public void setSubGoals(Vector v)

getSubGoals

public Vector getSubGoals()

getGoal

public jGoal getGoal()

setNextGoal

public void setNextGoal(jGoal n)

getNextGoal

public jGoal getNextGoal()