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  Vector proved_goals
           
 
Constructor Summary
jDebugProvedGoalsEvent(Vector pg)
           
 
Method Summary
 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 Vector proved_goals
Constructor Detail

jDebugProvedGoalsEvent

public jDebugProvedGoalsEvent(Vector pg)
Method Detail

getProvedGoals

public Vector getProvedGoals()


Copyright © 2011. All Rights Reserved.