ubc.cs.JLog.Foundation
Class jDebugProverStartedEvent

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

public class jDebugProverStartedEvent
extends jPrologServiceEvent


Field Summary
protected  jDebugProver prover
           
 
Constructor Summary
jDebugProverStartedEvent(jDebugProver p)
           
 
Method Summary
 jDebugProver getDebugProver()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

prover

protected jDebugProver prover
Constructor Detail

jDebugProverStartedEvent

public jDebugProverStartedEvent(jDebugProver p)
Method Detail

getDebugProver

public jDebugProver getDebugProver()