ADT Student
Date
线性表中的数据元素具有相同类型,相邻元素具有前驱与后继的关系;首元素无前驱,末元素无后继,其他元素有且仅有一个前驱和一个后继
Operation
InitStudent
前置条件:学生信息表不存在
输入:无
功能:学生信息表的初始化
输出:True(初始化成功)或False(初始化失败)
后置条件:一个空的学生信息表
DestoryStudent
前置条件:学生信息表已存在
输入:无
功能:销毁学生信息表
ADT Student
Date
线性表中的数据元素具有相同类型,相邻元素具有前驱与后继的关系;首元素无前驱,末元素无后继,其他元素有且仅有一个前驱和一个后继
Operation
InitStudent
前置条件:学生信息表不存在
输入:无
功能:学生信息表的初始化
输出:True(初始化成功)或False(初始化失败)
后置条件:一个空的学生信息表
DestoryStudent
前置条件:学生信息表已存在
输入:无
功能:销毁学生信息表