|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectubc.cs.JLog.Foundation.jPrologServiceEvent
ubc.cs.JLog.Foundation.jDebugProveGoalEvent
public class jDebugProveGoalEvent
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 |
---|
protected jGoal goal
protected java.util.Vector sub_goals
Constructor Detail |
---|
public jDebugProveGoalEvent(jGoal g, java.util.Vector sg)
Method Detail |
---|
public jGoal getGoal()
public java.util.Vector getSubGoals()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |