ubc.cs.JLog.Foundation
Class jDebugProverStartedEvent

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