抽象数据类型线性表的定义.doc

抽象数据类型线性表的定义如下： ADT List { 数据对象：D={ ai | ai ∈ ElemSet, i =1, 2, … …, n, n≥0 } 数据关系：R1 = { ai-1 , ai | ai-1 , ai ∈ D, i =2, … …, n } 基本操作： InitList (L ) 操作结果：构造一个空的线性表L 。 DestoryList (L) 初始条件：线性表L已存在。 操作结果：销毁线性表L。 ClearList (L) 初始条件：线性表L已存在。 操作结果：将L重置为空表。 ListEmpty (L) 初始条件：线性表L已存在。 操作结果：若L 为空表，则返回TRUE，否则返回 FALSE。 ListLength (L) 初始条件：线性表L已存在。 操作结果：返回L中数据元素个数。 GetElem ( L, i, e ) 初始条件：线性表L已存在，1≤i≤ListLength(L)+1。 操作结果：用e返回L中第i个数据元素的值。 LocateElem ( L,e, compare() ) 初始条件：线性表L已存在，compare()是判定函数。 操作结果：返回L中第1个与e满足关系compare()的数据元素的位序。若这样的数据元素不存在，则返回值0。 PriorElem ( L, cur_e, pre_e ) 初始条件：线性表L已存在。 操作结果：若cur_e是L的数据元素且不是第1个，则用pre_e返回它的前驱，否则操作失败。 NextElem ( L, cur_e, next_e ) 初始条件：线性表L已存在。 操作结果：若cur_e是L的数据元素且不是最后一个，则用next_e返回它的后继，否则操作失败。 ListInsert ( L, i, e ) 初始条件：线性表L已存在，1≤i≤ListLength(L)+1。 操作结果：在L中第i个位置之前插入新的数据元素e，L的长度加1。 ListDelete( L, i, e ) 初始条件：线性表L已存在且非空，1≤i≤ListLength(L)。 操作结果：删除L的第i个数据元素，并用e返回其值，L的长度减1。 ListTraverse ( L,visit()) 初始条件：线性表L已存在。 操作结果：依次对L的每个数据元素调用函数 visit()。一旦visit()失败，则操作失败。 } ADT List