ubc.cs.JLog.Foundation
Class jDebugProverGoalStackEvent

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

public class jDebugProverGoalStackEvent
extends jPrologServiceEvent


Field Summary
protected  boolean proved_stack
           
protected  jDebugProver prover
           
protected  iDebugGoalStack stack
           
 
Constructor Summary
jDebugProverGoalStackEvent(jDebugProver p, iDebugGoalStack gs, boolean ps)
           
 
Method Summary
 iDebugGoalStack getDebugGoalStack()
           
 jDebugProver getDebugProver()
           
 boolean isProvedStack()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

prover

protected jDebugProver prover

stack

protected iDebugGoalStack stack

proved_stack

protected boolean proved_stack
Constructor Detail

jDebugProverGoalStackEvent

public jDebugProverGoalStackEvent(jDebugProver p,
                                  iDebugGoalStack gs,
                                  boolean ps)
Method Detail

getDebugProver

public jDebugProver getDebugProver()

getDebugGoalStack

public iDebugGoalStack getDebugGoalStack()

isProvedStack

public boolean isProvedStack()