ubc.cs.JLog.Foundation
Interface iDebugGoalStack
- All Superinterfaces:
- iGoalStack
- All Known Implementing Classes:
- jDebugGoalStack, jDebugProvedGoalStack
public interface iDebugGoalStack
- extends iGoalStack
iDebugGoalStack
is the debugging goal stack interface.
It extends iGoalStack
, providing an efficient way to
access the stack goals.
- Author:
- Glendon Holst
Method Summary |
java.util.Vector |
getStackCopy()
Provides a vectorized duplicate of the goal stack. |
getStackCopy
java.util.Vector getStackCopy()
- Provides a vectorized duplicate of the goal stack.
- Returns:
Vector
of jGoal
s where the zero index
element in the vector is the stack bottom, and the element with
the largest index is the stack top.