有序单向链表的创建(通过调用创建)
通过调用插入节点的函数创建有序单向链表。 （验证时间约 165sec）
[Back to Index]
验证特点：单向链表，内置谓词 \list，幽灵数组，函数调用
标注说明：函数前条件：描述待插入的链表及函数形参的性质；
函数后条件：描述完成插入及创建后的单向链表。
程序样例 
通过调用插入节点的函数创建有序单向链表。 （验证时间约 165sec）
验证特点：单向链表，内置谓词 \list，幽灵数组，函数调用
标注说明：函数前条件：描述待插入的链表及函数形参的性质；
函数后条件：描述完成插入及创建后的单向链表。
程序样例