Uses of Interface
ubc.cs.JLog.Foundation.iDebugGoalStack

Packages that use iDebugGoalStack

ubc.cs.JLog.Foundation

Uses of iDebugGoalStack in ubc.cs.JLog.Foundation

Classes in ubc.cs.JLog.Foundation that implement iDebugGoalStack

class	jDebugGoalStack jDebugGoalStack is the default goal stack implementation.
class	jDebugProvedGoalStack

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

protected iDebugGoalStack

jDebugProverGoalStackEvent.stack

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

iDebugGoalStack

jDebugProverGoalStackEvent.getDebugGoalStack()

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

jDebugProverGoalStackEvent(jDebugProver p, iDebugGoalStack gs, boolean ps)