ubc.cs.JLog.Foundation
Class jDebugProvedGoalsEvent

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

public class jDebugProvedGoalsEvent
extends jPrologServiceEvent


Field Summary
protected  java.util.Vector proved_goals
           
 
Constructor Summary
jDebugProvedGoalsEvent(java.util.Vector pg)
           
 
Method Summary
 java.util.Vector getProvedGoals()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

proved_goals

protected java.util.Vector proved_goals
Constructor Detail

jDebugProvedGoalsEvent

public jDebugProvedGoalsEvent(java.util.Vector pg)
Method Detail

getProvedGoals

public java.util.Vector getProvedGoals()