ubc.cs.JLog.Foundation
Class jDebugProverGoalStackEvent
java.lang.Object
ubc.cs.JLog.Foundation.jPrologServiceEvent
ubc.cs.JLog.Foundation.jDebugProverGoalStackEvent
public class jDebugProverGoalStackEvent
- extends jPrologServiceEvent
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
prover
protected jDebugProver prover
stack
protected iDebugGoalStack stack
proved_stack
protected boolean proved_stack
jDebugProverGoalStackEvent
public jDebugProverGoalStackEvent(jDebugProver p,
iDebugGoalStack gs,
boolean ps)
getDebugProver
public jDebugProver getDebugProver()
getDebugGoalStack
public iDebugGoalStack getDebugGoalStack()
isProvedStack
public boolean isProvedStack()