ubc.cs.JLog.Foundation
Class jDebugProveGoalEvent

java.lang.Object
  ubc.cs.JLog.Foundation.jPrologServiceEvent
      ubc.cs.JLog.Foundation.jDebugProveGoalEvent

public class jDebugProveGoalEvent
extends jPrologServiceEvent

Field Summary

protected jGoal	goal
protected Vector	sub_goals

Constructor Summary

jDebugProveGoalEvent(jGoal g, Vector sg)

Method Summary

jGoal	getGoal()
Vector	getSubGoals()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

goal

protected jGoal goal

sub_goals

protected Vector sub_goals

Constructor Detail

jDebugProveGoalEvent

public jDebugProveGoalEvent(jGoal g,
                            Vector sg)

Method Detail

getGoal

public jGoal getGoal()

getSubGoals

public Vector getSubGoals()