ubc.cs.JLog.Foundation
Class jDebugProvedGoalsEvent

java.lang.Object
  ubc.cs.JLog.Foundation.jPrologServiceEvent
      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()