StackEmpty(S) 初始条件：栈$已存在。 操作结果：若栈S为空栈， 则返回TRUE,否则FALE
StackEmpty(S) 初始条件：栈 S 已存在。 操作结果：若栈 S 为空栈， 则返回 TRUE，否则 FALE
GetTop(S,&e) 初始条件：栈$已存在且非空。 操作结果：用e返▣S的栈顶元 素。 al a2 an
GetTop(S, &e) 初始条件：栈 S 已存在且非空。 操作结果：用 e 返回 S 的栈顶元 素。 a1 a2 a … … n
ClearStack(&S) 初始条件：栈$已存在。 操作结果：将S清为空栈
ClearStack(&S) 初始条件：栈 S 已存在。 操作结果：将 S 清为空栈
Push(&S,e) 初始条件：栈$已存在。 操作结果：插入元素e为新 的栈顶元素。 a1 a2 an e
Push(&S, e) 初始条件：栈 S 已存在。 操作结果：插入元素 e 为新 的栈顶元素。 a1 a2 an … … e
Pop(&S,&e) 初始条件：栈$已存在且非空。 操作结果：删除S的栈顶元素， 并用e返回其值。 a1 a2 。… an-1
Pop(&S, &e) 初始条件：栈 S 已存在且非空。 操作结果：删除 S 的栈顶元素， 并用 e 返回其值。 a1 a2 an a … … n-1