Uses of Class
ubc.cs.JLog.Foundation.jDebugProver

Packages that use jDebugProver

ubc.cs.JLog.Foundation

Uses of jDebugProver in ubc.cs.JLog.Foundation

Fields in ubc.cs.JLog.Foundation declared as jDebugProver

protected jDebugProver	jDebugProverGoalStackEvent.prover
protected jDebugProver	jDebugProverStartedEvent.prover

Methods in ubc.cs.JLog.Foundation that return jDebugProver

jDebugProver	jDebugProverGoalStackEvent.getDebugProver()
jDebugProver	jDebugProverStartedEvent.getDebugProver()

Constructors in ubc.cs.JLog.Foundation with parameters of type jDebugProver

jDebugProverGoalStackEvent(jDebugProver p, iDebugGoalStack gs, boolean ps)

jDebugProverStartedEvent(jDebugProver p)