有序双向链表的节点删除
删除有序双向链表中第一个节点值为给定值的节点。 （验证时间约 75sec）
[Back to Index]
验证特点：有序双向链表，内置谓词\dlist
标注说明：函数前条件：p指向长为n的有序双向链表；
函数后条件：返回值指向有序双向链表，其长度为n-1(存在一个节点，其data域值等于data)或者为n(不存在一个节点，其data域值等于data)。
程序样例 
删除有序双向链表中第一个节点值为给定值的节点。 （验证时间约 75sec）
验证特点：有序双向链表，内置谓词\dlist
标注说明：函数前条件：p指向长为n的有序双向链表；
函数后条件：返回值指向有序双向链表，其长度为n-1(存在一个节点，其data域值等于data)或者为n(不存在一个节点，其data域值等于data)。
程序样例