<数据结构> ADT例子

ADT English_scores


 Data
   线性表中的数据类型为int，相邻元素具有前驱和后继关系
 
 Operation


   Init
       前置条件：线性表不存在
       输入：班级同学的上学期的英语成绩
       功能：成绩表的初始化
       输出：成绩表建立是否成功（成功1，失败0）
       后置条件：一个非空的成绩表
   
   Insert
       前置条件：成绩表已存在
       输入：插入元素x
       功能：在成绩表的y位置插入元素x
       输出：插入是否成功（成功1，失败0）
       后置条件：若插入成功，成绩表增加了一个元素


   Find_Location
       前置条件：成绩表已存在
       输入：元素的序号i
       功能：在成绩表中查找序号为i的数据元素
       输出：查找是否成功（如果成功，查找成功，并返回查找元素的值，否则返回，并输出无此元素）
       后置条件：成绩表无变化


   Find_value
       前置条件：成绩表已存在
       输入：元素的值x
       功能：在成绩表