°Push(&s,e) 初始条件:栈S已存在 操作结果:插入元素e为新的栈顶元素。 °Pop(&s,&e) 初始条件:栈S已存在且非空。 操作结果:删除S的栈顶元素,并用e 返回其值。 StackTraverse(S, visit()) 初始条件:栈S已存在且非空,vsit() 为元素的访问函数。 操作结果:从栈底到栈顶依次对S的每个 元素调用函数visi(),一旦 visit()失败,则操作 失败。 3 ADT Stack• Push(&S, e) 初始条件：栈 S 已存在。 操作结果：插入元素 e 为新的栈顶元素。 • Pop(&S, &e) 初始条件：栈 S 已存在且非空。 操作结果：删除 S 的栈顶元素，并用 e 返回其值。 • StackTraverse(S, visit( )) 初始条件：栈 S 已存在且非空，visit( ) 为元素的访问函数。 操作结果：从栈底到栈顶依次对S的每个 元素调用函数visit( )，一旦visit( )失败，则操作 失败。 • } ADT Stack