ubc.cs.JLog.Foundation
Class jDebugProveGoalEvent

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

public class jDebugProveGoalEvent
extends jPrologServiceEvent


Field Summary
protected  jGoal goal
           
protected  java.util.Vector sub_goals
           
 
Constructor Summary
jDebugProveGoalEvent(jGoal g, java.util.Vector sg)
           
 
Method Summary
 jGoal getGoal()
           
 java.util.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 java.util.Vector sub_goals
Constructor Detail

jDebugProveGoalEvent

public jDebugProveGoalEvent(jGoal g,
                            java.util.Vector sg)
Method Detail

getGoal

public jGoal getGoal()

getSubGoals

public java.util.Vector getSubGoals()