|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface iGoalStack
iGoalStack
is the goal stack interface.
A goal stack contains items of type jGoal that typically represent either
proved goals or goals that need to be proved.
Method Summary | |
---|---|
jGoal |
cut(jGoal item)
Removes all goals above the specified item . |
boolean |
empty()
Determines if the stack does not contain goals. |
jGoal |
peek()
Returns the top goal of the stack, without removing that goal. |
jGoal |
peekn(int n)
Returns the nth goal on the stack, without removing that goal. |
jGoal |
pop()
Returns and removes the top goal of the stack. |
jGoal |
push(jGoal item)
Places the provided goal item as the top element of the stack. |
Method Detail |
---|
boolean empty()
true
if the stack is empty,
false
otherwise.jGoal pop()
jGoal
of the stack.jGoal peek()
jGoal
of the stack.jGoal peekn(int n)
jGoal
of the stack.jGoal push(jGoal item)
item
as the top element of the stack.
item
- the goal to add to the stack top.
jGoal
of the stack, which is the
provided item
.jGoal cut(jGoal item)
item
. item
becomes the top goal.
item
- the goal to truncate the stack at. item
becomes
the stack top. item
must be in this stack
instance.
jGoal
of the stack, which is the
provided item
.
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |