3.1栈 一3.1.1抽象数据类型栈的定义 InitStack(&S) 操作结果：构造一个空栈S。 DestroyStack(&S) 初始条件：栈S已存在。 操作结果：栈S被销毁。 -11- 145
— 11 — 3.1 栈 InitStack(&S) 操作结果：构造一个空栈 S。 DestroyStack(&S) 初始条件：栈 S 已存在。 操作结果：栈 S 被销毁。 3.1.1 抽象数据类型栈的定义
3.1栈 一3.1.1抽象数据类型栈的定义 StackEmpty(S) 初始条件：栈S已存在。 操作结果：若栈S为空栈，则返回TRUE, 否则FALE。 Q -12 145
— 12 — 3.1 栈 StackEmpty(S) 初始条件：栈 S 已存在。 操作结果：若栈 S 为空栈，则返回 TRUE， 否则 FALE。 3.1.1 抽象数据类型栈的定义
3.1栈 3.1.1抽象数据类型栈的定义 GetTop(S,&e) 初始条件：栈S已存在且非空。 操作结果：用e返回S的栈顶元素。 aj a2 ●●● -13 1945
— 13 — 3.1 栈 GetTop(S, &e) 初始条件：栈 S 已存在且非空。 操作结果：用 e 返回 S 的栈顶元素。 a1 a2 … … an 3.1.1 抽象数据类型栈的定义
3.1栈 一3.1.1抽象数据类型栈的定义 ClearStack(&S) 初始条件：栈S已存在。 操作结果：将S清为空栈。 -14- 145
— 14 — 3.1 栈 ClearStack(&S) 初始条件：栈 S 已存在。 操作结果：将 S 清为空栈。 3.1.1 抽象数据类型栈的定义
3.1栈 3.1.1抽象数据类型栈的定义 Push(&S,e) 初始条件：栈S已存在。 操作结果：插入元素e为新的栈顶元素。 a a ●●●●●● An e -15- 1945
— 15 — 3.1 栈 Push(&S, e) 初始条件：栈 S 已存在。 操作结果：插入元素 e 为新的栈顶元素。 a1 a2 an … … e 3.1.1 抽象数据类型栈的定义